Robin Hirsch

Photo of Robin Hirsch
Role
Professor of Mathematical Foundations of Computing
Academic Co-ordinator for Master's Programmes
Office
5.07a
Office Location
University College London
Dept. of Computer Science
Gower Street
London WC1E 6BT
United Kingdom
Tel
+44 (0)20 7679 1379 (Direct Dial)
Internal
31379
Fax
+44 (0)20 7387 1397
Email
R.Hirsch (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
http://www0.cs.ucl.ac.uk/staff/R.Hirsch/