Permanent members

Vahagn Aslanyan
Model theory, complex geometry, Diophantine geometry, differential algebra

Philip Dittmann
Model theory of fields, valued fields, Hilbert's 10th problem

Nicola Gambino
Categorical Logic, Type Theory (especially Dependent Type Theory, Homotopy Type Theory and Univalent Foundations), Theoretical Computer Science (especially Computer-Assisted Proof Checking), Linear Logic (especially Differential Linear Logic)

Gareth Jones
Model theory, Diophantine geometry

Mark Kambites
Semigroups, automata and formal languages, computational problems in algebra

Omar Leon Sanchez
Model theory, differential algebra, field arithmetic, and algebra representation

Marcus Tressl
Model theory