Prof. Dr. Birte Glimm
Institute of Artificial Intelligence
Since July 2011 I work at the University of Ulm within the Institute of Artificial Intelligence. Until June 2017 as a junior professor and since then as full professor. In 2019 our project "Do it yourself, but not alone: Companion-Technology for Home Improvement" was awarded a price for cooperations between science and industry (Kooperationspreis Wissenschaft-Wirtschaft). In 2017 I received a Google Faculty Research Award and I was honoured with the Mileva Einstein-Marić-Prize.
Before coming to Ulm, I was a research assistant in the Department of Computer Science at the University of Oxford, where I worked in the Information Systems Group, mainly on developing algorithms for automated reasoning in expressive Description Logics and on the implementation of the HermiT reasoner.
I did my PhD in Manchester in the Information Management Group under the supervision of Prof. Dr. Ian Horrocks and Prof. Dr. Uli Sattler and I was honoured with the Best Thesis Award from the School of Computer Science at Manchester University in 2008. From September 2001 until July 2004 I studied Computer Science in the Hamburg University of Applied Sciences and I received my bachelor degree with an award for the best degree.
Before studying Computer Science, I worked for 3.5 years in Industry and did another degree in Communication Design.
My scientific interest is mainly in knowledge representation and automatic reasoning. I develop, implement and optimize algorithms for automatic reasoning in expressive description logics and analyze their complexity. For example, I have developed various optimizations for tableau algorithms, novel procedures for combining tableau and saturation-based algorithms and algorithms for answering queries. Our new abstraction and refinement procedure allows conclusions to be drawn about knowledge bases with very large amounts of data. We are also working on providing autonomous vehicles with dynamic knowledge of map data, where a particular challenge lies in the high dynamics. Our research on the generation of explanations in natural language allows the automated derivations to be made comprehensible.
Since 2020 I have been a Research Fellow at fortiss, I am a member of the Steering Committee of the IBM fortiss Center for AI and a co-organizer of the Dagstuhl Perspectives Seminar "Current and Future Challenges in Knowledge Representation and Reasoning" (postponed to July 2022 due to the corona pandemic).
I am an editor of the SPARQL 1.1 Entailment Regimes specification, developed within the SPARQL Working Group of the W3C. Entailment regimes extend SPARQL to work with semantics other than simple entailment, e.g., RDF and RDFS semantics and OWL Direct and RDF-Based Semantics. I am also an editor of the OWL 2 Web Ontology Language Conformance specification, which describes the conditions that OWL 2 tools must satisfy in order to be conformant with the language specification.
Projects and seminars in the area of Semantic Web and Artificial Intelligence
SS 2021: Programming Concepts for Cognitive Systems, Algorithms for Knowledge Representation
SS 2021: Programming Concepts for Cognitive Systems, Foundations of Semantic Web Technologies
WS 2020/2021: Web Engineering
SS 2020: Programming Concepts for Cognitive Systems
WS 2019/2020: Web Engineering, Foundations of Semantic Web Technologies
SS 2019: Programming Concepts for Cognitive Systems
WS 2018/2019: Web Engineering, Foundations of Semantic Web Technologies
SS 2018: Einführung in die Informatik, Programming Concepts for Cognitive Systems
WS 2017/2018: Web Engineering, Programming Concepts for Cognitive Systems
SS 2017: Foundations of Semantic Web Technologies, Einführung in die Informatik
WS 2016/2017: Introduction to Computer Science for Psychologists, Web Engineering
SS 2016: Foundations of Semantic Web Technologies
WS 2015/2016: Introduction to Computer Science for Psychologists
SS 2015: Foundations of Semantic Web Technologies
WS 2013/2014: Einführung in die Informatik, Semantic Web Grundlagen
SS 2013: Algorithmen in der Wissensrepräsentation
WS 2012/2013: Semantic Web Grundlagen
SS 2012: Algorithmen in der Wissensrepräsentation
WS 2011/2012: Semantic Web Grundlagen
|2020||Best Paper Award, Haonan Qiu, Adel Ayara and Birte Glimm, International Conference on Knowledge Engineering and Ontology Development|
|2020||Best Research Track Senior Programme Committee Member, International Semantic Web Conference|
|2019||Best Reproducibility Award, Andreas Steigmiller and Birte Glimm, International Semantic Web Conference|
|2019||Best Research Paper Award runner-up, Andreas Steigmiller and Birte Glimm, International Semantic Web Conference|
|2017||Google Faculty Research Award|
|2016||Best Resources Paper, B. Parsia, N. Matentzoglu, R. S. Goncalves, B. Glimm and A. Steigmiller, International Semantic Web Conference|
|2015||OWL Reasoner Evaluation Competition, 6 Tracks (Reasoner Konclude: 4 × 1. and 2 × 2. prize, Reasoner HermiT: 1 × 2. and 4 × 3. prize)|
|2014||ISWC Best Reviewer Research Track, International Semantic Web Conference|
|2014||Kurt Gödel medal, 1. FLoC Olympic Games|
|2014||OWL Reasoner Evaluation Competition, 6 Tracks (Reasoner Konclude: 5 × 1. and 1 × 2. prize, Reasoner HermiT: 1 × 2. and 1 × 3. prize)|
|2013||OWL Reasoner Evaluation Competition, 9 Tracks (Reasoner Konclude: 3×1., 2×2. and 2 × 3. prize, Reasoner HermiT: 1 × 1., 2 × 2. and 1 × 3. prize)|
|2011||Best Programme Committee Member Finalist, International Semantic Web Conference|
|2010||Best Research Paper Nominee, Birte Glimm, Ian Horrocks, Boris Motik and Giorgos Stoilos, International Semantic Web Conference|
|2008||Steve Furber Medal for Outstanding Doctoral Thesis in Computer Science|
|09.04–09.07||Doctoral scholarship of the Foundation of German Business|
|09.04–09.07||Engineering and Physical Sciences Research Council studentship|
|2004||Best computer science degree in 2004 at the Hamburg University of Applied Sciences|
|04.02–07.04||Scholarship of the Foundation of German Business|