Введение

Немецкий учёный в области информатики (родился в 1930 году).

Эгон Бёргер (родился 13 мая 1946 года) — немецкий учёный в области информатики, работающий в Италии.

Жизнь и творчество

Боргер родился в Бад-Лаере, Вестфалия, Нижняя Саксония, Германия. В 1965–1971 годах он учился в Сорбонне (Париж, Франция), Католическом университете Лувена, Институте высшей философии Лувена и Университете Мюнстера (Германия). В 1972–1976 годах он работал в Университете Салерно (Италия), где преподавал первые курсы по только что созданной специальности «Информатика». С 1985 года он занимает кафедру информатики в Университете Пизы (Италия). С сентября 2010 года он является избранным членом Academia Europaea. Эгон Боргер – пионер применения логических методов в информатике. Он является соучредителем серии международных конференций CSL. Он также один из основателей формального метода Abstract State Machines (ASM) для точного и контролируемого проектирования и анализа компьютерных систем, а также соучредителем серии международных семинаров ASM, которые в 2008 году объединились с регулярными встречами групп пользователей B и Z, образовав международную конференцию ABZ. Боргер внес вклад в теоретические основы метода и инициировал его промышленное применение в различных областях, в частности, в языках программирования, системной архитектуре, разработке и сопровождении требований и программного обеспечения, системах управления, протоколах, веб-сервисах. На сегодняшний день он является одним из ведущих ученых в области моделирования и верификации на основе ASM, которой он в значительной степени способствовал своей деятельностью. В 2007 году он был удостоен премии Гумбольдта. К 60-летию и 75-летию со дня рождения Боргера были изданы сборники статей в его честь.