Wir lehren regelmäßig im Bereich Symbolisches Rechnen (Automatisches Beweisen) und im Systembereich (Betriebssysteme / Verteilte Systeme), sowie gelegentlich im Grundlagenbereich (Einführung in die Informatik mit Java).
Auch die Lehrveranstaltungen von zwei externen Privatdozenten (und ehemaligen Mitarbeitern) fallen in unseren Bereich:
Privatdozent Dr. Reinhard Bündgen, IBM Böblingen
Privatdozent Dr. Wolfgang Blochinger, IPVS, Uni Stuttgart.
Der Systembereich gehört prüfungstechnisch zur Praktischen Informatik. Der Bereich Symbolisches Rechnen gehört teils zur Theoretischen Informatik und teils zur Praktischen Informatik. Praktika gehören immer zur Praktischen Informatik
Folgende Veranstaltungen werden regelmäßig am Arbeitsbereich angeboten:
Vorlesungen
- Automatisches Beweisen - Grundlagen
- Automatisches Beweisen - Vertiefung
- SAT Solving und Anwendungen
- Betriebssysteme
- Verteilte Systeme
- Parallele Systeme (PD Dr. Blochinger)
- Linux - Konzepte und Implementierungen (PD Dr. Bündgen)
- Gleichungslogik und Ersetzungssysteme (PD Dr. Bündgen)
Praktika
- Grundlagenpraktikum Automatisches Beweisen
- Vertiefungspraktikum Automatisches Beweisen
- Praktikum zu Betriebssystemen