People
The Erlangen AI Hub brings together a UK-wide research community across six universities. It is led by three Directors and supported by four institutional leads and multiple theme leads. Together, 36 Co-Investigators guide the Hub’s research community.

Michael Bronstein
Co-Director and Principal Investigator
University of Oxford

Anthea Monod
Co-Director and Imperial Lead
Imperial College London

Jeffrey Giansiracusa
Co-Director and Durham Lead
Durham University

Heather Harrington
Co-Investigator, Oxford Lead
University of Oxford

Primoz Skraba
Co-Investigator, QMUL Lead
Queen Mary University of London

Jacek Brodzki
Co-Investigator, Southampton Lead
University of Southampton

Ran Levi
Co-Investigator, Aberdeen Lead
University of Aberdeen

Omer Bobrowski
Co-Investigator, Theme A Lead
Queen Mary University of London

Yue Ren
Co-Investigator, Theme B Lead
Durham University

Jared Tanner
Co-Investigator, Theme C Lead
University of Oxford

Alessandro Abate
Co-Investigator, Theme D Lead
University of Oxford

Gesine Reinert
Co-Investigator, Oxford Stats Lead
University of Oxford
Gesine is an expert in network analysis and in probabilistic approximations and underpinnings of machine learning procedures.

Peter Grindrod
Co-Investigator, Industry Lead
University of Oxford

Ulrike Tillmann
Co-Investigator, Theme A Deputy
University of Oxford

Coralia Cartis
Co-Investigator, Theme B Deputy
University of Oxford

Marika Taylor
Co-Investigator, Theme C Deputy
University of Southampton

Tom Coates
Co-Investigator, Theme D Deputy
Imperial College London

Sam Cohen
Co-Investigator
University of Oxford

Rama Cont
Co-Investigator
University of Oxford

Giuseppe De Giacomo
Co-Investigator
University of Oxford

Haim Dubossarsky
Co-Investigator
Queen Mary University of London
at Queen Mary University of London and Affiliated Lecturer in the Language Technology Lab at the University of Cambridge He is a natural language processing expert whose work focuses on the information that can be extracted from the parameters of Large Language Models.

Raphael Hauser
Co-Investigator
University of Oxford

Varun Kanade
Co-Investigator
University of Oxford

Marta Kwiatkowska
Co-Investigator
University of Oxford

Marc Lackenby
Co-Investigator
University of Oxford

Jeroen Lamb
Co-Investigator
Imperial College London

Renaud Lambiotte
Co-Investigator
University of Oxford

Terry Lyons
Co-Investigator
University of Oxford

Mahesan Niranjan
Co-Investigator
University of Southampton

Harald Oberhauser
Co-Investigator
University of Oxford

Dave Parker
Co-Investigator
University of Oxford
Oxford. His research is in formal verification, with a particular focus
on the analysis of probabilistic systems, and he leads the development of the widely used verification tools PRISM and PRISM-games. Dave’s current research interests include verification techniques for applications in AI and machine learning.

Norbert Peyerimhoff
Co-Investigator
Durham University

Patrick Rebeschini
Co-Investigator
University of Oxford

Prof Christoph Reisinger
Co-Investigator
University of Oxford

Justin Sirignano
Co-Investigator
University of Oxford

Ruben Sánchez-García
Co-Investigator
University of Southampton
