Teaching

• Courses at the Chair for Automata Theory
• Summer Semester 2021
  • Tutorials Logic-Based Ontology Engineering

Research Interests

• Formal properties of logical formalisms
• Query answering using description logics
• Metric temporal logics
• Weighted logics (fuzzy, possibilistic, probabilistic)
• Reasoning with numerical domains

Awards

• 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}}_{\mathrm{\perp }}$ 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

Other Activities

• Member of the Steering Committee of the International Workshop on Description Logics (DL), 2017–2023
• DL Representative on the Steering Committee of Principles of Knowledge Representation and Reasoning, Incorporated (KR Inc.), 2020–2023
• Workshops and Tutorials co-chair of the 19th International Conference on Principles of Knowledge Representation and Reasoning (KR 2022) as part of FLoC 2022 in Haifa, Israel
• Virtual Conference Arrangements co-chair of the 18th International Conference on Principles of Knowledge Representation and Reasoning (KR 2021) in (virtual) Hanoi, Vietnam
• PC co-chair of the 33rd International Workshop on Description Logics (DL 2020) in (virtual) Rhodes, Greece
• Local organizer of the colloquium on the occasion of Franz Baader's 60th birthday, 2019 at TU Dresden
• Member of the Organization Committee of the HQA Workshop 2018 and 2019
• PC Board member of IJCAI 2022–2024
• Senior PC member of IJCAI 2021, AAAI 2021, IJCAI 2020, ECAI 2020, AAAI 2020
• PC member of XLoKR 2021, DL 2021, KR 2020, XLoKR 2020, IJCAI 2019, DL 2019, KR 2018, IJCAI 2018, DL 2018, AAAI 2018, IJCAI 2017, DL 2017, ESWC 2017, IJCAI 2016, DL 2016, IJCAI 2015, DL 2015
• Reviewer for Artificial Intelligence, Journal of the ACM, Journal of Artificial Intelligence Research, Journal of Web Semantics, Semantic Web, Theoretical Computer Science, Logic Journal of the IGPL, International Journal of Approximate Reasoning, Fuzzy Sets and Systems, Annals of Mathematics and Artificial Intelligence, Künstliche Intelligenz, The Computer Journal, IEEE Transactions on Fuzzy Systems, and others

Talks

• List of my talks with slides

Publications

• List of my publications, see also dblp, Google Scholar, ResearchGate, and Semantic Scholar
• Publications of the Chair for Automata Theory
• Technical Reports of the Chair for Automata Theory