Colm Baston

About

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 Graham Hutton (formerly Natasha Alechina).

Feel free to contact me at colm.baston@nottingham.ac.uk.

Links: [BibTeX] [GitLab]


Academic Work


Teaching

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

Spring 2020

Autumn 2019

Spring 2019

Autumn 2018

Spring 2018

Autumn 2017

Spring 2017

Autumn 2016

Spring 2016

Spring 2015