Institutional Research Information Service
UCL Logo
Please report any queries concerning the funding data grouped in the sections named "Externally Awarded" or "Internally Disbursed" (shown on the profile page) to your Research Finance Administrator. Your can find your Research Finance Administrator at https://www.ucl.ac.uk/finance/research/rs-contacts.php by entering your department
Please report any queries concerning the student data shown on the profile page to:

Email: portico-services@ucl.ac.uk

Help Desk: http://www.ucl.ac.uk/ras/portico/helpdesk
 More search options
Prof Byron Cook
Prof Byron Cook profile picture
  • Professor of Computer Science
  • Dept of Computer Science
  • Faculty of Engineering Science

 Byron Cook is a Professor of Computer Science at University College London (UCL) in the Programming Principles, Logic and Verification research group.   Byron is also a Principal Researcher at Microsoft's laboratory at Cambridge University where he manages the Programming Principles and Tools (PPT) group together with Andy Gordon. 

Research Groups
Research Summary

Byron's research interests include program analysis/verification, programming languages, theorem proving, logic, hardware design, operating systems, and biological systems.  Byron's recent work has been focused on the development of automatic tools for proving program termination/liveness, memory safety, as well as properties about models of biological systems.

Academic Background
2005   Doctor of Philosophy The Oregon Graduate Institute of Science & Technology
Some IRIS profile information is sourced from HR data as explained in our FAQ. Please report any queries concerning HR data shown on this page to hr-services@ucl.ac.uk.
University College London - Gower Street - London - WC1E 6BT Tel:+44 (0)20 7679 2000

© UCL 1999–2011

Search by