Chin Wei Ngan

Associate Professor
Department of Computer Science
School of Computing
National University of Singapore
13 Computing Drive
Singapore 117417

Phone : (65)6516 6228
Fax : (65)6779 4580
Email : at comp.nus.edu.sg with chinwn

Education

PhD Computing, Imperial College of Science, Technology and Medicine (UK), 1990
MSc Computer Sc., University of Manchester (UK), 1983
BSc (Hons I) Computer Sc., University of Manchester (UK), 1982

Current Research Interests

Automated Program Verification
Secure and Dependable Software
Type Systems and Program Analyses
Software Specification and Models
Programming Language Design

Current Projects

Specification and Verification for Future Programmers (details here)
Above describe our current project.
A Fixpoint Calculator (click here)
SLEEK : Entailment Prover for Separation Logic
HIP : Program Verifier for an Imperative Language (click here)
HIPO : Program Verifier for an OO Language
A Constructive Approach to Dependable Software 2006-2009 (funded by A*STAR)
A Scalable Region-Based Memory for SSCLI 2006-2008 (click here) (funded by Microsoft Research)

Publications

Graduate Studies

Graduate Programmes in School of Computing at NUS
- Corporate Support Officer: Loo Line Fong
  Office: S15 5-24 Tel: 4707 Email: loolf@comp.nus.edu.sg
How to be a good graduate student? from cs.indiana.edu
Advice on Research and Writting from cs.cmu.edu

Last Updated: August, 2009

This document, index.html, has been accessed 86557 times since 24-Nov-00 18:22:00 SGT. This is the 3rd time it has been accessed today.

A total of 23981 different hosts have accessed this document in the last 4561 days; your host, ec2-184-73-74-47.compute-1.amazonaws.com, has accessed it 1 times.

If you're interested, complete statistics for this document are also available, including breakdowns by top-level domain, host name, and date.