Майкл Грунингер — канадский ученый-компьютерщик и профессор промышленной инженерии в Университете Торонто , известный своими работами по онтологиям в информационной науке. [1] [2] в частности, по языку спецификации процессов , а также по моделированию предприятий в проекте TOVE с Марком С. Фоксом .
Грунингер изучал информатику и получил степень бакалавра в 1987 году в Университете Альберты , а также степень магистра в 1989 году [3] в этом же университете , где в 2000 году он также получил докторскую степень, защитив диссертацию на тему «Логические основы распознавания объектов на основе формы».
В 1993 году Грунингер начал работать исследователем в Лаборатории интеграции предприятий Торонтского университета, на кафедре машиностроения и промышленной инженерии. С 2000 по 2005 год он был исследователем в Институте системных исследований Мэрилендского университета в Колледж-Парке и приглашенным исследователем в Отделе интеграции производственных систем Национального института стандартов и технологий (NIST). С 2005 года он является профессором промышленной инженерии Торонтского университета , где он руководит Лабораторией семантических технологий.
Научные интересы Грюнингера лежат в области «разработки и формальной характеристики теорий в математической логике и их применения к проблемам производства и проектирования предприятий». [4]
Грунингер — президент Международной ассоциации онтологии и ее приложений (IAOA) и главный редактор журнала Applied Ontology Journal.
Грунингер является автором и соавтором многочисленных публикаций в областях своей специализации. [5] [6] Избранное: