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; otherwise, you can find me in office A04 of the Computer Science Building on Jubilee Campus.

Links: [Files] [BibTeX] [GitLab]

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

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 (Current)

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