Derek Dreyer → Teaching

Courses I Have Taught at MPI-SWS (Saarland University):

• Winter 2023-24: Semantics (core course, with TAs Niklas Mück and Benjamin Peters).
• Summer 2022: Category Theory (seminar, co-taught by Andrew Hirsch, with TAs Jan Menz and Michael Sammler).
• Winter 2021-22: Semantics (core course, with TAs Lennard Gäher and Simon Spies).
  • Recipient of the "Busy Beaver Award" for outstanding commitment to teaching.
• Winter 2019-20: Semantics (core course, co-taught by Gert Smolka, with TA Jan Menz).
• Winter 2017-18: Semantics (core course, co-taught by Gert Smolka, with TAs Hoang-Hai Dang and David Swasey).
• Winter 2015-16: Semantics (core course, co-taught by Gert Smolka, with TAs Ralf Jung and Jan-Oliver Kaiser).
• Winter 2014-15: Categorical Logic (seminar).
• Winter 2012-13: Parametricity and Modular Reasoning (advanced course, with TA David Swasey).
• Summer 2011: Concurrent Program Logics (seminar, co-taught by Viktor Vafeiadis, with TA Georg Neis).
• Winter 2010-11: Type Systems for Modules (seminar).
• Winter 2008-09: Typed Operational Reasoning (advanced course, with TA Georg Neis).

Derek Dreyer

Imprint / Data Protection