Name
Position
Email
Room
Phone
Ajitha Rajan
Personal Chair of Software Testing and Verification
arajan@exseed.ed.ac.uk
IF-4.14
Christian Fensch
Honorary Fellow
C.Fensch@ed.ac.uk
David Aspinall
Personal Chair in Software Safety and Security
David.Aspinall@ed.ac.uk
IF-5.12A
505177
Elham Kashefi
Personal Chair in Quantum Computing
ekashefi@inf.ed.ac.uk
BC-3.09
Elizabeth Polgreen
Reader
elizabeth.polgreen@ed.ac.uk
IF-2.10A
Jane Hillston
Personal Chair in Quantitative Modelling
Jane.Hillston@ed.ac.uk
IF-2.14
Markulf Kohlweiss
Senior Lecturer in Security and Privacy
markulf.kohlweiss@ed.ac.uk
IF-5.14
502859
Milos Nikolic
milos.nikolic@ed.ac.uk
IF-4.03
Paul Jackson
Director of Institute and Senior Lecturer
Paul.Jackson@ed.ac.uk
IF-2.12
Rik Sarkar
Rik.Sarkar@ed.ac.uk
IF-3.45
Sam Lindley
Reader in Programming Language Design and Implementation
Sam.Lindley@ed.ac.uk
IF-5.30A
Tariq Elahi
Lecturer in Security and the Internet of Things
t.elahi@ed.ac.uk
IF-4.04A
513257
Vashti Galpin
Senior Researcher
Vashti.Galpin@ed.ac.uk
IF-5.28
Yang Cao
Yang.Cao@ed.ac.uk
IF-4.32A
