James Brotherston

Senior Lecturer & EPSRC Career Acceleration Fellow
Programming Principles, Logic and Verification Group (PPLV)
Dept. of Computer Science, University College London

E-mail: J.Brotherston@ucl.ac.uk

Address: Room 5.20,
Dept. of Computer Science,
Malet Place Engineering Building,
Gower Street,
London.
WC1E 6BT
United Kingdom


Jump to: Publications Slides

Program committees:


RAs and students:


Online lectures:


Submitted papers:

[back to top]

Journal and conference papers:

[back to top]

Theses and dissertations:

[back to top]

Slides:

[back to top]