AI Agents for Program Reasoning

Co-Lead Principal Investigators

Abhik Roychoudhury

National University of Singapore

AI Agents for Software

Program Repair

Founder of AutoCodeRover Acquired by SonarSource

Cristian Cadar

Imperial College London

Program Reasoning

Symbolic Program Analysis

Author of KLEE & Other Widely Used Analysis Tools

Team Principal Investigators

David Lo

Singapore Management University

AI for SE

Developer Productivity

Wei Gao

Singapore Management University

AI and NLP

LLM Fact Verification

Michael Shieh

National University of Singapore

LLMs for Code

Collaborators

Martin Rinard

Massachusetts Institute of Technology

Software Robustness

ML for Programming

Peter Müller

ETH Zurich

Program Verification

Author of Viper Theorem Prover

Anil Bharath

Imperial College London

AI for SE

Software Quality and Developer Productivity