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
Email: portico-services@ucl.ac.uk
Help Desk: http://www.ucl.ac.uk/ras/portico/helpdesk
› More search options
Prof James Brotherston
MPEB 5.20
London
E8 1NY
Appointment
- Professor of Logic and Computation
- Dept of Computer Science
- Faculty of Engineering Science
Biography
James Brotherston is a Reader in Logic and Computation in the Dept. of Computer Science at UCL, where he is a member of the Programming Principles, Logic and Verification (PPLV) research group. 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
See More
See LessResearch Summary
James' main research interests lie in mathematical logic and its application to program verification and other resource-oriented problems in computer science.
Teaching Summary
James currently teaches on the modules COMP0003 Theory of Computation (first year undergraduate) and COMP0007 Directed Reading (second year undergraduate).
Academic Background
| 2006 | Doctor of Philosophy | University of Edinburgh | |
| 2001 | Bachelor of Science (Honours) | University of Edinburgh |
