About
I am a Lecturer in Computer Science at the University of St Andrews, interested in type theory, dependently typed functional programming, compilers and metaprogramming. I am currently working on a new implementation of Idris, a dependently typed functional programming language.
When I’m not doing that, you might find me playing Go (I’m about 2 kyu), walking up a hill, watching a game of cricket, or waiting for a delayed train. I’m afraid I also perpetrated the Whitespace programming language.
You can find out how to contact me, or see my publications. Sometimes I give conference talks.
I might also write some posts occasionally, but probably not very often.
Recent/Upcoming Activities
Program Committees:
- International Conference on Functional Programming (ICFP) 2020 (Submission deadline March 3rd 2020)
- Functional and Logic Programming (FLOPS) 2020
- Trends in Functional Programming (TFP) 2020
- Conference on Intelligent Computer Mathematics (CICM) 2019 (Calculemus track chair)
- RADICAL 2019
- ML workshop 2019
- Type-driven Development (TyDe) 2019
- META 2019
- Practical Aspects of Declarative Languages (PADL) 2019
- Scala Symposium 2019
Journals:
- Editorial board of the Journal of Functional Programming
Other activities:
- Vice Chair of IFIP Working Group 2.11 (Program Generation)
- Member of IFIP Working Group 2.16 (Language Design)