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

• Daniel Lok, Capstone project student at Yale-NUS, 2018-19 academic year.
• Jake (Si Yuan) Goh, Capstone project student at Yale-NUS, 2018-19 academic year.
• Anirudh Pillai, UCL, Undergraduate student, 2017/18 academic year.
  Project: Mechanised Verification of Paxos-like Consensus Protocols. [Final Year Thesis]
• Jorge Botelho Dias De Ayala Botto, UCL, MSc student, 2016/17 academic year.
  Project: Formal verification of loop optimisations in LLVM.

Interns and Visiting Researchers

• Yunjeong Lee, Research Intern at NUS, 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]