Department of Computing,
Imperial College London
180 Queen’s Gate
London SW7 2AZ
United Kingdom

tel: (+44) 20 7594 8368,   fax: (+44) 20 75818024
email: S dot Drossopoulou at imperial dt ac dot uk

Also unofficial member of the Verona Project.  

Green  Concerns  Blog     Τὸ τῷ σμήνει μὴ συμφέρον οὐδὲ τῇ μελίσσῃ συμφέρει.
                                                    (The detrimental to the swarm, is also detrimental to the bee.)
                                                    Marcus Aurelius, Meditations

Selected Recent Talks

Pony: Actors, Causality, Types and Garbage Collection
QCon, London, March 2020

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 Seattle, May 2013