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 AREAS
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
COURSES TAUGHT
CS1231S
Discrete Structures
CS2030
Programming Methodology II