MPI-SWS Courses
- Data Networks, Saarland University, Summer 2007
- Foundations of Distributed Computing, Saarland University, Summer 2007
- Advanced Topics in Distributed Computing, Saarland University, Winter 2007/08
- Software Model Checking, Saarland University, Winter 2007/08
- Operating Systems, Saarland University, Summer 2008
- Typed Operational Reasoning, Saarland University, Winter 2008/09
- Operating Systems, Saarland University, Summer 2009
- Distributed Systems, Saarland University, Summer 2010
- Type Systems for Modules, Saarland University, Winter 2010/11
- Recent Advances in Computer Systems, Saarland University, Winter 2010/11