Graduate Students and Post-doctoral
Fellows (Past and Present)
Research group photograph (CNY 2016)
Latest Group Photograph (Deepavali 2016)
An old picture - with research group members - 2012. An older picture - with research group members
<2 vacant post-doc positions, one of them filled up,
another vacancy exists, contact
Zhen Dong, Research Fellow, joined March 2017, PhD University of Heidelberg in
- Gao Xiang, joined
2016, Over-fitting in Automated Program Repair.
Guanhua Wang, Joint
supervision with Tulika Mitra.
Yu Xiao Liang, Joined January 2018.
Ridwan Shariffdeen, Joined January 2018.
Gao Mingyuan, Joined January 2019.
Dipika Singhania, Joined January 2019.
PhD Students Graduated
Semantic Program Repair,
Graduated 2018, joining University College London (UCL) as
Shin Hwei Tan,
Design of repair operators for automated program repair,
2018, and joined
SUSTech as Assistant
- Thuan Pham Van,
Enhancing directed search in black-box, grey-box and white-box fuzz
testing, Graduated 2017.
- Abhijeet Banerjee,
Static analysis driven testing of performance and energy consumption
properties, Graduated 2016.
University (Australia) as Lecturer.
Time-predictable Execution of Embedded Software on Multi-core Platforms
,Presidential Graduate Fellowship, Graduated 2013 -> Assistant Professor
at Singapore University of Technology and Design (SUTD) since 2017.
- Dawei Qi, [Co-supervisor Zhenkai
Semantic Analyses to detect
and localize software regression errors. Presidential
Graduate Fellowship, Best Phd Thesis 2013, Graduated 2013, Moved to WorldQuant
- Sandeep Kumar
[Co-supervisor Siau Cheng Khoo],
Specifications of Distributed Systems, Graduated Dec 2012, Moved to -> AdNovum, Singapore
-> Google Mountain View.
Lei Ju, Model-driven timing analysis of embedded software,
[Co-supervisor Samarjit Chakraborty], Graduated 2010.
Received Faculty Research
Achievement Award, Moved to -> Associate Professor at Shandong
Memory Optimizations for Time-predictable Embedded Software,
[Co-supervisor Tulika Mitra], Graduated 2010.
Research fellowship (2006-07), Exec Director Singapore Cybersecurity
- Ankit Goel, Parameterized
Validation of UML-like models for Reactive Embedded Systems, Graduated 2010.
Awarded Dean's Graduate Award 2008,
Moved to -> Post-doctoral Research Fellow at INRIA.
- Tao Wang, Post-mortem Dynamic Analysis for Software Debugging, Graduated 2008.
Adjudged the Best PhD Thesis 2008
Awarded Microsoft Research fellowship (2004-05),
Presidential Graduate Fellowship, Currently Vice President at Morgan Stanley.
- Xianfeng Li, Micro-architectural
Modeling for Timing Analysis of Embedded Software, [Co-supervisor Tulika Mitra], Graduated
2006, Awarded Dean's Graduate Award,
Moved to ->
Peking University, currently Associate Professor
- Jooyong Yi,
Senior Research Fellow, PhD Aarhus U. (Denmark) -> Moved to Ulsan
National Institute of Science and Technology (UNIST)
Korea as Asst. Prof.
Andrew Edward Santosa, Senior Research Fellow, PhD NUS
->joined private sector.
- Konstantin Rubinov, Research Fellow,
(2013-2015), PhD University of Lugano
(Switzerland) -> moved to Politecnico di Milano.
- Clément Ballabriga, Research Fellow
at NUS (2012 - 2014), PhD University of Toulouse
(France) -> Moved to University of Lille (France), currently Associate Professor.
Bruno C. d. S. Oliveira, Senior Research
Fellow at NUS (2012-13), PhD Oxford (U.K.) -> Moved to Hong Kong University, as Assistant
Ansuman Banerjee, Research Fellow at NUS (2010), PhD IIT Kharagpur
(India) -> Moved to Indian Statistical Institute, as Assistant Professor.
Sun Meng, Research Fellow at NUS (2005-06), PhD Peking
University (China) -> Moved to Peking University, China (currently
Masters Students Graduated
Edwin Lesmana Tjiong, Graduated 2018.
Lee Kee Chong (M.Comp by dissertation),
Analysis of Application and Operating Systems Code, Graduated 2015.
Bach Khoa Huynh (M.Sc.), Timing analysis of
Data intensive programs, Graduated 2010.
Shanshan Liu (M.Sc.), Model Checking Parameterized
Process Classes, Graduated 2009, Moved to DBS Singapore as Analyst.
Liang Guo (M.Sc.)
Debugging Statechart models via Model-code Traceability, Graduated 2008, Moved
to CreditSuisse, Singapore.
Tuan-Anh Tran (M.Sc.) Automated Generation of Protocol Converters
from Scenario-based Specifications, Co-supervisor [Main supervisor P.S. Thiagarajan],
Graduated 2005, Moved
to a start-up comany.
Qinghua Shen (M.Sc.)
Multithreaded Java from Multiprocessor Perspective, Graduated 2004,
Main supervisor [Co-supervisor Tulika Mitra], Moved to Creative Technologies Ltd.,
Hemendra Singh Negi (M.Sc.) Two Concrete Problems in Worst-case
Execution Time Analysis, Graduated 2004, Co-supervisor [Main supervisor Tulika Mitra],
Moved to Mentor
Lei Xie (M.Sc.) Performance Impact of Multithreaded Java Semantics on Multiprocessor Memory Models,
Graduated July 2003, Moved to ??