Michael Gruninger

Michael Gruninger is a Professor in the Department of Mechanical and Industrial Engineering at the University of Toronto, serving as Associate Chair of Undergraduate Studies. He holds a PhD and MSc in Computer Science from the University of Toronto and a BSc in Computer Science from the University of Alberta. His research focuses on semantic integration, process modeling, and mathematical logic applications in manufacturing and enterprise engineering. He contributed to the ISO 18629 standard for Process Specification Language.

Research interests include ontologies, semantic web technologies, knowledge representation, and formal methods. He leads the Semantic Technologies Laboratory, advancing theories in mereotopology, spatiotemporal ontologies, and ontology engineering. Recent work emphasizes automated spatial reasoning in robotics and standards-based ontology development.

Publications span ontology validation, mereological foundations, and applied semantic technologies. His work bridges theoretical computer science with practical enterprise systems and smart city applications. No awards are explicitly listed, though his contributions to ISO standards reflect industry impact.

Advising and grants: No specific students/grants detailed here. His lab focuses on semantic technologies with applications in manufacturing and urban systems. Collaborations include NIST and the Industrial Ontologies Foundry.