 |
David Aspinall
- Position
- Reader
- Roles
- Associate Member of Centre for Intelligent Systems and their Applications
- Member 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
- Publication Repository Entries (experimental)
- Personal Page
|
|
