Michael Gruninger is a Professor at the Department of Mechanical & Industrial Engineering of University of Toronto (Ontario, Canada). His research focus is in the design and formal characterization of ontologies and their application to problems in manufacturing and enterprise engineering. Previously, he has held research positions at the Institute for Systems Research at the University of Maryland College Park and at the National Institute for Standards and Technology (NIST) in the USA.
Michael received his Ph.D. and M.Sc. in Computer Science at the University of Toronto and his B.Sc. in Computer Science at the University of Alberta. His current research focuses on the design and formal characterization of ontologies and their application to problems in manufacturing and enterprise engineering. He is the project leader for the Process Specification Language project at NIST. He is also the project leader for ISO 18629 (Process Specification Language) within the International Standards Organization (ISO), and he was the project editor for project ISO 24707 (Common Logic).
- Dr. Gruninger's Ontolog Invited Speaker presentation on "The Process Specification Language (PSL): Principles and Applications" at: ConferenceCall_2004_09_16.
- Dr. Gruninger & Mr. ConradBock's invited presentation on "Evaluating Reasoning Systems" in the joint NIST-Ontolog-NCOR OntologyMeasurementEvaluation mini-series: ConferenceCall_2007_02_22