Lecturers
John Baras, University of Maryland: Formal Methods and Toolsuites for CPS Security, Safety and Verification
Patrick Cousot, University of New York: Abstract Interpretation
Vijay Ganesh, University of Waterloo: SAT and SMT Solvers: A Foundational Perspective
Sumit Gulwani, Microsoft: Programming by Examples
Arie Gurfinkel, University of Waterloo: Algorithmic Logic-based Verification
Joseph Halpern, Cornell University: An Epistemic Foundation for Authentication Logics
Rupak Majumdar: MPI-SWS Kaiserslautern: Formal Methods for Software Controlling the Physical World
Annabelle McIver, Macquarie University: Qualitative and quantitative information flow with applications to security
Catherine Meadows, Naval Research Labs: Maude-NPA and Formal Analysis of Cryptographic Protocols With Equational Theories
Peter Müller, ETH Zürich: Building Deductive Program Verifiers
Marc Pouzet, ENS Paris: Synchronous Programming of Cyber-physical Systems
Alexander Pretschner, TU München: Accountability