Postdocs
PhD Students
Undergraduate and MSc students
- Yasunari Watanabe,
Capstone Project student at Yale-NUS, 2019-2020.
- 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
- Yunjeong Lee, Research
Intern at NUS SoC, 2019-2020.
- Bryan Tan,
Research Intern at Zilliqa, Summer 2019.
Project: Compilation of Scilla Smart Contract to SMT
- Amy Zhu,
Research Intern at Yale-NUS College/NUS SoC, Spring-Summer 2019.
Project: Synthesis of Heap-Manipulating Programs with Immutable Specifications
- 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]
Main page