James Brotherston

Photo of James Brotherston
Role
Reader in Logic and Computation
1st Year Undergraduate Co-ordinator
Office
5.20
Office Location
University College London
Dept. of Computer Science
Gower Street
London WC1E 6BT
United Kingdom
Tel
+44 (0)20 7679 3652 (Direct Dial)
Internal
33652
Fax
+44 (0)20 7387 1397
Email
J.Brotherston (at) cs.ucl.ac.uk
Postal Address
University College London
Dept. of Computer Science
Gower Street
London WC1E 6BT
United Kingdom
Group
Programming Principles, Logic, and Verification
Personal Pages
http://www0.cs.ucl.ac.uk/staff/J.Brotherston/