Michael Gruninger es un científico informático canadiense y profesor de Ingeniería Industrial en la Universidad de Toronto , conocido por su trabajo en ontologías en ciencias de la información. [1] [2] particularmente con el lenguaje de especificación de procesos , y en modelado empresarial en el Proyecto TOVE con Mark S. Fox .
Gruninger estudió Ciencias de la Computación y recibió su licenciatura en 1987 en la Universidad de Alberta , y su maestría en 1989 [3] en la universidad , donde en 2000 también recibió su doctorado con una tesis titulada "Fundamentos lógicos del reconocimiento de objetos basado en formas".
En 1993, Gruninger comenzó como investigador en el Laboratorio de Integración Empresarial de la Universidad de Toronto, Departamento de Ingeniería Mecánica e Industrial. De 2000 a 2005 fue investigador en el Instituto de Investigación de Sistemas de la Universidad de Maryland, College Park e investigador invitado en la División de Integración de Sistemas de Manufactura del Instituto Nacional de Estándares y Tecnología (NIST). Desde 2005 ha sido profesor de Ingeniería Industrial en la Universidad de Toronto , donde dirige el Laboratorio de Tecnologías Semánticas.
Los intereses de investigación de Gruninger se centran en el campo del "diseño y la caracterización formal de teorías en lógica matemática y su aplicación a problemas en la ingeniería de fabricación y empresarial". [4]
Gruninger es presidente de la Asociación Internacional de Ontología y sus Aplicaciones (IAOA) y editor en jefe de la revista Applied Ontology Journal.
Gruninger fue autor y coautor de numerosas publicaciones en sus campos de especialización. [5] [6] Una selección: