| PEOPLE 
            > Research Staff > Steffen Smolka | 
             
             
            
             
            Steffen Smolka 
             
            Role: 
            Research Assistant 
            (No photo available) 
            Contact Details: 
            University College London 
Computer Science 
66-72 Gower Street 
London WC1E 6EA 
United Kingdom 
			 
            Office: GS3.05 
              Tel: +44 (0)20 3108 6944 (Direct Dial) 
              Internal: 56944 
              Fax: +44 (0)20 7387 1397 
              Email: S.Smolka (at) cs.ucl.ac.uk 
             
            Group: 
            Programming Principles, Logic, and Verification 
            Personal Pages: 
            (None) 
             
           |