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.
In 1993 Gruninger started as researcher at the Enterprise Integration Laboratory of the University of Toronto, Department of Mechanical and Industrial Engineering.
Since 2005 he 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.