Dr Craig McLaughlin
Postdoctoral Fellow

Dr Craig McLaughlin

Computer Science and Engineering

Since 2019, I have been a postdoctoral researcher within the Trustworthy Systems group where I am involved in the Cogent project. My research interests include programming languages and compilers, (dependent) type theory, formal verification, and interactive theorem proving.

Previously, I was a PhD student at the University of Edinburgh (2015-2020). Before that, I completed a masters at the University of Glasgow (2010-2015).