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

e-mail: t.carbajo-garciaXXimperial.ac.uk (replace XX by @)

Academic Program Manager:

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