Affiliated Members

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	Lecturer in Programming Languages for Trustworthy Systems	elizabeth.polgreen@ed.ac.uk	IF-2.10A
Jane Hillston	Personal Chair in Quantitative Modelling	Jane.Hillston@ed.ac.uk	IF-2.14	505199
Lawrence Piao	Research Student	s2424317@sms.ed.ac.uk	IF-2.05	515607
Maks Kret	Research Student	s2071662@sms.ed.ac.uk	IF-2.49
Maria Bahna	Research Student	s2729293@sms.ed.ac.uk	BC-5.01
Mark Klaisoongnoen	Research Student	s1895258@sms.ed.ac.uk
Markulf Kohlweiss	Senior Lecturer in Security and Privacy	markulf.kohlweiss@ed.ac.uk	IF-5.14	502859
María Gragera Garcés	Research Student	s2743937@sms.ed.ac.uk	BC-5.01
Matej Sandor	Research Student	s2098270@sms.ed.ac.uk	IF-2.49
Milos Nikolic	Lecturer in Database Systems	milos.nikolic@ed.ac.uk	IF-4.03
Paul Jackson	Director of Institute and Senior Lecturer	Paul.Jackson@ed.ac.uk	IF-2.12
Philip Wadler	Chair of Theoretical Computer Science	Philip.Wadler@ed.ac.uk	IF-5.30A	505174
Rachel Somerset	Research Student	s1843940@sms.ed.ac.uk	IF-2.49
Rik Sarkar	Reader	Rik.Sarkar@ed.ac.uk	IF-3.45
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
Xinshu Ma	Research Student	s2136500@sms.ed.ac.uk	IF-2.53	505144
Xuran Ge	Research Student	s2673501@sms.ed.ac.uk
Yang Cao	Lecturer in Database Systems	Yang.Cao@ed.ac.uk	IF-4.32A