Role

Reader in Logic and Computation

1st Year Undergraduate Co-ordinator

Office

EFB3.05

Office Location

University College London

Computer Science

Gower Street

London WC1E 6BT

United Kingdom

Tel

+44 (0)20 7679 7366 (Direct Dial)

Internal

37366

Fax

+44 (0)20 7387 1397

Email

J.Brotherston (at) cs.ucl.ac.uk

Postal Address

University College London

Computer Science

66-72 Gower Street

London WC1E 6EA

United Kingdom

Group

Programming Principles, Logic, and Verification

Personal Pages

http://www0.cs.ucl.ac.uk/staff/J.Brotherston/