Chin Wei Ngan

Coming Conferences/Workshops

• OOPSLA/SPLASH 2016 (30Oct - 4Nov 2016 Amsterdam).

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

• Automated Specification Discovery for Trusted Software (MoE Tier-2 funded)
• Security - Software Library Verification (NRF-funded)

Other 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
• Specification and Verification for Future Programmers 2009-2013 (MoE Tier-2) (details here)
• 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