Lecturers

Gilles Barthe (MPI Security and Privacy)

Mike Dodds (Galois, Inc.)

Jean-Christophe Filliatre (CNRS / Université Paris-Saclay)

Orna Grumberg (Technion)

John Mitchell (Stanford University)

Leonardo de Moura (Amazon Web Services)

Peter Müller, ETH Zurich

Alexander Pretschner, TU München and fortiss

Jonathan Protzenko (Google)

Sukyoung Ryu (KAIST)