Researchers and PhD students

A list of researchers and PhD students involved with the Blockchain Technology Lab.

Jan Bobolz

Jan

 Jan Bobolz is a Research Associate in the School of Informatics at the University of Edinburgh. He was previously a PhD student at Paderborn University in Germany. He is interested in provably secure cryptography and designing privacy-enhancing systems.Papers
Konstantinos Brazitikos

brazitikos

 Konstantinos Brazitikos is a PhD student in the School of Informatics at the University of Edinburgh. His research interests include secure multiparty computation (MPC) under different corruption types, especially omission corruption. He hold a MSc from the University of Edinburgh at Computational Applied Mathematics and a Diplom of Applied Mathematical and Physical Sciences from the National Technical University of Athens. 
Lamprini Georgiou

Georgiou Lamprini

 Lamprini Georgiou is a Ph.D candidate at the School of Law. She holds an LL.M in I.T Law from the University of Edinburgh and an LL.B. from the University of Athens. Her research focuses on regulation and policy for distributed ledger technology with emphasis on cryptocurrencies, smart contracts, blockchain systems, artificial intelligence and regulatory technology (RegTech). 
Dimitris Karakostas

Dimitris Karakostas

 Dimitris Karakostas is a Research Associate in the School of Informatics at the University of Edinburgh. He holds a PhD in Cryptography from the University of Edinburgh and an Electrical and Computer Engineering MEng from the National Technical University of Athens. He is interested in the provable security and the decentralized nature of distributed ledger systems and in the economic principles of decentralized financial applications.Papers
Lorenzo Martinico

martinico

 Lorenzo Martinico is a PhD student in the School of Informatics at the University of Edinburgh, where he completed a Master of Informatics (MInf). His research focus is on accountability in cloud computing, using cryptographic protocols, trusted hardware, and decentralised ledgers. 
Orestis Melkonian

Orestis

 Orestis Melkonian is a PhD student in the School of Informatics at the University of Edinburgh, working on mechanizing a compilation correctness proof from BitML calculus to the UTxO model of Bitcoin under the supervision of Prof. Phil Wadler. His main research interests include functional programming, semantics of programming languages, dependent type theory and formal verification. He holds an MSc degree in Computing Science from the University of Utrecht and a BSc degree in Computer Science from the University of Athens. 
Mary Milad

Mary

 Mary Milad is a Research Assistant in the School of Informatics at the University of Edinburgh. She conducts data analytics and statistical modeling for the Edinburgh Decentralization Index (EDI). She holds an MSc in the Mathematics of Cryptography and Communications from Royal Holloway University of London and a BA in Mathematics and Statistics from Boston University. 
Christina Ovezik

Christina

 Christina Ovezik is a PhD student in the School of Informatics at the University of Edinburgh. Her research focuses on defining decentralisation in the context of blockchain systems and measuring the degree to which existing systems achieve it. She holds an MSc in Advanced Technology for Financial Computing from the University of Edinburgh and a BSc in Computer Science from the Aristotle University of Thessaloniki. 
Amirreza Sarencheh

Amirreza

 Amirreza Sarencheh is a Ph.D. student at the School of Informatics, University of Edinburgh. His research focuses on cryptography and blockchain technologies, aiming to develop cryptographic primitives and protocols that address real-world challenges in areas such as digital payments (e.g., via cryptocurrencies, stablecoins, and CBDCs) and digital identities (e.g., DIDs), while ensuring privacy, regulatory compliance, and high scalability.Papers
Yu Shen

Yu Shen

 Yu Shen is a PhD student in the School of Informatics at the University of Edinburgh. His research interests include cryptographic protocols and provable security of Proof-of-Work blockchain's target recalculation mechanism. He received his BSc in Computer Science and Technology from Jilin University and MSc in Computer Science from Texas A&M University.