I am a postdoc at the Chair for Automata Theory, which belongs to the Institute for Theoretical Computer Science at TU Dresden, and a former member of the Postgraduate Programme "Specification of Discrete Processes and Systems of Processes by Operational Models and Logics" (DFG, GRK 334/3). Currently, I am working on a DFG-funded research project under grant BA 1122/11-1 and involved in the EU project "Thinking ONtologiES, aka TONES" (EU, 007063-2).

My research interests mainly concern Description Logics and their practical applications, with emphasis on fast logics and life science ontologies. I am also interested in ontology engineering and the Semantic Web.