Welcome to PLI Lab, an affilation to NUS PLSE group. We’re reimagining how humans communicate intent to machines.
In the ideal future we envision, programming will be as natural and expressive as communicating with another human. Programmers will be able to articulate their intent to computers at the same high level and speed they communicate with each other. Software will become clear and concise, with code that obviously has no bugs—rather than code that has no obvious bugs.
Our work centers on next-generation languages and tools that:
- Empower developers to write elegant, concise, and clear code.
- Preserve performance while enhancing expressiveness.
- Improve code comprehension, developer productivity, and program design.
- Enhance security, education, and accessibility through better abstractions.
We believe that better programming languages and tooling are the keystone to:
- Detecting and preventing vulnerabilities
- Lowering the barrier to entry in programming
- Advancing the state of software engineering
The future we’re working toward may be distant. We might not see it fully realized in our lifetimes—but it’s a future we are deeply passionate about shaping.
Join us as we build the foundation for the next era of software development.
If you are joining our lab, then send Prof. Adams your GitHub username, and he will add you to our lab's GitHub organization so you can access our lab's private repositories. Once he adds you, started on your onboarding by following the instructions at https://github.com/plilab/plilab/blob/master/onboarding.md (in one of the private repositories).
| Michael D. Adams (Assistant Professor and Head of Lab) |
| Webpage: https://michaeldadams.org |
| Office: COM3‐02‐47 |
 |
 |
- |  |
|---|---|---|---|
| Foo Yong Qi (Instructor, Ph.D. student and Lab Member) | Brian Cheong Sze-Kai (Graduate Tutor, Ph.D. student and Lab Member) | Weili Fu (Post-Doc) | Zhiyao Zhong (Ph.D. student and Lab Member) |
| Webpage: https://yongqi.foo/ | - | - | - |
| Office: COM2-02-27 | Office: COM2-B1-03 | Office: COM3-02-20 | Office: COM3-02-20 |