XClose

UCL Computer Science

Home
Menu

Steffen Smolka

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 3108 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
66-72 Gower Street
London WC1E 6EA
United Kingdom
Group
Programming Principles, Logic, and Verification
Personal Pages
(None)