Lehre

Lehrveranstaltungen im SS 2020

Grundlagen der Theoretischen Informatik

Compilerbau

Logik II

Funktionales Programmieren

Lehrveranstaltungen im WS 2019/2020

Logik I

Model-Checking

Algorithmik I

Algorithmik II

Seminar Theoretische Informatik

Lehrveranstaltungen im SS 2019

Grundlagen der Theoretischen Informatik

Compilerbau

Logik II

Algorithmik II

Lehrveranstaltungen im WS 2018/2019

Komplexitätstheorie

Algorithmik I

Seminar Theoretische Informatik

Lehrveranstaltungen im SS 2018

Grundlagen der Theoretischen Informatik

Compilerbau

Logik I

Logik II

Lehrveranstaltungen im WS 2017/2018

Logik I

Model-Checking

Algorithmik I

Algorithmik II

Seminar Theoretische Informatik

Lehrveranstaltungen im SS 2017

Grundlagen der Theoretischen Informatik

Compilerbau

Logik II

Lehrveranstaltungen im WS 2016/2017

Logik I

Komplexitätstheorie

Algorithmentheorie

Seminar Theoretische Informatik

Diskrete Mathematik für Informatiker

Lehrveranstaltungen im SS 2016

Grundlagen der Theoretischen Informatik

Compilerbau

Logik II

Lehrveranstaltungen im WS 2015/2016

Logik I

Algorithmentheorie

Model-Checking

Seminar Theoretische Informatik (Analyse von Algorithmen)

Diskrete Mathematik für Informatiker

Lehrveranstaltungen im SS 2015

Grundlagen der Theoretischen Informatik

Compilerbau

Semantik von Programmiersprachen

Lehrveranstaltungen im WS 2014/2015

Diskrete Mathematik

Komplexitätstheorie

Algorithmen

Seminar Theoretische Informatik (Datenkompression)

Tutorium GTI

Lehrveranstaltungen im SS 2014

Grundlagen der Theoretischen Informatik

Logik

 

Lehrveranstaltungen im WS 2013/2014

Komplexitätstheorie

Algorithmen

Seminar Verifikation