David Aspinall

Phone+ 44 (0) 131 650 5177
Emaildavid.aspinalled.acuk
Websitehttp://homepages.inf.ed.ac.uk/da/

Accepting PhD Students

PhD projects

Please see the Informatics Security and Privacy group page for projects including some of mine: S and P PhD topics Please contact me directly for topics in other areas.

If you made any changes in Pure these will be visible here soon.

79 Conference contribution
14 Article
2 Chapter
1 Anthology
More
- 1 Editorial
- 1 Working paper

1 results

Filter

2008

PCC 2008: Second International Workshop on Proof-Carrying Code --- Workshop Programme and Contributed Papers
Stark, I. (ed.) & Aspinall, D. (ed.), 2008, University of Edinburgh. (Informatics Research Report; no. 1256)
Research output: Book/Report › Anthology

David Aspinall

Research output

Search results

PCC 2008: Second International Workshop on Proof-Carrying Code --- Workshop Programme and Contributed Papers