Programming Languages & Software Engineering Research Groups

 

Cooperative Systems & Intelligence (CoSI) Lab

TAN Zhi Xuan

We are dedicated to scaling cooperative intelligence via rational, model-based AI engineering. By reverse engineering the computational foundations of human cooperation, and using those insights to build reliable, coherent, and human-like cooperative systems, we aim to enable collective safety and flourishing in an increasingly automated future.

  • Probabilistic Programming

Trustworthy and Secure Software (TSS)@NUS

Abhik ROYCHOUDHURY

  • Program Repair, Software Security