Generate a tailored SOP for Dr. David Aspinall. Improve your application with a focused, well-structured draft.
David Aspinall studied at the University of Cambridge and then the University of Edinburgh, becoming a senior member of the academic staff in the School of Informatics. He has contributed a substantial body of research in areas such as machine-assisted mathematics, programming specification languages, and computer security. David is actively involved in research related to software security, certified security proofs, mobile security, and user authentication. His notable work focuses on proof development environments, proof language foundations, programming specification languages, and type systems. David is engaged in various projects aimed at securing IoT implementations and developing robust malware classifiers, along with verifying machine learning algorithms using symbolic logic.
University of Edinburgh • Edinburgh, Scotland
Holds a position as a Personal Chair focused on software safety and security in the School of Informatics.
Department of Marketing