Principal Investigators & Professors

Abhik Roychoudhury

Principal Investigator, Provost's Chair Professor@NUS

Xiaokui Xiao

Professor@NUS

Zhenkai Liang

Associate Professor@NUS

Collaborators

Cristian Cadar

Professor@Imperial

Blaise Genest

CNRS France

Baishakhi Ray

Associate Professor@Columbia

Martin Rinard

Professor@MIT

Lin Tan

Professor@Purdue

PhD Students & Postdoctoral Researchers

Haifeng Ruan

PhD Student - AutoCodeRover, Explainable AI agents

Yuntong Zhang

PhD Student - AutoCodeRover, Agent Testing, Unified Agent, AI for Security

Sungmin Kang

Postdoctoral Researcher - Explainable AI agents, Agent Testing

Haoxin Tu

Postdoctoral Researcher - Proof Agents

Martin Mirchev

PhD student, AutoCodeRover

David Trabish

Postdoctoral Researcher

Imam Nur Bani Yusuf

Postdoctoral Researcher

Huan Zhao

PhD student - AI for Verification

Graduating & Alumni

Ruijie Meng

Graduating PhD student → Asst Prof CISPA - Agent Testing

Ridwan Shariffdeen

Alumni → Principal Research Scientist@Sonar - AutoCodeRover