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.

**Game Forms for Coalition Effectivity Functions**

Presented at the 25th International Conference on Types for Proofs and Programs, Oslo 2019

Coauthor: Venanzio Capretta

[Extended Abstract] [Slides]**The Coinductive Formulation of Common Knowledge**

Proceedings of the 9th International Conference on Interactive Theorem Proving, Oxford 2018

Coauthor: Venanzio Capretta

[Paper] [Slides] [Agda Source] [Coq Source]

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

- G51PGP: Programming Paradigms
- G52ACE: Algorithms, Correctness, and Efficiency
- G52AFP: Advanced Functional Programming
- G52LAC: Languages and Computation

- G51MCS: Mathematics for Computer Scientists
- G52ACE: Algorithms, Correctness, and Efficiency
- G53CMP: Compilers

- G51PGP: Programming Paradigms
- G52AFP: Advanced Functional Programming
- G52LAC: Languages and Computation

- Two-Day "Welcome to the Machine" Introduction for Incoming First-Year Undergraduates
- G51CSF: Computer Fundamentals
- G51MCS: Mathematics for Computer Scientists
- G51PGA: Programming and Algorithms
- G51SYS: Systems and Architecture

- G51PGP: Programming Paradigms
- G52AFP: Advanced Functional Programming
- G52LAC: Languages and Computation

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

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

- G51MCS: Mathematics for Computer Scientists

- G52AFP: Advanced Functional Programming

- G52AFP: Advanced Functional Programming