James Brotherston

Professor of Logic and Computation
Programming Principles, Logic and Verification Group (PPLV)
Dept. of Computer Science, University College London

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

Address: Room 3.08,
66-72 Gower Street,
Gower Street,
London
WC1E 6BT
United Kingdom

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

Jump to: Publications Slides

Conference program committees:

Workshop 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]