Lecturers

Manfred Broy, TU Munich

Cristian Cadar, Imperial College London

Marsha Chechik, University of Toronto

Sumit Gulwani, Microsoft, Redmond

Laura Kovacs, TU Wien

Rustan Leino, AWS

Anders Møller, Aarhus University

Peter Müller, ETH Zurich

Frank Piessens, KU Leuven

Alexander Pretschner, TU München and fortiss

Zach Tatlock, University of Washington

Cesare Tinelli, University of Iowa