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 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
Dr James Brotherston
Appointment
  • Reader in Logic and Computation
  • Dept of Computer Science
  • Faculty of Engineering Science
Biography

James Brotherston is a Lecturer and EPSRC Career Acceleration Fellow in the Dept. of Computing at University College London, where he is a member of the Programming Principles, Logic and Verification (PPLV) research group currently headed by Prof. David Pym.  After completing his PhD in Edinburgh, Brotherston held an RA position (2006--08) followed by an EPSRC Postdoctoral Fellowship (2008--11) at Imperial College London before moving to Queen Mary in Dec'11, and subsequently to UCL in early 2012.  

Research Themes
Research Summary

James' main research interests lie in mathematical logic, especially proof theory, and its application to program verification and other resource-oriented problems in computer science.

Teaching Summary

James teaches the COMP2012 Directed Reading module, which is a core module in the second year of the MEng Mathematical Computation degree programme. 

Academic Background
2006 PhD Doctor of Philosophy – Mathematical Logic University of Edinburgh
2001 BSc Hons Bachelor of Science (Honours) – Computer Science and Mathematics University of Edinburgh
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