I am a Chancellor's Fellow in the Mathematically Structured Programming Group at the University of Strathclyde in Glasgow (Scotland).
Prior to that I was a Research Fellow working together with Edwin Brady on the dependently typed programming language Idris 2 at the University of St Andrews (Scotland).
I am passionate about building trustworthy systems, and developing the languages, programming patterns, libraries, and tools that make it easier to develop such systems in an interactive manner.