TU Dresden  ◆  Faculty of Computer Science  ◆  Institute of Theoretical Computer Science  ◆  Chair of Automata Theory

Dr. Patrick Koopmann

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.

Email: patrick.koopmann@tu-dresden.de
Office: Room 3031
Nöthnitzer Str. 46
01187 Dresden

You can find my publications at Google Scholar and DBLP.