Programming Languages & Software Engineering Research Groups
Cooperative Systems & Intelligence (CoSI) Lab
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
Verified Systems Engineering
We do research in the design and implementation of programming languages (PL), mathematical models of computation, and computer-assisted formal reasoning. We investigate the theoretical foundations of programming and build tools for ensuring that certain kinds of costly software errors and vulnerabilities never occur in the real-world code, which many people rely upon in their everyday lives.
- Compilers, Concurrency, Formal Methods, Functional Programming, Program Analysis, Program Logics & Semantics, Program Repair, Program Synthesis, Types, Verification
STeAdS Virtual Group
Software Engineering and Technological Advancements for Society. A virtual group that uses Software engineering practices and Technological advancements (Cloud computing, Artificial Intelligence (EdgeAI, ML)) for the benefit of various aspects of society (healthcare, education, art & culture). Looking for students to collaborate on different projects. Look at ganeshniyer.github.io for details.
- Programming & Software Engineering Education, Types
NUS Test Lab
The Trustworthy Engineering of Software Technologies (TEST) Lab is working on practical and conceptual software solutions. We aim to have a real-world impact both by creating practical tools as well as by designing principled, fundamental techniques.
- Compilers, Program Analysis, Programming & Software Engineering Education