David Aspinall

Senior Lecturer in the School of Informatics, University of Edinburgh, Scotland.

My interests include computer security (particularly proof-carrying code), type systems for specification and programming languages, and proof development environments.

I'm a member of the Laboratory for Foundations of Computer Science (LFCS) and the Mathematical Reasoning Group.

Publications

• Papers
• Other documents

Research Projects

• An EPSRC project: ReQueST
• An EU project: MOBIUS

Recent and Forthcoming Meetings

• TPHOLs 2007
• Isabelle Workshop 2007 at CADE
• MKM 2007
• ETAPS 2007 (including the Mobius tutorial)
• CIAO 2007
• TYPES 2007

Research Students

• Jaroslav Sevcik, working on weak memory models for programming languages.
• Eliot Setzer, working on proof development environments.

• Robert Atkey, whose PhD thesis Substructural Simple Type Theories for Separation and In-place Update was examined in November 2005.