| Position: | Senior Lecturer |
| Role: | Deputy Director |
| E-mail: | David.Aspinall@ed (add .ac.uk for real email) |
| Office(s): | IF-4.04A |
| Phone(s): | (+44 131 6)505177 |
| Research Interests: | Computer security (particularly proof-carrying code), type systems for specification and programming languages, and proof development environments. |
| Homepage: | http://homepages.inf.ed.ac.uk/da |
This page is generated from the School of Informatics Database. If you think that some information is incorrect, please contact the database administrator.
An error occured whilst processing this directive