Advances in Programming Languages, Guest Lecture, University of Edinburgh, November 2016
Programming Languages and Software Engineering Group, University of Washington, May 2016
2016 CHI Conference on Human Factors in Computing Systems, May 2016
3rd Oxbridge Women in Computer Science Conference, 10 March 2016
Program Specification and Verification Group, Imperial College London, 24 February 2016
Vienna Center for Logic and Algorithms, TU Wien, 8 February 2016
RiSE Seminar, IST Austria, 12 November 2015
Software Reliability Lab, ETH Zurich, 9 October 2015