Personal Chair in Software Safety and Security
Willingness to take PhD students: Yes
Software security: certified security and proof-carrying code.
Mobile security: security of mobile devices, applications and app stores.
User authentication: passwords and challenge questions.
Theorem proving: proof development environments and proof language foundations programming and specification languages and type systems.
David Aspinall studied at the University of Cambridge and then the University of Edinburgh, where he is now a senior member of academic staff in the School of Informatics. He has contributed to a substantial body of research in machine-assisted mathematics, programming and specification languages, and computer security.
Research output: Contribution to journal › Article › peer-review
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Project: Research
Project: Research
Press/Media: Research
Press/Media: Research
ID: 15340