Office: BLK1, Level 3, Room 11 (1.302-11)
Address: 8 Somapah Road, 487372
Calendar: If you wish to have a talk, check out My Calendar.

Research Interests

I am interested in developing tools for software/system correctness, security, reliability and efficiency. I am interested in publishing at the following top-tier conferences and journals: CAV, ICSE, FSE, FM, TACAS, IEEE Transactions on Software Engineering, ACM Transactions on Software Engineering and Methodology, etc. A part of my research is on a model checking framework called PAT. To this date (24.10.16), PAT has attracted more than 4000 registered users from more than 1000 organizations. It has been used to teach formal methods and model checking in multiple universities.

Some of my recent research projects can be found HERE.

I am currently looking for PhD students (scholarship information here). Email me if you are interested.

Working/Education Experience

2016 – present, Associate Professor, SUTD
2010 – 2016, Assistant Professor, SUTD
2011 – 2012, Visiting Scholar, MIT
2007 – 2010, Lee Kuan Yew Postdoctoral Fellow, School of Computing, NUS
2006 – 2007, Postdoctoral Fellow, School of Computing, NUS
2002 – 2006, Research Assistant and Part-Time PhD, School of Computing, NUS
1998 – 2002, Bachelor of Computer Science, School of Computing, NUS

Invited/Keynote Talks

4th International Workshop on Synthesis of Complex Parameters + 3rd International Workshop on Parameterized Verification (SynCoP + PV 2017)
IEEE High Assurance Systems Engineering Symposium (HASE 2017)
19th Conference on the Engineering of Complex Computer Systems (ICECCS 2015)

Professional Activities

General co-Chair of 22th Conference on the Engineering of Complex Computer Systems (ICECCS 2016)
Program co-Chair of 9th International Symposium on on Theoretical Aspects of Software Engineering (TASE 2015)
Program co-Chair of 20th International Symposium on Formal Methods (FM 2014)
General co-Chair of 20th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2014)
General co-Chair of 18th IEEE International Conference on the Engineering of Complex Computer Systems (ICECCS 2013)
Program co-Chair of 4th IEEE International Conference on Secure Software Integration and Reliability Improvement (SSIRI 2010)
Technical Program Committee of ICSE 2018 (workshop track), FMICS/AVoCS 2017, HASE 2017, ATVA 2017, SPIN 2017, ICSE 2016, FM 2016, FM 2015, ICFEM 2015, ICSE-NIER 2015, AVOCS 2014, ICECCS 2014, ICFEM 2014, UTP 2014, TIME 2014, SEFM 2014, SSV 2014, TIME 2013, ICFEM 2013, FORMATS 2013, FSE 2013 (tool demo track), SSV 2012, TASE 2012, UTP 2012, APSEC 2012, ICFEM 2012, ICFEM 2011, MODELS 2011, SSIRI 2011, IJCAI 2011, MODELS 2010, ICFEM 2010, ATVA 2010, UTP 2010, TASE 2009, ICIS 2009

I Am Working With 

Chris Poskitt, Research Fellow
Jegourel Cyrille, Research Fellow
Lin Yun, Research Fellow
Lyly Tran, Research Assistant
Gao Bo, PhD Student
Jiaying Li, PhD Student
Wang Jingyi, PhD Student
Pham Hong Long, PhD Student
Khoo Teck Ping, IPP PhD Student
Yuqi Chen, PhD Student
Yifan Jia, IPP PhD Student
Xiao Hao, Research Fellow

I Had the Honor to Work With 

Chen Manman, Research Fellow
Le Quang Loc, Research Fellow, now senior lecturer at Teeside University, UK
Tan Tian Huat, Research Fellow
Kong Pingfan, Research Assistant
Liu Shuang, Research Fellow, now lecturer at Singapore Institute of Technology
Jianye Hao, SUTD-MIT Research Fellow, now Associate Professor at Tianjin University
Nguyen Phuoc Nguong, Research Assistant, now software engineer at Singtel
Shang-Wei Lin (Research Fellow), now assistant professor at Nanyang Technological University
Nguyen Truong Khanh (Research Fellow), now software engineer at Autodesk
Zhang Shaojie (Research Fellow)
Cristian Gherghina (Research Fellow), now working at Google Zurich, Swiss
Anthony Widjaja Lin (Research Fellow), now Associate Professor at Oxford
Liu Yang (Research Fellow), now Assistant Prof. at Nanyang Technological University, SG
Wu Yongzheng (Research Fellow), now at Huawei Singapore.
Liu Guanjun (Research Fellow), now Associate Prof. at Tongji University, China
David Sanan (Research Fellow), now Research Fellow at NTU, Singapore
Manchun Zheng (Research Fellow)