Personal tools
You are here: Home People Academics David Aspinall

David Aspinall

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
Document Actions