The Speakers

Philippa Gardner is a professor in the Department of Computing at Imperial College London and has a UK Research and Innovation Established Fellowship from 2018–2023. Her research focusses on program specification and verification. In particular, her group is credited with bringing logical abstraction and logical atomicity to modern concurrent separation logics, and is currently developing the Gillian platform for building symbolic analysis tools for real-world programming languages such as C and JavaScript, which unifies classical symbolic execution, semi-automatic verification based on separation logic, and automatic compositional testing based on bi-abduction.

Eike Ritter is a Senior Lecturer for the School of Computer Science, at the University of Birmingham. He is also a member of the Security and Privacy group and Theory group. 

Ritter's research interests include security, applications of mathematical logic and category theory to computer science, type theory and its applications to functional programming, proof theory and automated theorem proving.

Alex is a Research Fellow in the Department of Computer Science (PPLV Group) at University College London, part of the IRIS Grant. He works in logic across mathematics, informatics, and philosophy. He is interested in all areas of logic and its applications, currently concentrating on Structural Proof Theory, Proof-search and Control and Logic Programming.

Peter is a Professor at the Wilhelm-Schickard-Institut für Informatik, Universität Tübingen. He works on the foundations of inference, especially on its proof-theoretic basis, pursuing a programme  called "proof-theoretic semantics".