Education
- Ph.D. Computer Laboratory, University of Cambridge
- M.Sc. (by research), School of Computing, National University of Singapore
- B.Comp. (Hons), School of Computing, National University of Singapore
Research Interest
Building reliable and efficient software through programming language design, static analysis, type theory, program verification, optimization, and automatic parallelization.
Professional Activities
Program committee member:- PEPM'2013 (Rome, Italy, affiliated with POPL2013) => Roman holiday
- PLPV'2012 (Philadelphia, USA, 24 Jan, affiliated with POPL2012)
- IFIP DSL'2011 (Bordeaux, France, 6-8 September) => nice food + wine
Motto
The foolish man seeks happiness in the distance, the wise grows it under his feet. -- James Oppenheim.
