David Aspinall

David Aspinall is a Professor at the School of Informatics, University of Edinburgh, Scotland. He is a Fellow of the Alan Turing Institute in London. His research focuses on software security, user authentication, theorem proving, and programming languages. He leads projects like Presbema (predicting mobile app security behaviors) and AppGuarden (improving app store security).

**Research Groups & Labs:**

• Security and Privacy Research Group
• Cyber Security & Privacy Research Network
• Laboratory for Foundations of Computer Science (LFCS)
• Mathematical Reasoning Group

**Research Trends:** His work spans formal verification, behavioral security policies, and machine learning for anomaly detection. Recent articles address network intrusion detection robustness, adversarial examples in cybersecurity, and formal analysis of cryptographic protocols.

**Students & Advising:** Currently supervises David Butler (crypto protocol verification) and Henry Clausen (statistical anomaly detection). Former students include Joseph Hallett (mobile security policies) and Robert Atkey (type theories).

**Commercialization:** Co-founded Contemplate Ltd (2009) to commercialize static analysis tools like ThreadSafe for Java concurrency defects.