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 epistemic logics and how they can be modelled within a dependently-typed setting by utilising coinductive types. 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] [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:

Spring 2019

Autumn 2018

Spring 2018

Autumn 2017

Spring 2017

Autumn 2016

Spring 2016

Spring 2015