Our Institute draws its members from across the University of Edinburgh. The list below shows academics involved in cyber security research and teaching. Many postdoctoral researchers and students are also affiliated. The University of Edinburgh is recognised as an Academic Centre of Excellence in Cyber Security Research (ACE-CSR) and many of its staff are funded by the UK science funding agency UKRI and the UK Government.
If you are a member of academic staff and would like to be included on this list, please contact us.
Key Academic Staff
| Member | Interests | School |
|---|---|---|
| Dr Myrto Arapinis | Verification of cryptographic protocols, verification of security properties, detection of attacks, formal models, and protocol composition. | Informatics |
| Professor David Aspinall | Software security, user authentication, theorem proving, programming and specification languages. | Informatics |
| Dr Pramod Bhatotia | Software security, secure storage, security for distributed systems, and hardware-assisted security. | Informatics |
| Professor James Cheney | Programming languages, databases, logic/verification. Applications to provenance, scientific data management, and security. | Informatics |
| Dr Tariq Elahi | Anonymous communications, censorship resistance, and the internet of things. | Informatics |
| Dr Richard Jones | Surveillance, security, cybercrime and cyber security, the use of new technologies in crime control and criminal justice | Law |
| Professor Elham Kashefi | Quantum cryptography. | Informatics |
| Dr Markulf Kohlweiss | Verification of cryptographic implementations, cryptographic currencies and zero-knowledge proof systems, privacy and anti-surveillance, ethics in cryptography. | Informatics |
| Professor Aggelos Kiayias | Broad perspective on cryptography and cyber security with emphasis on blockchain systems, e-voting protocols, digital content distribution, privacy and identity management. | Informatics |
| Professor Ewa Luger | Applied ethics: data governance, consent, privacy and making intelligent systems intelligible to the user. | School of Design |
| Dr Chris Xiaoxuan Lu | Safety and reliability of mobile robotics, side channels in IoT, biometrics for wearables, identity and location privacy, mixed reality | Informatics |
| Dr Mahesh Marina | Mobile authentication and privacy, and distributed intrusion detection. | Informatics |
| Professor Paul Patras | Performance optimisation in wireless networks, network protocols and architectures, prototyping and test beds, security and privacy of IoT systems. | Informatics |
| Professor Charles Raab | Public policy, governance and regulation for information privacy, surveillance and security, and identity. | Social and Political Sciences |
| Professor Ram Ramamoorthy | Autonomous robotics, robot learning, safe and explainable artificial intelligence. | Informatics |
| Professor Tharm Ratnarajah | Wireless communications, information theory, physical layer security, 5G and wide-area IoT. | Engineering |
| Professor Burkhard Schafer | Legal concepts of privacy and security and their computational implementation, legal forensics. | Law |
| Dr Ian Stark | Mobile security and its verification. Formal models of systems and architecture, including security-oriented capability hardware. | Informatics |
Affiliated Staff
| Member | Interests | School |
|---|---|---|
| Mr Paul Anderson | Large infrastructure management; configuration languages, including provenance and security. | Informatics |
| Professor Stuart Anderson | Design and analysis of complex systems, risks in socio-technical systems. | Informatics |
| Professor Angus Bancroft | Sociology of cyber-criminal markets, techno-politics of anonymity. | Sociology |
| Professor Alan Bundy | Application of automated reasoning to verify, disprove or reverse engineer security-critical programs. | Informatics |
| Professor Mike Davies | Imaging and signal processing; detection, classification and signal separation for surveillance. | Engineering |
| Professor Wenfei Fan | Access control security for structured data in XML, data cleaning. | Informatics |
| Professor Andrew Neal | Security policy, politics and scrutiny, and their expansion over time. | Politics and International Relations |
| Professor Dave Robertson | Security and privacy and trust and reputation in distributed systems and social computation. | Informatics |
| Professor Michael Rovatsos | Reputation in multiagent systems, restricted information sharing in distributed data mining. | Informatics |
| Professor Don Sannella | Formal methods for secure systems development, using algebraic and mechanised reasoning. | Informatics |
| Dr Rik Sarkar | Distributed and wireless routing protocols and attacks, location privacy. | Informatics |
| Dr Lachlan Urquhart | Regulatory, human computer interaction and ethical aspects of ubiquitous computing, especially data protection and security. | Law |
| Professor Philip Wadler | Programming language design and foundations that support better security, especially using types. | Informatics |
| Dr Petros Wallden | Quantum cryptography, especially quantum digital signatures; quantum theory foundations. | Informatics |