About me

I am acting leader of the Chair for Theoretical Computer Science - Formal methods and Semantics of Otto-von-Guericke University of Magdeburg. I am currently involved in COINVENT, an EU project that is dedicated to tackle computational creativity.

I received my Ph.D. in philosophy from Humboldt University Berlin in 2002. Afterward I was a postdoc at Leipzig University, Saarland University, SUNY University at Buffalo, and a guest researcher of the National Institute of Standards and Technology.

My main research interests are in the area of ontologies and ontology languages. In particular, I am a member of the working group which is revising ISO/IEC IS 24707:2007 Common Logic and I participate in the OMG Standard Development Initiative "Ontology, Model and Specification Integration and Interoperability" (OntoIOP). Further, I am a member of the Executive Council and the treasurer of the International Association for Ontology and its Applications (IAOA).