I am happy to supervise projects in any area of combinatorics or algebra. This document gives some possible subjects. Most could be adapted to be suitable as either a 3rd year, 4th year or MSc project. Combinatorial game theory. In the game of Domineering the two players are called Horizontal and Vertical. In each turn, Vertical places a domino vertically on the board, and then Horizontal place...

The aim is to highlight and elaborate the structural result for branching bisimilarity on normed BPA (Basic Process Algebra) processes that was the crux of a conference paper by Czerwiński and Jančar (arxiv 7/2014 and LiCS 2015 [CJ-2014,2015]). That paper focused on the computational complexity, and a NEXPTIME-upper bound has been derived; the authors built on the ideas by Fu (ICALP 2013), and ...