I'm currently investigating probabilistic and temporal description logics to enable situation recognition in the HAEC project.
I did my PhD at the University of Manchester, where I developed practical methods for uniform interpolation and forgetting in expressive description logics. As part of my research, I developed the tool LETHE, which can be used to compute uniform interpolants of ontologies, as well as to compute logical differences between ontology versions. After I finished my PhD, I worked as a researcher at the University of Oxford, where my research focussed on ontology rewriting and minimisation.
Nöthnitzer Str. 46
You can find my publications at Google Scholar and DBLP.