​

​Sebastian Gurke
Adresse: siehe Kontakt

• Raum: LF 265
• sebastian.gurke(at)uni-due.de

Forschung

Ich interessiere mich für Mathematische Logik und ihre Anwendungen in der Theoretischen Informatik.

Eine aktuelle Liste meiner Veröffentlichungen findet man in der dblp computer science bibliography.

Lehre

• Sommersemester 2024: Übungsleitung Modellierung, Analyse, Verifikation
• Wintersemester 2023/24: Übungsleitung Logik
• Sommersemester 2023: Übungsleitung Automaten und formale Sprachen
• Wintersemester 2022/23: Übungsleitung Berechenbarkeit und Komplexität
• Sommersemester 2022: Übungsleitung Automaten und formale Sprachen