Prof James Brotherston Professor of Logic and Computation Dept of Computer Science Faculty of Engineering Sciences James Brotherston's full research profile on UCL Profiles