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
Zhen Dong, Research Fellow, joined March 2017, PhD University of Heidelberg in
Andrew Edward Santosa, Senior Research Fellow, PhD NUS.
Semantic program repair (thesis submitted for examination).
Gao Xiang, Symbolic
analysis of Android apps.
Yu Xiao Liang, Joined 2018, Topic being
Ridwan Shariffdeen, Joined 2018, Topic being
Edwin Lesmana Tjiong, Joined 2018,
Combination of fuzz testing and automated patching.
- Jooyong Yi,
Senior Research Fellow, PhD Aarhus U. (Denmark) -> Moved to Innopolis
University (Russia) as Assistant Professor.
- 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
PhD Students Graduated
Shin Hwei Tan,
Design of repair operators for automated program repair, graduated
2018, and joining
SUSTech as Assistant
Thuan Pham Van,
Enhancing directed search in black-box, grey-box and white-box fuzz
testing, Graduated 2017, Leading
Static analysis driven testing of performance and energy consumption
properties, Graduated 2016, Launched
his start-up company.
Monash University as faculty member (Lecturer) since 2018.
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), Moved to -> Scientist at
Institute for Infocomm Research (I2R), Singapore.
- 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
Masters Students Graduated
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 ??