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: (replace XX by @)

Program Manager (Administrative)
Teresa Carbajo Garcia
e: (replace XX by @)


Philippa Gardner
e: (replace XX by @)

Associate Director:
Sergio Maffeis
e: (replace XX by @)