James Brotherston

Senior Lecturer
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

Erdös number: 4 (MathSciNet)
h-index: 17 (Google Scholar)

Jump to: Publications Slides

Program committees:


RAs and students:


Funding:


Online lectures:


Journal and conference papers:

[back to top]

Theses and dissertations:

[back to top]

Slides:

[back to top]