Research interests

We have research interests across a range of topics in logic, including:

• Topological methods in Algebraic Logic (Marcus Tressl)

• Connections between model theory, category theory and representation theory (Nicola Gambino, Omar Leon Sanchez, Marcus Tressl)

• Stability theoretic methods in groups and fields (Vahagn Aslanyan, Omar Leon Sanchez)

• Model theory of differential fields (Vahagn Aslanyan, Omar Leon Sanchez, Marcus Tressl)

• Connections between model theory and group theory, with a special emphasis on groups of finite Morley rank and differential Galois theory (Omar Leon Sanchez, Marcus Tressl)

• Model theory of ordered algebraic structures and real algebraic geometry (Gareth Jones, Marcus Tressl)

• Model theory of valued fields (Philip Dittmann, Marcus Tressl)

• O-minimal structures, and interactions between model theory and Diophantine geometry (Vahagn Aslanyan, Gareth Jones)

• Model theory of classical special functions (Vahagn Aslanyan, Gareth Jones)

• Type theory, especially homotopy type theory and univalent foundations, and computer-assisted proof-checking (Nicola Gambino)

• Applications of higher-dimensional category theory to logic (Nicola Gambino)