Contact us

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 @)