Role

Royal Society Wolfson Fellow

Professor of Algebra, Semantics and Computation

Office

GS3.11

Office Location

University College London

Computer Science

66-72 Gower Street

London WC1E 6EA

United Kingdom

Tel

+44 (0)20 3108 7156 (Direct Dial)

Internal

57156

Fax

+44 (0)20 7387 1397

Email

A.Silva (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

(None)