Department of Computing,
Imperial College London
180 Queen’s Gate
London SW7 2AZ
United KingdomSome
tel: (+44) 20 7594 8368, fax: (+44) 20 75818024
email: S dot Drossopoulou at imperial dot ac dot uk
Also, Visiting Researcher at Microsoft Research, Cambridge
Green Concerns Blog
Selected Recent Talks
Holistic Specifications for Robust Programs (talk)
November 2018, Codemesch London
Pony for Safe, Fast, Concurrent Programs
November 2017, Codemesh, and May 2017 PLISS part1 and part 2
Towards Reasoning about Risk and Trust in the open world
March 2016, Google Palo Alto
and
Specifying Attenuation
OCAP/OOPSLA Vancouver 2017
Developing Inductive Proofs in Dafny
MSR, May 2013