Academic Staff
Prof Richard Bornat (Emeritus)
Prof Paul Curzon
Prof Dino Distefano
Dr Matthew Huntbach
Dr Arman Khouzani
Prof Angus MacIntyre FRS (cross-appointed with Maths)
Prof Pasquale Malacaria
Dr Paulo Oliva
Dr Søren Riis
Prof Edmund Robinson (Head of group)
Dr Mehrnoosh Sadrzadeh
Dr Michael Tautschnig
Dr Nikos Tzevelekos
Dr Graham White
Dr Greta Yorsh

Research Staff
Dr Rob Arthan
Dr Thomas Cuvillier
Prof Max Kanovich
Dr Ethan Liu
Dr Julian Nagele
Dr Rimvydas Ruksenas

Research Students
Jack Lik Hon Crawford
Emily Donovan
Andrew Lewis-Smith
Yu-Yang Lin
Arthur Passos De Rezende
Ahmad Rasekh
Gijs Wijnholds

Some Former Members
Esma Balkir (Edinburgh)
Dr Josh Berdine (Facebook)
Dr Martin Berger (Sussex)
Dr James Brotherston (UCL)
Dr Cristiano Calcagno (Facebook)
Dr Marco Carbone (ITU, Denmark)
Dr Tzu-Chun Chen (Darmstadt)
Prof Byron Cook (UCL and Amazon)
Dr Anh Nhat Dang (WorldQuant LLC)
Dr Klaus Draeger (Westminster)
Dr Gilda Ferreira (Lisbon)
Dr Ivana Filipovic
Dr Nikos Gorogiannis (Middlesex)
Dr Radu Grigore (Kent)
Dr Jules Hedges (Oxford)
Dr Kohei Honda
Dr Samin Ishtiaq (Microsoft Research)
Dr Guilhem Jaber (Lyon)
Dr Dimitri Kartsaklis (Cambridge)
Prof Peter Landin
Dr Oukseh Lee (Hanyang University)
Dr Paul Levy (Birmingham)
Prof Ursula Martin (Oxford)
Dr Paolo Masci (Minho)
Dmitrijs Milajevs (NIST)
Prof Peter O’Hearn (UCL, Facebook)
Dr Manos Panaousis (Surrey)
Dr Alison Pease (Dundee)
Dr Rasmus Petersen (qvitoo)
Dr Quoc-Sang Phan (Fujitsu Labs)
Dr Thomas Powell (Darmstadt)
Prof David Pym (UCL)
Dr Noam Rinetzky (Tel Aviv)
Dr Hayo Thielecke (Birmingham)
Astrid van Aggelen (CWI Amsterdam)
Prof Hongseok Yang (KAIST)