UCL  IRIS
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 http://www.ucl.ac.uk/finance/research/post_award/post_award_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
Appointment
  • Professor of Computer Science
  • Dept of Computer Science
  • Faculty of Engineering Science
Biography

 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 PhD Doctor of Philosophy – Computer Science The Oregon Graduate Institute of Science & Technology
Please report any queries concerning the data shown on this page to https://www.ucl.ac.uk/hr/helpdesk/helpdesk_web_form.php
University College London - Gower Street - London - WC1E 6BT Tel:+44 (0)20 7679 2000

© UCL 1999–2011

Search by