About

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

• 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] [Coq]

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 2023

• G51PGP: Programming Paradigms

Spring 2022

• G51PGP: Programming Paradigms

Spring 2021

• G51PGP: Programming Paradigms
• G52ACE: Algorithms, Correctness, and Efficiency
• G52AFP: Advanced Functional Programming

Autumn 2020

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

Spring 2020

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

Autumn 2019

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

Spring 2019

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

Autumn 2018

• 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

Spring 2018

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

Autumn 2017

• G51CSF: Computer Fundamentals
• G51MCS: Mathematics for Computer Scientists
• 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