Lehrveranstaltungen
Wintersemester 2024/25
- Berechenbarkeit und Komplexität
- Modellierung nebenläufiger Systeme
- Seminar "Graphen in der Informatik"
- Logik
Sommersemester 2024
- Automaten und formale Sprachen
- Modellierung, Analyse, Verifikation
- Seminar "Spiele in der Informatik"
Wintersemester 2023/24
- Berechenbarkeit und Komplexität
- Formale Aspekte der Software-Sicherheit und Kryptographie
- Seminar "Spiele in der Informatik"
- Logik
Sommersemester 2023
Wintersemester 2022/23
- Berechenbarkeit und Komplexität
- Logik
- Modellierung, Analyse, Verifikation (Programmanalyse)
- Seminar "Quantitative Modelle der Informatik"
Sommersemester 2022
- Automaten und formale Sprachen
- Modellierung nebenläufiger Systeme
- Seminar "Quantitative Modelle der Informatik"
Wintersemester 2021/22
- Berechenbarkeit und Komplexität
- Logik
- Modellierung, Analyse, Verifikation (Programmanalyse)
- Statistik für Wirtschaftsingenieure 1 (Webseite folgt)
- Ergänzungsveranstaltungen Mathematik für Ingenieure (Webseite folgt)
Sommersemester 2021
- Automaten und formale Sprachen
- Formale Aspekte der Software-Sicherheit und Kryptographie
- Seminar "Spiele in der Informatik"
- Statistik für Wirtschaftsingenieure 2
- Ergänzungsveranstaltungen Mathematik für Ingenieure
Wintersemester 2020/21
- Berechenbarkeit und Komplexität
- Logik
- Modellierung, Analyse, Verifikation (Programmanalyse)
- Seminar "Graphen und lineare Optimierung"
Sommersemester 2020
- Automaten und formale Sprachen
- Modellierung nebenläufiger Systeme
- Seminar "Graphen und lineare Optimierung"
Wintersemester 2019/20
Sommersemester 2019
- Automaten und formale Sprachen
- Formale Aspekte der Software-Sicherheit und Kryptographie
- Modeling of Concurrent Systems
- Seminar "Spiele in der Informatik"
Wintersemester 2018/19
- Berechenbarkeit und Komplexität
- Logik
- Modellierung, Analyse, Verifikation (Programmanalyse)
- Seminar "Spiele in der Informatik"
Sommersemester 2018
- Automaten und formale Sprachen
- Formale Aspekte der Software-Sicherheit und Kryptographie
- Modellierung nebenläufiger Systeme
Wintersemester 2017/18
- Berechenbarkeit und Komplexität
- Logik
- Modellierung, Analyse, Verifikation (Programmanalyse)
- Seminar "Graphen in der Informatik: Algorithmen und Modellierung"
Sommersemester 2017
Wintersemester 2016/17
- Berechenbarkeit und Komplexität
- Logik
- Modellierung, Analyse, Verifikation (Programmanalyse)
- Seminar "Graphen in der Informatik: Algorithmen und Modellierung"
Sommersemester 2016
Wintersemester 2015/16
- Berechenbarkeit und Komplexität
- Logik
- Modellierung, Analyse, Verifikation (Programmanalyse)
- Seminar "Quantitative Modelle der Informatik"
Sommersemester 2015
- Automaten und formale Sprachen
- Formale Aspekte der Software-Sicherheit und Kryptographie
- Mathematische Strukturen
- Seminar "Quantitative Modelle der Informatik"
Wintersemester 2014/15
- Berechenbarkeit und Komplexität
- Logik
- Modellierung, Analyse, Verifikation (Programmanalyse)
- Seminar "Quantitative Modelle der Informatik"
Sommersemester 2014
- Automaten und formale Sprachen
- Mathematische Strukturen
- Modellierung nebenläufiger Systeme
- Seminar "Spiele in der Informatik"
- Blockseminar "Spiele in der Informatik"
Wintersemester 2013/14
Sommersemester 2013
- Automaten und formale Sprachen
- Formale Aspekte der Softwaresicherheit und Kryptographie
- Mathematische Strukturen
- Seminar "Graphen in der Informatik: Algorithmen und Modellierung"
- Blockseminar "Graphen in der Informatik: Algorithmen und Modellierung"
Wintersemester 2012/13
Sommersemester 2012
Wintersemester 2011/12
- Berechenbarkeit und Komplexität
- Formale Aspekte der Software-Sicherheit und Kryptographie
- Modellierung/Modellierungsmethoden der Informatik
- Modellierung, Analyse, Verifikation (Programmanalyse)
- Seminar "Spiele in der Informatik"