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.
||Michele Ciampi is a Chancellor's Fellow in the School of Informatics at The Univresity of Edinburgh. His research focuses on theory of Cryptography. More specifically, he is interested in Zero-Knowledge Proofs, multi-party computation protocols and Blockchain.||Papers|
||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|
||Website||Adrian is a Chancellor’s Fellow whose research focuses on “digital one-health” i.e. developing technology to enable implementation of human-animal health interventions in Africa. One such areas is the control of Antimicrobial resistance (AMR) at the human-animal interface. Here Adrian is developing analytical genomic pipelines to support the utility of clinical metagenomics in AMR research and training for Uganda and Malawi. He is also collaborating with Prof. Aggelos Kiayias at the Blockchain Technology Laboratory and Bodastage Solutions Ltd to develop distributed Ledger Technology for mapping antibiotic usage, the output of which can be used to estimate antibiotic resistance across temporal and spatial scales. Furthermore, Adrian leads a team of epidemiologist, clinicians, social scientist, bio-ethicists and software engineers that are developing and implementing a digital track and trace system tailored to haulage in East Africa. See link https://project-thea.org/||Papers|