Mr Craig   McLaughlin
Postdoctoral Fellow

Mr Craig McLaughlin

Engineering
Sch: Computer Science & Eng

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).

Publications

Awards

Grants

Media