We can be reached at (Click here for detailed directions):
Research Institute in Automated Program Analysis and Verification
Department of Computing, Imperial College London
South Kensington Campus, London SW7 2AZ
United Kingdom
Key contacts:
Program Manager
Teresa Carbajo Garcia
e: t.carbajo-garciaXXimperial.ac.uk (replace XX by @)