Lecturers

Jasmin Blanchette (LMU Munich): Provers and Solvers

Mike Dodds (Oath Technologies)

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)