Teaching

Für Studenten in einem fortgeschrittenen Stadium des Studiums bieten wir Themen für Abschlussarbeiten an.

• Automaten und Formale Sprachen
• Mathematische Strukturen
• Formale Aspekte der Softwaresicherheit und Kryptographie
• Seminar: "Graphen in der Informatik: Algorithmen und Modellierung"
• Blockseminar: "Graphen in der Informatik: Algorithmen und Modellierung"

• Berechenbarkeit und Komplexität
• Logik
• Modellierung, Analyse, Verifikation (Programmanalyse)

• Automaten und formale Sprachen
• Logik
• Mathematische Strukturen
• Modellierung nebenläufiger Systeme

• Berechenbarkeit und Komplexität
• Modellierung/Modellierungsmethoden der Informatik
• Modellierung, Analyse, Verifikation (Programmanalyse)
• Formale Aspekte der Software-Sicherheit und Kryptographie
• Seminar "Spiele in der Informatik"

• Automaten und formale Sprachen
• Logik
• Mathematische Strukturen
• Modellierung nebenläufiger Systeme

no news in this list.