PhD Candidate and Research Assistant with
Michael Gruninger
University of Toronto, Department of Computer Science
Knowledge Representation Group and Semantic Systems Lab
| Research & Publications | Teaching | CV | Contact |
I'm a PhD candidate at the University of Toronto. For my PhD research I develop a family of multidimensional spatial ontologies for semantic integration of a broad range of spatial theories such as qualitative theories (in particular mereotopologies) and various geometries. I'm also actively involved in research on the formal verification of spatial ontologies and in the development of the Common Logic Ontology Repository (COLORE) for semantic integration and modularization of ontologies. I obtained a M.Sc. in Computer Science from the University of Toronto in 2008 with a thesis on the mathematical characterization of the mereotopology of Asher & Vieu. In 2006, I obtained a B.Sc. in Software Systems Engineering from the Hasso-Plattner-Institute (HPI) Potsdam, Germany. As part of the Adaptive Service Grid (ASG) project (6th EU framework project), I helped to develop and implement a system for automatic web service composition using ontological descriptions of goals.
2006 - Research internship at ABB Corporate Research, Baden, Switzerland: Prototype development of a Security Workplace for automation and process control systems
2005/2006 - Bachelor project as part of the European Commission funded project Adaptive Services Grid (ASG): adaptable prototype (with replanning upon service failures) demonstrating the automated discovery, composition, and execution of Semantic Web Services in a Dynamic Supply Chain - joint work with NIWA Vienna (now Hanival)
2005 - Research on Object-Relational-Mappings during a 5-month internship with EADS Germany GmbH, Defence and Communication Systems, Joint Command and Control Systems
2004 - Student research
assistant for PESOA (development of a
platform for process family engineering) project at
Hasso-Plattner-Institute for Software Systems Engineering
at the University of Potsdam
supervisors: Matthias Weske (chair for Business Process Engineering), Arnd Schnieders, Frank Puhlmann
2003 - Software developer (Java, J2EE) for a logistics project with Novedia AG, Berlin
T. Hahmann: Model-Theoretic Analysis of Asher and Vieu's Mereotopology, M.Sc. thesis, 2008.
supervisor: Micheal Gruninger, second reader: Alasdair Urquhart
| MSc Thesis (pdf) |
Steinert, B., Möller, J., Sommer, P.,
Steinhauer, S., Hüttenrauch, S., Queck, T., Hahmann, T.: Semantic SOA - Realization of the Adaptive Services Grid. Bachelor project report,
Hasso-Plattner-Institute for Software Systems Engineering at the University of Potsdam, Potsdam, 2006. (in German)
supervisors: Harald Meyer, Guido Laures, Peter Tröger, Prof. Matthias Weske, Prof. Andreas Polze
| Introduction (pdf) | Presentation (pdf) | Dynamic Supply Chain Scenario (pdf) |
| see background talk Workflow and Web Service Composition (pdf) | ||