Stefan Gebhart

Address:

FAU Erlangen-Nürnberg
Lehrstuhl für Informatik 8 (Theoretische Informatik)
Martensstraße 3
D-91058 Erlangen
Raum: 11.125
E-Mail: stefan.gebhart[at]fau.de

About me:

I am a PhD student at the Chair for Theoretical Computer Science under the supervision of Lutz Schröder. My focus of research are non-expansive fuzzy logics. More specifically I study coalgebraic fuzzy logics that are non-expansive with respect to a suitable behavioural distance, i.e. where logical distance is bounded by how similar the neighbourhoods of two states are. Here I investigate their computational tractability and develop algorithms for reasoning.