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:
Research Fellow, Program Manager (Academic):
Petar Maksimovic
e: p.maksimovicXXimperial.ac.uk (replace XX by @)
Program Manager (Administrative)
Teresa Carbajo Garcia
e: verificationXXimperial.ac.uk (replace XX by @)
Director:
Philippa Gardner
e: p.gardnerXXimperial.ac.uk (replace XX by @)
Associate Director:
Sergio Maffeis
e: maffeisXXdoc.ic.ac.uk (replace XX by @)