Stefan Borgwardt

Dr.-Ing. Stefan Borgwardt

Office:
Andreas-Pfitzmann-Bau (APB), Room 3024
Nöthnitzer Str. 46
01187 Dresden

Phone: +49 (351) 463 - 39 209
Email: email

GPG public key: 0x8E40E391
ORCiD: ORCID iD icon

I am currently working as a research and teaching associate at the Chair of Automata Theory of Prof. Franz Baader at TU Dresden.

I am a principal investigator in the CRC/Transregio 248 Foundations of Perspicuous Software Systems, in the projects A3 (Description Logic Explications, led by Franz Baader) and E2 (Safe Handover in Mixed-Initiative Control, led by Antonio Krüger). Our local research team consists of Alisa Kovtunova, Christian Al-rabbaa, and Patrick Koopmann.

I am collaborating with Walter Forkel in the joint ANR-DFG project Generating and Answering Ontological Queries over Semi-structured Medical Data (GoAsq), led by Franz Baader, Yue Ma at LRI, University Paris Sud, and Brigitte Grau at LIMSI, University Paris Sud.

Best Paper Award at the 16th European Conference on Logics in Artificial Intelligence (JELIA'19) for the paper Closed-World Semantics for Conjunctive Queries with Negation over ${ELH}_{⊥}$ Ontologies, together with Walter Forkel
Distinguished Reviewer of the 26th International Joint Conference on Artificial Intelligence (IJCAI'17)
Best Paper Award at the 28th Australasian Joint Conference on Artificial Intelligence (AI'15) for the paper Temporal Conjunctive Queries in Expressive Description Logics with Transitive Roles, together with Franz Baader and Marcel Lippmann
Commerzbank Award (awarded to two selected PhD theses of 2014 at TU Dresden) for the PhD thesis Fuzzy Description Logics with General Concept Inclusions
Distinguished Student Paper Award at the 27th International Workshop on Description Logics (DL'14) for the paper Fuzzy DLs over Finite Lattices with Nominals
Distinguished Student Paper Award at the 26th International Workshop on Description Logics (DL'13) for the paper Temporal Query Answering in DL-Lite, together with Marcel Lippmann and Veronika Thost
N. J. Lehmann Award 2011 of the TU Dresden for my diploma thesis The Infimum Problem as a Generalization of the Inclusion Problem for Automata