Experience
Education
Bio
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)