| Michael Gruninger | |
| Birth Place: | Magrath, Alberta, Canada |
| Nationality: | Canadian |
| Fields: | Applied Ontology, Knowledge Representation |
| Workplaces: | University of Toronto, National Institute of Standards and Technology |
| Alma Mater: | University of Alberta, University of Toronto |
| Doctoral Advisor: | Raymond Reiter |
| Known For: | Process Specification Language Common Logic TOVE competency questions upper ontologies |
Michael Gruninger is a Canadian computer scientist and Professor of Industrial Engineering at the University of Toronto, known for his work on Ontologies in information science.[1] [2] particularly with the Process Specification Language, and in enterprise modelling on the TOVE Project with Mark S. Fox.
Gruninger studied computer Science and received his BA in 1987 at the University of Alberta, and his MA in 1989[3] at the university, where in 2000 he also received his PhD with a thesis entitled "Logical foundations of shape-based object recognition."
In 1993 Gruninger started as researcher at the Enterprise Integration Laboratory of the University of Toronto, Department of Mechanical and Industrial Engineering. From 2000 to 2005 he was researcher at the Institute for Systems Research at the University of Maryland, College Park and a guest researcher at the Manufacturing Systems Integration Division of the National Institute of Standards and Technology (NIST). Since 2005he has been a Professor of Industrial Engineering at the University of Toronto, where he leads the Semantic Technologies Laboratory.
Gruninger's research interests are in the field of "the design and formal characterization of theories in mathematical logic and their application to problems in manufacturing and enterprise engineering."[4]
Gruninger is President of the International Association of Ontology and its Applications (IAOA) and Editor-in-Chief of the Applied Ontology Journal.
Gruninger authored and co-authored numerous publications in his fields of expertise. A selection: