Alexandra Silva

(No photo available)
Role
Professor of Algebra, Semantics, and Computation
Departmental Tutor
Programme Director and Admissions Tutor, MSc Logic Semantics and Verification of Programes
Athena Swan Champion
Office
GS3.11
Office Location
University College London
Dept. of 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
Dept. of Computer Science
Gower Street
London WC1E 6BT
United Kingdom
Group
Programming Principles, Logic, and Verification
Personal Pages
(None)