A list of acadmic staff involved with the Blockchain Technology Lab.
||Website||Aggelos Kiayias is chair in Cyber Security and Privacy and director of the Blockchain Technology Laboratory at the University of Edinburgh. He is also the Chief Scientist at blockchain technology company IOHK. His research interests are in computer security, information security, applied cryptography and foundations of cryptography with a particular emphasis in blockchain technologies and distributed systems, e-voting and secure multiparty protocols as well as privacy and identity management.||Papers|
||Website||Markulf Kohlweiss is Senior Lecturer in Security and Privacy and deputy director of the Blockchain Technology Laboratory at the University of Edinburgh. He is also a research fellow at blockchain technology company IOHK, where he is area leader in zero-knowledge protocols. His research interests lie at the intersection of formal verification, foundations of cryptography and applied cryptography, especially with regard to privacy-enhancing cryptographic protocols and the formal verification of protocol implementations.||Papers|
||Website||Phil Wadler is Chair of Theoretical Computer Science and senior research fellow at IOHK. His research interests are in Programming languages, functional programming, type systems, web programming, query languages for databases, hybrid and gradual typing, Haskell, Erlang, Java, XML. In the context of blockchain systems he is interested in scripting languages, domain specific languages, smart contracts, and formal verification.||Papers|
Emilios Avgouleas holds the International Banking Law and Finance Chair at the University of Edinburgh and is the founding director of the Edinburgh LLM in International Banking Law and Finance. Emilios is a leading international expert on public policy and financial reform, banking theory, banking and capital markets regulation, law and finance, and global economic governance. His current technology-related research focuses on derivatives and securities markets' infrastructure. With Professor Aggelos Kiayias he specifically develops models for the use of blockchain technology to lower transaction costs, enhance investor control over their investments and optimise risk management in financial markets and examine the impact of such innovations on financial market governance and systemic risk distribution.
||Website||Ajitha Rajan is a Reader (or Associate Professor) in Software Engineering at the University of Edinburgh. Her research interests are in software testing and program analysis. In the context of blockchains, she is interested in automated techniques for analysing and testing the correctness of smart contracts.||Papers|
||Website||Petros Wallden is Lecturer in Security and Privacy. His research interests are in Quantum Cyber Security, Quantum Computing and Quantum Information Theory. In the context of blockchains, he is interested in analysing the post-quantum security of existing protocols and the development of new, quantumly enhanced, protocols.||Papers|