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