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