I'm a PhD student at the School of Computer Science, University of Nottingham, where I also received my MSci. 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 Graham Hutton (formerly Natasha Alechina). See some of my non-academic projects on GitLab, and feel free to contact me at colm.baston@nottingham.ac.uk.

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:

Spring 2023

Spring 2022

Spring 2021

Autumn 2020

Spring 2020

Autumn 2019

Spring 2019

Autumn 2018

Spring 2018

Autumn 2017

Spring 2017

Autumn 2016

Spring 2016

Spring 2015