Professor
Current PhD Students
Liu Yu
Joined August 2020 (PhD student)- Static Analysis guided Program Repair.
- Co-advised with Sergey Mechtaev.
Yuntong Zhang
Joined August 2021 (PhD student and RA)- Specification Extraction in Automatic Programming.
Martin Mirchev
Joined August 2022 (PhD student)- High Assurance Automatic Programming by combining Verification.
Ali El-Husseini
Joined January 2023 (PhD student, CNRS CREATE)- Secure Code Generation from Foundation Models.
- Co-advised with Blaise Genest, CNRS.
Zhao Huan
Joined August 2023 (PhD student and RA)- Mixing Concurrency Fuzzing with traditional Concurrency Testing.
- Co-advised with Umang Mathur.
Current Postdocs and Research Staff
PhD Alumni
Zhiyu Fan
Graduated Dec 2024, co-advisor Shin Hwei Tan- Program Repair for Intelligent Tutoring and Programming Education.
- Researcher, Huawei Canada Software Excellence Center.
Ridwan Shariffdeen
Graduated Sep 2022- Software Vulnerability Repair.
- CEO of spinoff AutoCodeRover, leading to spinoff acquisition (2025).
Xiang Gao
Graduated 2021- Over-fitting in Program Repair and Synthesis.
- Associate Professor, Beihang University.
Shin Hwei Tan
Graduated 2018- Design of repair operators for automated program repair.
- ACM-W Rising Star Award 2025, given to one woman faculty in Computing annually.
- Associate Professor (Gina Cody Research Chair), Concordia University, Canada.
Sergey Mechtaev
Graduated 2018- Semantic Program Repair.
- ACM SIGSOFT Outstanding Dissertation Award 2018, Best PhD thesis 2018.
- University College London (UCL) as Lecturer (Asst Prof) -> Peking University.
Van Thuan Pham
Graduated 2018- Enhancing directed search in black-box, grey-box and white-box fuzz testing.
- Senior Lecturer (Assoc Prof) at University of Melbourne.
Marcel Böhme
Graduated 2014- Automated regression testing and verification of complex code changes.
- Faculty Member, Max-Planck Institute for Security and Privacy.
Sudipta Chattopadhyay
Graduated 2013- Time-predictable Execution of Embedded Software on Multi-core Platforms.
- Presidential Graduate Fellowship.
- Associate Professor at Singapore University of Technology and Design (SUTD).
Dawei Qi
Graduated 2013, co-advisor Zhenkai Liang- Semantic Analyses to detect and localize software regression errors.
- Presidential Graduate Fellowship, Best Phd Thesis 2013.
- CTO, Shenzhen Secidea Network Security Technology Co. Ltd.
Sandeep Kumar
Graduated Dec 2012, co-advisor Siau Cheng Khoo- Mining Behavioral Specifications of Distributed Systems.
- Moved to AdNovum, Singapore -> Google Mountain View.
Lei Ju
Graduated 2010, co-advisor Samarjit Chakraborty- Model-driven timing analysis of embedded software.
- Faculty Research Achievement Award.
- Associate Professor at Shandong University, China.
Vivy Suhendra
Graduated 2010, co-advisor Tulika Mitra- Memory Optimizations for Time-predictable Embedded Software.
- Microsoft Research fellowship (2006-07).
- Assoc. Prof of Practice at National University of Singapore.
Ankit Goel
Graduated 2010- Parameterized Validation of UML-like models for Reactive Embedded Systems.
- Dean's Graduate Award 2008.
Tao Wang
Graduated 2008- Post-mortem Dynamic Analysis for Software Debugging.
- Best PhD Thesis 2008, Microsoft Research fellowship (2004-05), Presidential Graduate Fellowship.
- Executive Director at Morgan Stanley.
Xianfeng Li
Graduated 2006, co-advisor Tulika Mitra- Micro-architectural Modeling for Timing Analysis of Embedded Software.
- Dean's Graduate Award.
- Moved to Peking University -> currently Assoc Prof. at Macau University of Science and Tech.
Post-doc Alumni
Abhishek Kr. Singh
Senior Research Fellow at NUS (2023-25)- PhD TIFR, Mumbai, India.
- Assistant Professor, IIIT Hyderabad.
Andreea Costea
Senior Research Fellow at NUS (2022-24)- PhD NUS.
- Assistant Professor, TU Delft, Netherlands.
Yannic Noller
Research Assistant Professor at NUS (2020-23)- PhD Humboldt-Universität zu Berlin.
- Professor at Ruhr University Bochum, Germany.
Zhen Dong
Research Fellow -> Senior Research Fellow at NUS (2017-21)- PhD University of Heidelberg in 2017.
- Fudan University as Associate Professor from 2021.
Jooyong Yi
Senior Research Fellow at NUS (2013-17)- PhD Aarhus U. (Denmark).
- Moved to Ulsan National Institute of Science and Technology (UNIST) Korea as Assistant Professor.
Marcel Böhme
Research Fellow -> Senior Research Fellow at NUS (2015-18)- PhD NUS.
- Senior Lecturer, Monash -> Faculty Member, Max-Planck Institute for Security and Privacy.
Konstantin Rubinov
Research Fellow at NUS (2013-15)- PhD University of Lugano (Switzerland).
- Moved to Politecnico di Milano.
Clément Ballabriga
Research Fellow at NUS (2012-14)- 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, currently Associate Professor.
Ansuman Banerjee
Research Fellow at NUS (2010)- PhD IIT Kharagpur (India).
- Moved to Indian Statistical Institute, currently Associate Professor.
Sun Meng
Research Fellow at NUS (2005-06)- PhD Peking University (China).
- Moved to Peking University (School of Mathematical Sciences), currently Professor.