Martin Bays

Martin Bays is the Departmental Lecturer in Logic at the University of Oxford's Mathematical Institute. His research focuses on model theory, algebraic geometry, and combinatorics, with applications to geometric structures and group theory. Bays holds a DPhil from Oxford, supervised by Boris Zilber, and has contributed to foundational work in pseudo-exponential maps and Elekes-Szabó problems. He co-organized the seminar on simple theories with Franziska Jahnke and teaches courses such as Introductory Logic and Set Theory at Oxford.

Education: DPhil in Mathematics (Oxford University, 2010-2014), supervised by Boris Zilber.

Research interests include model-theoretic algebra, geometric stability theory, combinatorial incidence geometry, and applications of model theory to algebraic structures. His work bridges abstract logical frameworks with concrete problems in geometry and group theory.

Teaching: Courses include B1.1 Logic, B1.2 Set Theory, and advanced topics like Model Theory and Geometric Group Theory. He has also taught at McMaster University and Münster University.

Professional Activities: Co-organized the Z75 model theory conference (2024), contributed to the Model Theory of Compact Complex Manifolds with Automorphisms, and published extensively in journals like Annals of Science École Normale Supérieure and Journal of the Institute of Mathematics Jussieu.