# Colm Baston

## About

I'm a PhD student at the School of Computer Science, the 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 colm.baston@nottingham.ac.uk; otherwise, you can find me in office A04 of the Computer Science Building on Jubilee Campus.

Links: [Files] [GitLab]

## Recent Work

**The Coinductive Formulation of Common Knowledge**

To appear in the Proceedings of the 9th International Conference on Interactive Theorem Proving, 2018

Coauthor: Venanzio Capretta

Links: [PDF] [Agda Source] [Coq Source]

## Teaching Assistance

### Spring 2018

- G51PGP: Programming Paradigms
- G52AFP: Advanced Functional Programming

### Autumn 2017

- G51MCS: Mathematics for Computer Scientists
- G51CSF: Computer Fundamentals
- G51PGA: Programming and Algorithms

### Spring 2017

- G51PGP: Programming Paradigms
- G52AFP: Advanced Functional Programming
- G52CPP: C++ Programming

### Autumn 2016

- G51MCS: Mathematics for Computer Scientists

### Spring 2016

- G52AFP: Advanced Functional Programming

### Spring 2015

- G52AFP: Advanced Functional Programming