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

Autumn 2019 (Current)

• 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