->Download full CV<-
Experience
-
Formal Verification Engineer (Sep 2022 - present)
Runtime Verification Inc.
Main developer of ERCx, a tool suite that checks for conformance to ERC (Ethereum Request for Comments) standards and important security properties of a smart contract in the Ethereum ecosystem through the use of the Foundry testing framework -
Data Science Intern (Jul 2019 - Sep 2019)
Entend.ai
Translate mathematical models for machine reasoning into software and to build applications based on the software -
Lecturer (Jul 2014 - Aug 2018)
Temasek Polytechnic
Subject leader and lecturer for the following courses:- Mathematics for Applied Science
- Statistics for Applied Science
- Biostatistics
- Scripting for Bioinformatics
Education
-
Ph.D. Engineering Systems and Design (2018 - 2022)
Singapore University of Technology and Design (SUTD)
Advisor: Georgios Piliouras, Shaowei Lin and Barnabé Monnot
Thesis: Incentivized Mechanism Design for Collaborative Proofs and Programs through Theorem Provers and Blockchain -
B.Sc. Mathematics (2010 - 2014)
National University of Singapore (NUS)
Class: Second Class Honours (Upper/Distinction)
Advisor: Yang Yue
Honours’ Year Project: “Decidability of the First Order Theory of Boolean Algebra” by Tarski, A.
Honours and Awards
- Global Young Scientist Summit 2020
- Singapore University of Design and Technology (SUTD) Ph.D. Fellowship (2018 - 2022)
Courses Attended
-
Secureum Bootcamp Epoch 0 (Dec 2021)
Rajeev Gopalakrishna
Secureum -
Ethereum Blockchain Developer Bootcamp With Solidity (2021) (Nov 2021)
Ravinder Deol, Thomas Wiesner and Martin Sterlicchi
Udemy -
Structural Equation Modelling Workshop Using Stata (Dec 2017)
Chan Yiong Huak
National University Health System (NUHS) -
R Bioconductor Training for Bioinformatics (Dec 2016)
Alfred Ang
Tertiary Infotech Pte Ltd -
Biostatistics for Research (Advanced) Workshop (Dec 2016)
Chan Yiong Huak
Singapore General Hospital Postgraduate Allied Health Institute (SGH PGAHI) -
Biostatistics for Research (Basic/Intermediate) Workshop (Oct 2016)
Chan Yiong Huak
Singapore General Hospital Postgraduate Allied Health Institute (SGH PGAHI) -
Data Analytics in Healthcare Course (Nov 2014)
K C Lun
Gateway Consulting Singapore
Pedagogy Courses
-
Teaching Certificate Course for Graduate Teaching Assistants (Oct 2018)
Nachamma Sockalingam
Singapore University of Technology and Design (SUTD) -
Teaching in Higher Education Certificate (THEC) (Sep 2015)
Temasek Polytechnic
Publications and Projects
Please refer to the “RESEARCH” tab.