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!
People
Faculty
![Michael Adams](/static/images/people/adams.png)
![Wei Ngan Chin](/static/images/people/chinwn.png)
![Olivier Danvy](/static/images/people/olivier.png)
![Jin Song Dong](/static/images/people/jsd.jpeg)
![Martin Henz](/static/images/people/martin.png)
![Joxan Jaffar](/static/images/people/joxan.png)
![Siau Cheng Khoo](/static/images/people/khoo.png)
![Umang Mathur](/static/images/people/umathur.png)
![Manuel Rigger](/static/images/people/manuel-rigger.jpg)
![Abhik Roychoudhury](/static/images/people/abhik.jpg)
![Ilya Sergey](/static/images/people/ilya-sergey.jpg)
![Roland Yap](/static/images/people/roland.png)
Visiting and Adjunct Faculty
![Matthew Flatt](/static/images/people/matthew.png)
![Kuldeep S. Meel](/static/images/people/kuldeep.png)
Research Staff
![Tim van Bremen](/static/images/people/timvb.png)
![Andreea Costea](/static/images/people/andreea.jpg)
![Paulius Dilkas](/static/images/people/paulius-dilkas.jpg)
![Gregory J. Duck](/static/images/people/greg.jpg)
![Gunjan Kumar](/static/images/people/gunjan.png)
![Anna Latour](/static/images/people/anna.png)
![Ridwan Shariffdeen](/static/images/people/ridwan.jpg)
![Yahui Song](/static/images/people/yahui.jpg)
![Yan Xiao](/static/images/people/yan-xiao.jpg)
Graduate Students
![Zhendong Ang](/static/images/people/zhendong.jpeg)
![Jinsheng Ba](/static/images/people/jinsheng-ba.jpg)
![Teodora Baluta](/static/images/people/teodora.png)
![Zhiyu Fan](/static/images/people/zhiyu-fan.jpg)
![Darius Foo](/static/images/people/darius-foo.jpeg)
![Vladimir Gladshtein](/static/images/people/vova.png)
![Kiran Gopinathan](/static/images/people/kiran-gopinathan.jpg)
![Rajdeep Singh Hundal](/static/images/people/rajdeep.jpeg)
![Ali El Husseini](/static/images/people/elhusseiniali.png)
![Mohimenul Kabir](/static/images/people/mohimenul.png)
![Yunjeong Lee](/static/images/people/yunjeong.jpg)
![Yuxi Ling](/static/images/people/yuxi-ling.jpg)
![Ruijie Meng](/static/images/people/ruijie-meng.jpg)
![Martin Mirchev](/static/images/people/mirchev.jpg)
![Zhanzhong Pang](/static/images/people/zhanzhong.png)
![Yash Pote](/static/images/people/yash.jpg)
![George Pîrlea](/static/images/people/george-pirlea.jpg)
![Haifeng Ruan](/static/images/people/haifeng.jpg)
![Liu Ruofan](/static/images/people/liu-ruofan.jpg)
![Arijit Shaw](/static/images/people/arijit.png)
![Changsheng Sun](/static/images/people/changsheng-sun.jpg)
![Dylan Wolff](/static/images/people/dylan-wolff.jpg)
![Xianglin Yang](/static/images/people/xianglin-yang.jpg)
![Ziyi Yang](/static/images/people/ziyi.jpg)
![Suwei Yang](/static/images/people/suwei.png)
![Jiong Yang](/static/images/people/jiongyang.png)
![Liu Yu](/static/images/people/liu-yu.jpg)
![Yuntong Zhang](/static/images/people/yuntong-zhang.jpg)
![Qiyuan Zhao](/static/images/people/qiyuan.jpg)
![Liu Zhaoyu](/static/images/people/liu-zhaoyu.jpg)
![Shi Zheng](/static/images/people/shi-zheng.jpg)
![Suyang Zhong](/static/images/people/suyang-zhong.jpg)
Undergraduates
![Christopher Goh Zhen Fung](/static/images/people/chris-square.jpeg)
![Zhenxin Huang](/static/images/people/HuangZhenxin.jpg)
![Theodore Leebrant](/static/images/people/theodore.jpg)
![Eris Jacey Masagaca](/static/images/people/unknown.png)
![Ethan Noah Rozario](/static/images/people/unknown.png)
![Wong Kok Rui](/static/images/people/unknown.png)
![Pan Yudai](/static/images/people/yudai-pan.jpg)
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)
- Bishwamittra Ghosh (PhD)
- Ankit Goel(PhD)
- Priyanka Golia (PhD)
- Karolina Grzeszkiewicz (FYP)
- Tram Hoang (MSc)
- Lei Ju(PhD)
- Mayank Keoliya (FYP)
- Sandeep Kumar(PhD)
- Juwon Lee (FYP)
- Koon Wen Lee (FYP)
- Xianfeng Li(PhD)
- Sergey Mechtaev (PhD)
- Sun Meng (PostDoc)
- Yutaka Nagashima (PostDoc)
- Yannic Noller (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)
- Sewen Thy(FYP)
- Tao Wang(PhD)
- Yasunari Watanabe (MSc)
- Gao Xiang (PhD, PostDoc)
- Jooyong Yi (PostDoc)
- Mark Yuen (FYP)
- Amy Zhu (Intern)