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