Colm Baston


I'm a PhD student at the School of Computer Science, University of Nottingham, where I also received my MSci in 2016. Broadly, I'm interested in functional programming and am a member of the Functional Programming Lab. More precisely, my research interests are in mathematical logic and dependent type theory, specifically in multi-agent logics and how they can be modelled using dependent type theory. My principal supervisor is Venanzio Capretta and my second supervisor is Natasha Alechina.

Feel free to contact me at; otherwise, you can find me in office A04 of the Computer Science Building on Jubilee Campus.

Links: [Files] [BibTeX] [GitLab]

Academic Work


I have provided teaching assistance, including working as a lab assistant, running tutorials, and marking, to the convenors of the following undergraduate modules:

Autumn 2019 (Current)

Spring 2019

Autumn 2018

Spring 2018

Autumn 2017

Spring 2017

Autumn 2016

Spring 2016

Spring 2015