Otto-von-Guericke-Universität Magdeburg

 
 
 
 
 
 
 
 
Fabian Neuhaus

Dr. phil. Fabian Neuhaus


AG Formale Methoden und Semantik

Gebäude 29, Universitätsplatz 2, 39106, Magdeburg, G29-026

I am a researcher at the Chair for Theoretical Computer Science - Formal methods and Semantics of Otto-von-Guericke University of Magdeburg, headed by Till Mossakowski. 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).



Letzte Änderung: 24.08.2016 - Contact Person: Dr. phil. Fabian Neuhaus