 |
David Aspinall
- Position
- Senior Lecturer
- Roles
- Associate Member of Centre for Intelligent Systems and their Applications
- Deputy Director of Laboratory for Foundations of Computer Science
- Research Interests
- Computer security (particularly proof-carrying code), type systems for specification and programming languages, and proof development environments.
- Email Address
| <David.Aspinall | @ | ed.ac.uk> |
- Office,Telephone
- IF-4.04A, +44 (0) 131 650 5177
- Informatics Research Reports
- Personal Page
|
|
