David Aspinall
Professor at University of Edinburgh
City of Edinburgh, Scotland, United Kingdom
Summary
👤
SeniorDavid Aspinall is a Professor of Software Safety and Security at the University of Edinburgh with over 30 years of experience bridging theoretical computer science and applied security. He leads research and teaches secure programming while directing projects in mobile security, authentication, verified network security, and formal methods. As co-founder and CSO of Contemplate Ltd, he sets the scientific direction for tools that ensure safety and security of concurrent programs, translating formal verification research into practical software. His work uniquely combines theorem proving and programming language design to tackle real-world security problems, and he is known for integrating rigorous foundations with usable engineering.
30 years of coding experience
Github Skills (9)
goodies10
emacs10
emacs-lisp10
proof-general8
coq8
proof-assistant7
agda7
opam6
melpa6
Programming languages (1)
Github contributions (5)
detlearsom/detlearsom.github.io
Oct 2024 - Feb 2025
Contributions:13 pushes in 4 months
jwiegley/dot-emacs
Mar 1996 - Mar 2015
Contributions:6898 commits in 19 years 3 months
emacsemacs-lispgoodies
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.