Academic Staff

Name	Position	Email	Room	Phone
Aggelos Kiayias	Chair in Cyber Security and Privacy	Aggelos.Kiayias@ed.ac.uk	IF-4.20	513837
Ajitha Rajan	Personal Chair of Software Testing and Verification	arajan@exseed.ed.ac.uk	IF-4.14
Alexandru Cojocaru	Chancellor's Fellow in Quantum Computation	a.cojocaru@ed.ac.uk	BC-3.11
Andreas Pieris	Reader	apieris@exseed.ed.ac.uk	IF-3.06A	515606
Aris Filos-Ratsikas	Lecturer in Algorithms and Complexity	Aris.Filos-Ratsikas@ed.ac.uk	IF-5.07
Chris Heunen	Chair of Quantum Programming	Chris.Heunen@ed.ac.uk	BC-3.12
Daniel Woods	Lecturer in Cyber Security	daniel.woods@ed.ac.uk	IF-5.23A
David Aspinall	Personal Chair in Software Safety and Security	David.Aspinall@ed.ac.uk	IF-5.12A	505177
Don Sannella	PERSONAL CHAIR IN COMPUTER SCIENCE	Don.Sannella@ed.ac.uk	IF-5.12
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
Gordon Plotkin	Professor	G.Plotkin@ed.ac.uk	IF-4.24A
He Sun	Reader	H.Sun@ed.ac.uk	IF-5.03	515622
Heng Guo	Reader in Algorithms and Complexity	Heng.Guo@ed.ac.uk	IF-5.05A
Ian Stark	Senior Lecturer	Ian.Stark@ed.ac.uk	IF-4.15
James Cheney	Personal Chair of Programming Languages and Systems	James.Cheney@ed.ac.uk	IF-5.29	515658
Jane Hillston	Personal Chair in Quantitative Modelling	Jane.Hillston@ed.ac.uk	IF-2.14
John Longley	Lecturer	J.R.Longley@ed.ac.uk	IF-4.15
Julian Bradfield	Director of Research Institute and Reader	jcb@inf.ed.ac.uk	IF-4.07	505998
Kousha Etessami	Personal Chair in Algorithms, Games, Logic and Complexity	kousha@inf.ed.ac.uk	IF-5.20	505197
Leonid Libkin	Chair of Foundations of Data Management	libkin@ed.ac.uk	IF-5.31
Marc Juarez Miro	Lecturer in Cyber Security and Privacy	mjuarez@ed.ac.uk	IF-4.05A
Markulf Kohlweiss	Senior Lecturer in Security and Privacy	markulf.kohlweiss@ed.ac.uk	IF-5.14	502859
Mary Cryan	Senior Lecturer	mcryan@inf.ed.ac.uk	IF-5.18
Michele Ciampi	Chancellor's Fellow	michele.ciampi@ed.ac.uk	IF-5.26
Milos Nikolic	Lecturer in Database Systems	milos.nikolic@ed.ac.uk	IF-4.03
Mina Doosti	Chancellor's Fellow in Quantum Computation	mdoosti@ed.ac.uk	BC-3.10
Myrto Arapinis	Reader	marapini@exseed.ed.ac.uk	IF-5.27
Paolo Guagliardo	Reader in Databases	Paolo.Guagliardo@ed.ac.uk	IF-5.11
Perdita Stevens	Personal Chair in Mathematics of Software Engineering	Perdita.Stevens@ed.ac.uk	IF-5.05
Peter Buneman	Professor	Peter.Buneman@ed.ac.uk	IF-5.15	505133
Petros Wallden	Reader	petros.wallden@ed.ac.uk	IF-4.05
Philip Wadler	Chair of Theoretical Computer Science	Philip.Wadler@ed.ac.uk	IF-5.30A	505174
Raul Garcia-Patron Sanchez	Senior Lecturer in Quantum Computing	rgarcia3@exseed.ed.ac.uk	IF-3.06A
Richard Mayr	Reader	mayr36.teaching-admin@ed.ac.uk	IF-4.11A	505130
Rik Sarkar	Reader	Rik.Sarkar@ed.ac.uk	IF-3.45
Rob van Glabbeek	Personal Chair in Computer Science	rvangla@ed.ac.uk	IF-3.49	515627
Sam Lindley	Reader in Programming Language Design and Implementation	Sam.Lindley@ed.ac.uk	IF-5.26A
Stephen Gilmore	Personal Chair in Software Systems Modelling	Stephen.Gilmore@ed.ac.uk	IF-5.21
Stuart Anderson	Personal Chair in Dependable Systems	S.Anderson@ed.ac.uk	IF-3.46	505191
Tariq Elahi	Lecturer in Security and the Internet of Things	t.elahi@ed.ac.uk	IF-4.04A	513257
Wenfei Fan	Personal Chair in Web Data Management	Dr.Wenfei.Fan@ed.ac.uk
Yang Cao	Lecturer in Database Systems	Yang.Cao@ed.ac.uk	IF-4.32A