Contact us

Research Institute in Verified Trustworthy Software Systems
Department of Computing, Imperial College London
South Kensington Campus, London  SW7 2AZ
United Kingdom

(Click here for detailed directions)

Director:

Prof. Philippa Gardner
e-mail: p.gardnerXXimperial.ac.uk (replace XX by @)

Administrative Program Manager:

Teresa Carbajo Garcia
tel: + 44 (0)20 759 43140
e-mail: verificationXXimperial.ac.uk (replace XX by @)

Academic Program Manager:

Dr Petar Maksimović
e-mail: p.maksimovicXXimperial.ac.uk (replace XX by @)