Blockchain Technology Laboratory

Researchers and PhD students

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

Researchers and PhD students

Sefa Akca
Sefa
  Sefa Akca is a PhD student in the School of Informatics at the University of Edinburgh. His research interests lie in testing and analyzing Ethereum Smart contracts using static and dynamic techniques. He received a BSc from the Ankara University Computer Engineering department and MSc from the University of Sheffield Advanced Software Engineering department.  
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.

 
Michele Ciampi
Michele Ciampi
 

Michele Ciampi is a postdoctoral researcher 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
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).

 
Muhammad Ishaq
Ishaq
 

Muhammad Ishaq is a PhD student in the School of Informatics at the University of Edinburgh. He researches optimizations to multiparty computation (MPC) using techniques from program analysis, combinatorial optimizations and algorithms.

Papers
Dimitris Karakostas
Dimitris Karakostas
  Dimitris Karakostas is a  PhD student in the School of Informatics at the University of Edinburgh. His research interests include digital asset management over blockchains and provable security of Proof-of-Stake protocols. He holds an Electrical and Computer Engineering degree from the National Technical University of Athens with a major in Computer Science. Papers
Thomas Kerber
Thomas Kerber
  Thomas Kerber is PhD student in the School of Informatics at the University of Edinburgh. He is working on capturing the notion of smart contracts, and formally describing the security of smart contract systems. The main purpose of this is to understand the ideal properties of smart contract systems, that current systems are lacking. In particular, he hopes to be able to model what privacy means in a smart contract system, and determine how it can be achieved. Papers
Orfeas Stefanos Thyfronitis Litos
Orfeas Litos
 

Orfeas Stefanos Thyfronitis Litos is a PhD student in the School of Informatics at the University of Edinburgh. His research focuses on decentralised economic trust and reputation. He models market interactions and designs reputation systems that foster online commerce with minimal need for trusted middlemen. Furthermore, he models and formalises blockchain-backed payment networks, such as the Lightning Network. 

 

Papers
Yun Lu
yun lu
 

Yun Lu is a PhD student in the School of Informatics at the University of Edinburgh. Her research interests include differential privacy, secure multiparty computation, rational cryptography, and provable security. She received both her BSc and MSc in Computer Science from UCLA.

 
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.  
Aikaterini-Panagiota Stouka
Aikaterini-Panagiota Stouka
 

Katerina is a PhD Student in the School of Informatics at the University of Edinburgh. Her research interests lie in game theoretic aspects of blockchain protocols. She is working on combining cryptographic and game theoretic tools in order to analyse incentives in cryptocurrencies. Specifically she is working on designing reward mechanisms with specific properties and on constructing a framework that allows us to study the incentives of the players of an arbitrary blockchain protocol. She is also searching for properties that are sufficient to ensure the incentive compatibility of a blockchain protocol.

Papers
Misha Volkhov
Misha
  Misha Volkhov is a PhD Student in the School of Informatics at the University of Edinburgh. He holds a Master's degree in computer science and cryptography (MPRI, Paris). His interests include proofs of knowledge, multiparty computation protocols, and formal verification.  
Hendrik Waldner 
Hendrick Waldner
 

Hendrik Waldner is a PhD student in the School of Informatics at the University of Edinburgh. His research interests includes functional encryption, proofs of knowledge and its application on blockchain technologies. He holds a degree in Mathematics from the Ruhr-University Bochum.

Papers
Zhizhen Yu
Zhizhen
  Zhizhen Yu is a PhD student in the School of Law at the University of Edinburgh. She received her LLM at the University of Edinburgh and holds her BSc and MSc in Information Science from Beijing University. Her research focuses on machine learning, AI and investment conduct rules and coding ethics.  
Thomas Zacharias
Thomas Zacharias
 

Thomas Zacharias is a Postdoctoral Researcher at the University of Edinburgh. He holds a PhD in Cryptography from the National and Kapodistrian University of Athens. His research focuses on the areas of end-to-end verifiable e-voting, distributed consensus, anonymous communications, and secure delegation of cryptographic computations.

Papers