2005

S. Lawson, Automata with output and groups, 4th year.

A. Scott, Synchronously regular languages, 4th year.

B. Sheehan, Fractal image compression, MSc.

2006

A. Riesgo,  Algebraic curves and commutative algebra,  4th year.

M. Todd,  Rational sets and their applications, 4th year.

M. England, Elliptic curve cryptography, MSc.

2007

C. Edwards, Numerical semigroups, 4th year.

P. Howe, RSA codes: theory and applications, MSc.

2008

K. Lee, Public key cryptography and financial security, MSc.

J. MacBeath, Public key cryptography based on semigroups, MSc.

2009

J. Davidson, Cerny's conjecture for monotonic automata, MSc.

2010

Katy Millington, Turing's universal computing machine, 4th year.

Zoe Misseri, The road colouring problem, MSc.

2011

Christopher Windeatt, Infinite numbers, 4th year.

Allan Roy, Cook's theorem, 4th year.

Fiona Craig, Category theory, MSc.

2012

Allan Roy, NP-complete problems, 5th year.

Roxane Besse, Finite automata, ERASMUS.

Catriona Quin, Finite automata, 4th year.

2013

James Sheppard, Banach-Tarski paradox, 4th year.

Jonathan Naismith, Boolean algebras, 4th year.

William Bleasdale, Arithmetic of infinite numbers, 4th year.

2014

Kunzhi Cai, Boolean algebras, 4th year.

Steven Johnston,  Completely regular semigroups, 4th year.

Rhys Livesey, C*-algebras, 4th year.

Abner de Mattos Brito, Non-commutative geometry, Science without Borders.

2015

Jacqueline Wilkie, MV algebras, 4th year.

Hannah Carse, Conservative logic, 4th year.

Samuel Eriksson, Cantor minimal systems, MSc.

Caio Coelho, Multiple valued logic, Science without Borders.

Anna Laura Suarez, Non-commutative frame theory, Supported by an LMS Undergraduate research Bursary.

2016

Joseph Collins, Introduction to abelian categories, 4th year.

Bartosz Jaroszkowski, Galois theory, 4th year.

Anna Laura Suarez, Logic, 4th year.

Demyan Vakhrameev, Introduction to category theory and topos theory, 4th year.

2016/2017

Joseph Collins, Homology, 5th year.

Ceri Tracey, Finite state automata, 4th year.

Liam James, Universal algebra, 4th year. Jordan Glover, First-order logic, 4th year.

2017/18

Edel Gallagher, Boolean algebras, 4th year.

Claudia Whiteside, Inverse semigroups, 4th year.

Jia Li, Automata and semigroups, 4th year.

Aron Patel, MV algebras, 4th year.

2018/2019

Liam James, Universal algebra, 4th year.

Jacob Lee, Semigroup Theory, 4th year.

Katherine Murdock, Logic, 4th year.

Charlotte Wood, Infinitesimals, 4th year.

Edmund Teow, Differential forms, MSc.

2019

Liam James, Boolean inverse monoids, 5th year.


2021

Scott Lamont , Fullernes.

Ian Herron,  Higher rank monoids.

Olivia Patterson,  MV algebras.

Jolene Stout, The formula of Euler.

Claire McGovern, The maths of kaleidoscopes.

2022

Murray Black. The category of sets.

Matthew Cheng. Natural deduction.

---