People
Prof Richard Bornat (Emeritus)
Prof Dino Distefano (Royal Academy of Engineering/EPSRC Research Fellow)
Prof Angus MacIntyre FRS (cross-appointed with Maths dept)
Dr Paulo Oliva (Royal Society Research Fellow)
Prof Edmund Robinson (Head of group)
Dr Mehrnoosh Sadrzadeh (EPSRC Carrer Acceleration Fellow)
Dr Nikos Tzevelekos (Royal Academy of Engineering Research Fellow)
Tzu-Chun Chen
Nhat Anh Dang
Sinan Halilbeyoglu
Huayi Huang
Xujing Huang
Kaustubh Nimkar
Mark Schellhase
Dr Josh Berdine (Microsoft Research)
Dr Martin Berger (Sussex)
Dr James Brotherston (UCL, EPSRC Advanced Fellow)
Dr Cristiano Calcagno (Imperial, EPSRC Advanced Fellow)
Dr Marco Carbone (ITU, Denmark)
Prof Byron Cook (UCL and Microsoft Research Cambridge)
Dr Samin Ishtiaq (Microsoft Research)
Dr Oukseh Lee (Hanyang University)
Dr Paul Levy (Birmingham, EPSRC Advanced Fellow)
Prof Peter O'Hearn (UCL, Royal Society Wolfson Merit Award Holder)
Dr Rasmus Petersen (Microsoft Research)
Prof David Pym (6th Century Chair in Logic, Univ of Aberdeen)
Dr Noam Rinetzky (Royal Academy of Engineering/EPSRC Research Fellow)
Dr Hayo Thielecke (Birmingham)
Dr Hongseok Yang (Oxford)
Research Staff
Students
Some Former Members
Academic Staff