Role Research Fellow Office TBA Office Location University College London Computer Science Gower Street London WC1E 6BT United Kingdom Tel +44 (0)20 7679 TBA (Direct Dial) Internal TBA Fax +44 (0)20 7387 1397 Email E.FracaSantamaria (at) cs.ucl.ac.uk Postal Address University College London Computer Science 66-72 Gower Street London WC1E 6EA United Kingdom Group Programming Principles, Logic, and Verification Personal Pages http://www0.cs.ucl.ac.uk/staff/E.FracaSantamaria/