Links to other websites

Welcome to my webpage



About me


I work at the University of St Andrews, in the United Kingdom, and I am interested in type theory, proof theory and category theory


My current and past research (2012-2015) has investigated various proof automations for the Idris language (which can also be seen as a proof assistant) and was more generally focused on techniques to improve the usability of dependent types.


I also have a strong interest in the foundations of mathematics and formaly verified mathematics and am currently exploring various things about this (2016-), on which I'm planning to focus after completion of my PhD.


I am also teaching various modules for first, second and third year, which includes lecturing a part of the third year module on Computational Complexity (CS 3052).


My research advisor is Edwin Brady.