Steffen Smolka

(No photo available)
Role
Research Assistant
Office
GS3.05
Office Location
University College London
Dept. of Computer Science
66-72 Gower Street
London WC1E 6EA
United Kingdom
Tel
+44 (0)20 7679 6944 (Direct Dial)
Internal
56944
Fax
+44 (0)20 7387 1397
Email
S.Smolka (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)