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 systematic tools/theories/methodologies for software/system correctness, reliability and efficiency. My current research focus is on automated software system analysis techniques including model checking, program analysis/verification, cyber-security, etc. 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 – presen, 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, Bachlor of Computer Science, School of Computing, NUS

Professional Activities

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 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
Chen Manman, Research Assistant
Liu Shuang, Research Assistant
Tan Tian Huat, Research Fellow
Xiao Hao, Research Assistant (part time PhD at NTU)
Jiaying Li, PhD Student
Wang Jingyi, PhD Student
Kong Pingfan, Research Assistant
Pham Hong Long, PhD Student
Yuqi Chen, PhD Student
Le Quang Loc, Research Fellow

I Had the Honor to Work With 

Lyly Tran, Research Assistant
Jianye Hao, SUTD-MIT Research Fellow, now Associated 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 Prof. 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)