Proof theory, type theory, constructive logic and mathematics, functional programming, logic programming, automated reasoning
School of Computer Science,
University of St Andrews,
North Haugh, ST ANDREWS, Fife, KY16 9SX, Scotland.
The University of St Andrews is a charity registered in Scotland: No SC013532.
Email: firstname dot surname at gmail.com
Phone: +44-1334-475944 (St Andrews) or +44-1809-511345 (Glengarry)
My mathematical genealogy (with a link to MathSciNet).
My Erdös number is 3.
Google Scholar Profile.