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 dot ac dot uk

Green  Concerns  Blog

Holistic Specifications for Robust Programs

May 2018, IFIP WG 2.3, S. Drossopoulou, J. Noble, T. Murray, M. Miller

Towards Reasoning about Risk and Trust in the open world

March 2016, Google Palo Alto, S. Drossopoulou, J. Noble, T. Murray, M. Miller 

Pony for Safe, Fast, Concurrent Programs
November 2017Codemesh

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