Michael Gruninger es un informático canadiense y profesor de ingeniería industrial en la Universidad de Toronto , conocido por su trabajo sobre ontologías en ciencias de la información. [1] [2] particularmente con el lenguaje de especificación de procesos y en el modelado empresarial en el proyecto TOVE con Mark S. Fox .
Gruninger estudió informática 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 del Instituto de Investigación de Sistemas de la Universidad de Maryland, College Park e investigador invitado de la División de Integración de Sistemas de Manufactura del Instituto Nacional de Estándares y Tecnología (NIST). Desde 2005 es 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 encuentran en el campo del "diseño y caracterización formal de teorías en lógica matemática y su aplicación a problemas en la fabricación e ingeniería empresarial". [4]
Gruninger es presidente de la Asociación Internacional de Ontología y sus Aplicaciones (IAOA) y editor en jefe de Applied Ontology Journal.
Gruninger fue autor y coautor de numerosas publicaciones en sus campos de especialización. [5] [6] Una selección: