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 - 2009.

Current Post-docs

          Marcel Böhme, Senior Research Fellow, joined July 2015, PhD NUS in 2014.


          Zhen Dong, Research Fellow, joining March 2017, PhD University of Heidelberg in 2017.



Current PhD Students 

 Shin Hwei Tan, Automated repair of software regressions(graduating soon)

 Sergey Mechtaev, Semantic analysis techniques for program repair.(graduating 2017-18)

 Thuan Pham Van, Efficient and effective grey-box fuzz testing.(graduated)

 Nguyen Manh Dung, Environment modeling for symbolic execution.

Gao Xiang,  To be determined.

Former Post-docs

            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 Professor.

            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 Associate Professor).


PhD Students Graduated

          Abhijeet Banerjee, Static analysis driven testing of performance and energy consumption properties, Graduated 2016, Launching his start-up company.

          Marcel BöhmeAutomated regression testing and verification of complex code changes, Graduated 2014, Moved to Saarland University, Germany as Research Fellow.


          Sudipta Chattopadhyay 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 2016.

          Dawei Qi,  [Co-supervisor Zhenkai Liang], Semantic Analyses to detect and localize software regression errors. Presidential Graduate Fellowship, Best Phd Thesis 2013, Graduated 2013, Moved to WorldQuant Singapore.

          Sandeep Kumar [Co-supervisor Siau Cheng Khoo], Mining Behavioral Specifications of Distributed Systems, Graduated Dec 2012, Moved to -> AdNovum, Singapore -> Google Mountain View.

          Lei JuModel-driven timing analysis of embedded software, [Co-supervisor Samarjit Chakraborty], Graduated 2010.
          Received Faculty Research Achievement Award, Moved to -> Associate Professor at Shandong University, China.

          Vivy Suhendra,  Memory Optimizations for Time-predictable Embedded Software, [Co-supervisor Tulika Mitra], Graduated 2010.         
          Awarded Microsoft 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), Integrated Timing Analysis of Application and Operating Systems Code, Graduating 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., Singapore.

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 Graphics (India).

Lei Xie (M.Sc.)  Performance Impact of Multithreaded Java Semantics on Multiprocessor Memory Models, Graduated July 2003, Moved to ??