Wir sind beteiligt an der Vertiefungsrichtung Modellierung und Analyse komplexer Systeme (MAX). Informationen zu diesem Schwerpunkt finden Sie in der jeweiligen Beschreibung für den Fach-Bachelor Informatik oder den Fach-Master Informatik.

Hier finden Sie eine nicht vollständige Liste der Veranstaltungen, die von unserer Abteilung angeboten werden. Aktuelle Informationen zu den Veranstaltungen finden sie sowohl im Stud.IP als auch an der Pinnwand der Theoretischen Informatik im Flur vor dem Trakt A3 2. Etage. Sollten Sie Interesse an einer speziellen Veranstaltung haben, so sprechen Sie uns einfach an.

Für Bachlor-Studierende bieten wir an:

• Theoretische Informatik: Logik
• Grundlagen der Theoretischen Informatik
• Programmverifikation
• Algorithmen zur Software-Verifikation

Für Master-Studierende bieten wir an:

• Realzeitsysteme
• Verifikation objekt-orientierter Programme
• Kombination von Spezifikationstechniken
• Kommunizierende und mobile Systeme
• Synthese durch Spiele

• Automatenmodelle in der Informatik
• Logik in der Informatik
• Diagramme in der Informatik
• Verifikation von Systemen mit unendlichen Zustandsräumen