Students and Research Associates

Postdocs

• Thomas Sibut-Pinote, Research Associate, UCL, November 2017-August 2018;

PhD Students

• Maria A Schett, PhD student, UCL, since November 2017.

Undergraduate and MSc students

• George Pîrlea, MEng student, 2018-19 academic year, UCL.
  Project: Toychain: Formally Verified Blockchain Consensus. [MEng Thesis]
• Daniel Lok, Capstone project student at Yale-NUS, 2018-19 academic year.
  Project: Modelling and Testing Composite Byzantine-Fault Tolerant Consensus Protocols. [Thesis | Code]
• Jake (Si Yuan) Goh, Capstone project student at Yale-NUS, 2018-19 academic year.
  Project: Synchronisation Primitives for Smart Contracts. [Thesis]
• Anirudh Pillai, UCL, Undergraduate student, 2017/18 academic year.
  Project: Mechanised Verification of Paxos-like Consensus Protocols. [BSc Thesis]

Interns and Visiting Researchers

• Bryan Tan, Research Intern at Zilliqa, Summer 2019.
• Amy Zhu, Research Intern at Yale-NUS College/NUS SoC, Spring-Summer 2019.
• Yunjeong Lee, Research Intern at NUS SoC, Spring-Summer 2019.
• Kiran Gopinathan, Intern, Summer 2018, UCL.
  Project: Mechanising Probabilistic Properties of a Blockchain [Code | Paper]
• Oscar King, Intern, Summer 2018, UCL.
• Kristoffer Just Andersen, Visiting PhD Researcher from Aarhus University, January-June 2018, UCL.
• George Pîrlea, Intern, Summer 2017, UCL.
  Project: Reasoning about blockchain consensus protocols. [Code | Paper]
• Benedict Loh, Intern, Summer 2017, UCL.
  Project: Program synhesis engine via Separation Logic.
• Georgi Georgiev, Intern, Summer 2016, UCL.
  Project: Parameterised verification of a concurrent garbage collector in Coq. [Code]
• Anton Podkopaev, Intern, Summer 2015, IMDEA Software Institute.
  Project: Operational Semantics for C/C++11 concurrency. [Code | Draft]