COM3-02-11
651 66228

www.comp.nus.edu.sg/~chinwn

CHIN Wei Ngan

Associate Professor

  • Ph.D. (Computing, Imperial College of Science, Technology and Medicine)
  • M.Sc. (Computer Science, University of Manchester)
  • B.Sc. (Computer Science, Honours I, University of Manchester)

RESEARCH INTERESTS

  • Programming Languages

  • Advanced Type Systems

  • Program Analysis and Optimization

  • Dependable Software

  • Verification

RESEARCH PROJECTS

Automated Verification for Imperative Higher-Order Programs

This project aims to develop an automated verification solution for imperative higher-order programs, utilizing a novel specification logic called Staged Separation Logic (SSL). The research addresses questions related to SSL's handling of closures and general recursions/iterators, its ability to verify programs rejected by Rust's type systems, and the efficiency of solving proof obligations.


RESEARCH GROUPS

TEACHING INNOVATIONS

SELECTED PUBLICATIONS

AWARDS & HONOURS

MODULES TAUGHT

CS1231S
Discrete Structures
CS2030
Programming Methodology II