People
David Aspinall (PI)
Reader in Computer Science, University of Edinburgh
[+] moreEarl Barr (Co-I)
Lecturer, University College London
[+] moreDavid Clark (Co-I)
Senior Lecturer, University College London
[+] moreByron Cook (Co-I)
Professor of Computer Science, University College London and Principal Researcher at Microsoft Research
[+] moreBjörn Franke (Co-I)
Reader, University of Edinburgh
[+] morePhilippa Gardner (PI)
Director of the Research Institute in Automated Program Analysis and Verification and Professor, Imperial College London
[+] moreAndrew Gordon (Co-I)
Principal Researcher at Microsoft Research, Cambridge and Professor in Computer Security, University of Edinburgh
[+] moreMark Handley (Co-I)
Professor of Networked Systems, University College London
[+] moreBrad Karp (PI)
Professor in Computer Systems and Networks, University College London
[+] moreAndy King (PI)
Professor in Program Analysis, University of Kent
[+] moreKonstantin Korovin (Co-I)
Lecturer, The University of Manchester
[+] moreSergio Maffeis (Co-I)
Associate Director of the Research Institute in Automated Program Analysis and Verification and Lecturer in Computer Security at Imperial College London
[+] morePasquale Malacaria (PI)
Professor of Computer Science, Queen Mary University of London
[+] moreJuan Navarro Perez (Co-I)
Lecturer, University College London
[+] moreDon Sannella (Co-I)
Professor of Computer Science, University of Edinburgh
[+] moreIan Stark (Co-I)
Senior Lecturer in Computer Science, University of Edinburgh
[+] moreCharles Sutton (Co-I)
Reader, University of Edinburgh
[+] moreMichael Tautschnig (Co-I)
Lecturer, Queen Mary University of London
[+] moreAndrei Voronkov (PI)
Professor of Formal Methods, The University of Manchester
[+] more
