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 2017, Codemesh