Chin Wei Ngan

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)

  I am starting a new 3-year project from January 2010 and have funds for PhD scholarships and research assistantships.
  If you are interested to join this project and our group, please contact me by email with a description of your academic background.

• 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