Currently I'm working with Autodesk Research and Sheila McIlraith on the Parametric Human Project. I'm particularly interested in developing an ontology for the spatial aspects of anatomy and how to deal with human variation in such an ontology.

In November 2013, I will join the faculty of the School of Computing and Information Science and the National Center for Geographic Information and Analysis (NCGIA) at the University of Maine.

I successfully defended my PhD thesis in February 2013 under the supervision of Michael Gruninger in the Semantic Technologies Lab and the Knowledge Representation Group at the University of Toronto.

The ontologies I developed with all the proofs, which verify the nontrivial consistency of the ontologies as well as many intuitive properties.

I am generally interested in everything that involves formal representations of knowledge, so-called knowledge representation.

More specifically I'm interested in ontologies, semantic integration, semantic interoperability, and semantic technologies in general.

My research interests encompass the following areas:

- Expressive and lightweight ontologies
- Ontology verification, modularity, and repositories and tools to help with ontology design & maintenance & integration
- Semantic technologies, interoperability, data and knowledge integration
- Spatial intelligence, including qualitative spatial reasoning (QSR) and the combination of high-level spatial reasoning with low-level, geometric reasoning
- Spatial ontologies and spatial data, including geospatial data, earth science (geological, hydrological, environmental) data, urban planning data, transportation data, building information, product specifications
- Commonsense representations of space, cognitive and philosophical aspects of space
- Automated reasoning with first-order logic (FOL), FOL theorem proving and model finding
- Geometry, topology, mereology, manifolds
- Mathematical logic, model theory

**My current research activities resolve around two areas:**

- Semantic integration of spatial knowledge from disparate conceptualizations of space

- The ontologies I developed, including automated proofs of key theorems (arising from competency questions), consistency proofs, and proofs of some integration results from my PhD thesis can be found

- Qualitative Spatial Reasoning (QSR) in general
- Qualitatitive representations of multidimensional, commonsensical space
- Mereotopologies (region-based QSR), in particular multidimensional mereotopology, and point-free ('pointless') representations of space and their axiomatization in first-order theories (spatial ontologies)
- Mathematical (in particular algebraic and topological) representation of basic spatial ontologies

- Ontology Repositories of first-order ontologies
- COLORE Project page
- GoogleCode Project including the SVN repository for COLORE and the GoogleGroup associated with it

- Modularization of ontologies, hierarchies of ontologies
- This year I will be co-chairing the 7th Workshop on Modular Ontologies (WoMo 2013) colocated with LPNMR in Corunna, Spain
- First-order ontologies for spatial knowledge (Geographic Information Systems (GIS), manufacturing, and hydrogeology)
- Semantic integration (full integration and comparative integration) of ontologies
- (Semi-)automated verification of first-order ontologies
- I have started developing a toolset for ontology verification called Macleod
- Automated reasoning with first-order ontologies
- Common Logic