Sebastian Gurke
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.
Ausgewählte Veröffentlichungen:
- Computing Fixpoints of Learned Functions: Chaotic Iteration and Simple Stochastic Games (Paolo Baldan, Sebastian Gurke, Barbara König, Florian Wittbold) at TACAS 2026
- Approximating Fixpoints of Approximated Functions (Paolo Baldan, Sebastian Gurke, Barbara König, Tommaso Padoan, Florian Wittbold) Distinguished Paper Award at CAV 2025
- Behavioural Metrics: Compositionality of the Kantorovich Lifting and an Application to Up-To Techniques (Keri D'Angelo, Sebastian Gurke, Johanna Maria Kirss, Barbara König, Matina Najafi, Wojciech Różowski, Paul Wild) at CONCUR 2024
- Expressive Quantale-Valued Logics for Coalgebras: An Adjunction-Based Approach (Harsh Beohar, Sebastian Gurke, Barbara König, Karla Messing, Jonas Forster, Lutz Schröder, Paul Wild) at STACS 2024
- Hennessy-Milner Theorems via Galois Connections (Harsh Beohar, Sebastian Gurke, Barbara König, Karla Messing) at CSL 2023
Lehre
- Wintersemester 2024/25: Übungsleitung Logik
- 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