People

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 Dimitri Kartsaklis
Prof Max Kanovich
Dr Rimvydas Ruksenas

Research Students
Thomas Cuvillier
Francisco Lemos
Yu-Yang Lin
Dmitrijs Milajevs
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)
Jules Hedges (Oxford)
Dr Kohei Honda
Dr Samin Ishtiaq (Microsoft Research)
Dr Guilhem Jaber (Paris)
Prof Peter Landin
Dr Oukseh Lee (Hanyang University)
Dr Paul Levy (Birmingham)
Prof Ursula Martin (Oxford)
Dr Paolo Masci (Minho)
Prof Peter O’Hearn (UCL, Facebook)
Dr Manos Panaousis (Brighton)
Dr Alison Pease (Dundee)
Dr Rasmus Petersen (Microsoft Research)
Dr Quoc-Sang Phan (CMU)
Dr Thomas Powell (Darmstadt)
Prof David Pym (UCL)
Dr Noam Rinetzky (Tel Aviv)
Dr Hayo Thielecke (Birmingham)
Astrid van Aggelen (CWI Amsterdam)
Dr Hongseok Yang (Oxford)