David Pym

(Photo withheld)
Role
Professor of Information, Logic, and Security
Head of the Programming Principles, Logic and Verification Group
Office
6.19
Office Location
University College London
Dept. of Computer Science
Gower Street
London WC1E 6BT
United Kingdom
Tel
+44 (0)20 3108 1193 (Direct Dial)
Internal
51193
Fax
+44 (0)20 7387 1397
Email
D.Pym (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
Information Security
Personal Pages
http://www0.cs.ucl.ac.uk/staff/D.Pym/