Chin Wei Ngan

Associate Professor
Department of Computer Science
School of Computing
National University of Singapore
3 Science Drive 2
Singapore 117543

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

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: November 25, 2000

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

A total of 14430 different hosts have accessed this document in the last 3145 days; your host, 38.103.63.56, has accessed it 2 times.

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