Nicholas Chin Jian Wei, Capstone Student at Yale-NUS College, AY 2020/21.
Project: Static Analysis for Concurrent Execution of Smart Contracts
Tram Hoang Ngoc, Capstone Student at Yale-NUS College, AY 2020/21.
Project: Testing Static Analyses For Smart A Contracts Compiler
Alaukik Nath Pant, Capstone Student at Yale-NUS College, AY 2020/21.
Project: IDE Support for Linearizability Testing
Gabriel Petrov, Capstone Student at Yale-NUS College, AY 2020/21.
Project: Control-Flow Analyses on System F
Bryan Tan Yao Hong, Capstone Student at Yale-NUS College, AY 2020/21.
Project: Integrating Example-Driven and Deductive Synthesis of Programs with Pointers
Former Group Members
PhD Students and Postdocs
Maria A Schett, PhD student, UCL, November 2017-May 2019.
George Pîrlea, MEng student at UCL, AY 2018/19.
Project: Toychain: Formally Verified Blockchain Consensus.
[Thesis
| Code]
Undergraduate and Capstone Advisees
Yasunari Watanabe, Capstone
Student at Yale-NUS College, AY 2019/20.
Project: Building a Certified Program Synthesizer. [Thesis]
Recipient of Outstanding Yale-NUS Capstone Prize for 2020
Jake (Si Yuan) Goh, Capstone
Student at Yale-NUS College, AY 2018/19.
Project: Synchronisation Primitives for Smart Contracts. [Thesis]
Daniel Lok, Capstone
Student at Yale-NUS College, AY 2018/19.
Project: Modelling and Testing Composite Byzantine-Fault Tolerant
Consensus Protocols. [Thesis]
Anirudh Pillai,
UCL, Undergraduate Student, AY 2017/18
Project: Mechanised Verification of Paxos-like Consensus
Protocols. [BSc Thesis]
Interns and Visiting Students
Amy Zhu, Research Intern at Yale-NUS
College/NUS SoC, Spring-Summer 2019.
Project: Synthesis of Heap-Manipulating Programs with Immutable
Specifications
[Paper]
Bryan Tan, Research Intern at Zilliqa, Summer 2019.
Project: Compilation of Scilla Smart Contract to SMT
Kiran Gopinathan, Intern, UCL, Summer 2018.
Project: Mechanising Probabilistic Properties of a Blockchain
[Code | Paper]
Oscar King, Intern, UCL, Summer 2018.
Project: Code Extraction for Verified Blockchain Protocol