About
PLSE@NUS is the Programming Languages and Software Engineering lab at School of Computing, National University of Singapore. We’re steadfast to the mission of creating trustworthy systems by advancing the state of the art in key research areas such as analysis and bug detection, formal verification, program synthesis, specification inference, automated program repair, software testing, concurrency and distributed systems.
News
Abhik Roychoudhury 's paper titled "SemFix: Program Repair via Semantic Analysis" published in ICSE 2013 received ICSE 2023 Most Influential Paper Award .
Qiyuan Zhao joins NUS as a PhD Student. Welcome Qiyuan!
Ali El Husseini from Ecole Normale Superieure de Paris joins as PhD Student in Abhik's team. Welcome Ali!
Zhendong Ang joins NUS as a PhD Student. Welcome Zhendong!
Martin Mirchev joins as a PhD student and Sung Yong Kim joins as part of the French Double Degree program (FDDP). Welcome Martin and Sung to Secure Software group!
Seminars
Get in touch with Manuel Rigger or Umang Mathur if you want to give a talk, and drop a line to Ilya Sergey to be included into the mailing list with the seminar announcements.
People
Faculty













Visitors

Research Staff









Graduate Students



































Undergraduates











Past Members
- Umair Z. Ahmed(PostDoc)
- Guo Ai(Intern)
- Irina Artemeva (Intern)
- Clément Ballabriga(PostDoc)
- Abhijeet Banerjee(PhD)
- Ansuman Banerjee (PostDoc)
- Marcel Böhme (PhD, PostDoc)
- Sudipta Chattopadhyay (PhD)
- Jon Chua(Intern)
- Zhen Dong(PostDoc)
- Ankit Goel(PhD)
- Tram Hoang (MSc)
- Lei Ju(PhD)
- Sandeep Kumar(PhD)
- Juwon Lee (FYP)
- Xianfeng Li(PhD)
- Sergey Mechtaev (PhD)
- Sun Meng (PostDoc)
- Yutaka Nagashima (PostDoc)
- Bruno C. d. S. Oliveira (PostDoc)
- Van Thuan Pham (PhD)
- Dawei Qi(PhD)
- Kishore R(intern)
- Konstantin Rubinov(PostDoc)
- Vivy Suhendra (PhD)
- Shin Hwei Tan (PhD)
- Bryan Tan (MSc)
- Tao Wang(PhD)
- Yasunari Watanabe (MSc)
- Gao Xiang (PhD, PostDoc)
- Jooyong Yi (PostDoc)
- Mark Yuen (FYP)
- Amy Zhu (Intern)