Programming Languages & Software Engineering Research Groups

Trustworthy and Secure Software (TSS)@NUS

Abhik ROYCHOUDHURY

• 
• Program Repair, Software Security

Trustworthy and Secure Software (TSS)@NUS

Abhik ROYCHOUDHURY

• 
• Program Repair, Software Security

Verified Systems Engineering

Ilya SERGEY

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

Ganesh NEELAKANTA IYER

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

Manuel RIGGER

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