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

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)

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 79612 times since 24-Nov-00 18:22:00 SGT. This is the 21st time it has been accessed today.

A total of 21431 different hosts have accessed this document in the last 4200 days; your host, 38.107.179.219, 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.