Operating Systems course at Saarland University
The Summer 2024 core Operating Systems course at Saarland University is being co-taught by MPI-SWS faculty members Antoine Kaufmann and Laurent Bindschaedler along with Yiting Xia from MPI-INF.
News: Courses
Systems for LLMs Course at Saarland University
MPI-SWS faculty members Krishna Gummadi and Laurent Bindschaedler, along with MPI-SWS doctoral students Till Speicher and Vedant Nanda, are teaching a course on Systems for Large (Language) Models at Saarland University in the Winter 2023/2024 semester.
Machine Teaching seminar at Saarland University
MPI-SWS faculty member Adish Singla is teaching a seminar on Machine Teaching at Saarland University in the Winter 2019/2020 semester.
Operating Systems course at Saarland University
The Winter 2019/2020 core Operating Systems course at Saarland University is being co-taught by MPI-SWS faculty members Björn Brandenburg, Antoine Kaufmann, and Keon Jang, along with MPI-SWS doctoral student Aastha Mehta.
Advanced Automata Theory Course at TU Kaiserslautern
Damien Zufferey and Daniel Neider are co-teaching Advanced Automata Theory at the University of Kaiserslautern in the Summer 2019 semester.
Program Analysis course at TU Kaiserslautern and Saarland University
Maria Christakis and Eva Darulova are teaching Program Analysis at TU Kaiserslautern and Saarland University. This class is co-taught with Jan Reinecke from Saarland University and covers both static and dynamic analysis.
Static Program Analysis Course at Saarland University
Eva Darulova is teaching Static Program Analysis in summer 2017 at Saarland University.
Principles of Cyber-Physical Systems Course at TU Kaiserslautern
Sadegh Soudjani is teaching Principles of Cyber-physical Systems at the University of Kaiserslautern in Summer 2017.
The course meets Tuesdays 11:45-13:15 and Thursdays 10:00-11:30 in 11-260.
Advanced Automata Theory Course at TU Kaiserslautern
Rupak Majumdar and Daniel Neider are co-teaching Advanced Automata Theory at the University of Kaiserslautern in the Summer 2017 semester.
The course meets Tuesdays 08:15-09:45 in room 48-210 and Wednesdays 13:45-15:15 in room 46-280 on the University of Kaiserslautern campus.
Program Analysis course at TU Kaiserslautern
Rayna Dimitrova is teaching Program Analysis at the University of Kaiserslautern in the Winter 2016-17 semester.
The course meets Mondays 17:15-18:45 in room 48-379 on the University of Kaiserslautern campus.
Complexity Theory Course at TU Kaiserslautern
Rupak Majumdar is teaching Complexity Theory at the University of Kaiserslautern in the Winter 2016-17 semester.
The course meets Mondays 15:30-17:00 at 46-280 and Wednesdays 13:45-15:15 at 46-268.