Teaching

I teach the following two honours (L3/L4/L5) courses:

  • COMPSCI4072 Theory of Computation H (ToC)
  • COMPSCI4016 Programming Languages H (PL)

Studying Computing Science at Glasgow

If you are thinking of studying Computing Science at the Univerisity of Glasgow, check the video below, which gives a gentle introduction to our degree programmes.

Selected Projects

Here are some selected undergraduate (L4) and master (MSc/MSci/MEng) student projects I have supervised. (Note: The tools hosted on haiti can only be accessed within the School's network.)

If you are interested in doing a project with me, then please contact me.

Scala-Mungo
Alice Ravier
MEng individual project, 2021
Animation of Tombstone Diagrams
Michal Broos
L4 project, 2021
Iyengar Yoga Class Generator
Ventsislav Antov
MSc project, 2020
SFJ - Boolean types and semantic subtyping for Featherweight Java
Artem Usov
L4 project, 2020
Session Types in Pi-Calculus
Avery Mcnab
L4 project, 2019
Encoding Session Types into Linear Types in Pi-Calculus
John Bell
L4 project, 2019
A Portfolio of Case Studies using the Mungo and StMungo Protocol Typechecking Toolchain
Caitlin Norah MacFadyen
MSc project, 2019
An Evaluation Environment for Simply-Typed Lambda Calculus
Yola Jones
MSc project, 2019
Type-Checking Session-Typed Pi-Calculus with Coq
Uma Zalakain
MSc project, 2019
Animation of the Contextual Analysis and Code Generation Phases of a Compiler
David Robertson
L4 project, 2018