Эгон Бёргер - Egon Börger

Эгон Бёргер
Boerger.jpg
Родившийся13 мая 1946 г. (1946-05-13) (возраст74)
Bad Laer, Оснабрюк, Вестфалия, Нижняя Саксония, Германия
НациональностьНемецкий
Альма-матерСорбонна
Католический университет Лувена
Университет Мюнстера
ИзвестенАбстрактные государственные машины
НаградыПремия Гумбольдта за исследования (2007)
Научная карьера
ПоляИнформатика
УчрежденияПизанский университет

Эгон Бёргер (родился 13 мая 1946 г.[1]) это Немецкий - прирожденный компьютерный ученый из Италия.

Жизнь и работа

Бёргер родился в Bad Laer, Вестфалия, Нижняя Саксония, Германия. С 1965 по 1971 год учился в Сорбонна, Париж (Франция ), Католический университет Лувена, Institut Supérieur de Philosophie de Louvain и Университет Мюнстера (Германия). С 1985 г. он возглавляет Информатика на Пизанский университет, Италия. С сентября 2010 года он был избранным членом Academia Europaea.[2]

Бёргер - пионер применения логических методов в информатике. Он является соучредителем международной серии конференций CSL.[3] Он также является одним из основателей Абстрактные государственные машины (КАК М) формальный метод для точного и контролируемого проектирования и анализа компьютерных систем [4] и соучредитель серии международных семинаров по ASM.[5]

Бёргер внес вклад в теоретические основы метода и инициировал его промышленное применение в различных областях, в частности языки программирования, Архитектура системы, требования и программного обеспечения (ре) инжиниринг, Системы управления, протоколы, веб-сервисы. На сегодняшний день он является одним из ведущих ученых в области технологий моделирования и верификации на основе ASM, которые он в значительной степени сформировал благодаря своей деятельности. В 2007 году он получил Премия Гумбольдта за исследования.[6]

Избранные публикации

  • Эгон Бёргер и Роберт Штерк, Абстрактные государственные машины: метод проектирования и анализа систем высокого уровня, Springer-Verlag, 2003. (ISBN  3-540-00702-4)
  • Egon Börger Computability, Complexity, Logic (Северная Голландия, Амстердам, 1989 г., перевод с немецкого оригинала 1985 г., итальянский перевод Боллати-Боригьери, 1989 г.)
  • Эгон Бёргер, Классическая проблема принятия решений (в соавторстве с Э. Грэделем и Ю. Гуревичем), Springer-Verlag 1997, ISBN  3-540-57073-X, 2-е издание как "Universitext", Springer-Verlag 2001, ISBN  3-540-42324-9
  • Эгон Бёргер, Java и виртуальная машина Java: определение, проверка, проверка (в соавторстве с Р. Стерком и Дж. Шмидом), Springer-Verlag ISBN  3-540-42088-6, 2001

Рекомендации

  1. ^ Абриаль, Жан-Раймон и Глессер, Уве (2009). "Дань Эгону Бёргеру по случаю его 60-летия" (PDF). Строгие методы построения и анализа программного обеспечения - статьи, посвященные Эгону Бёргеру в связи с его 60-летием. Конспект лекций по информатике. 5115. Springer. Получено 9 апреля, 2012.CS1 maint: несколько имен: список авторов (связь)
  2. ^ «Эгон Бургер». Academia Europaea. Получено 9 апреля, 2012.
  3. ^ Логика информатики, Трирский университет, Германия.
  4. ^ Аннотация Государственный научно-исследовательский центр машин.
  5. ^ Международные семинары ASM, университет Мичигана, СОЕДИНЕННЫЕ ШТАТЫ АМЕРИКИ.
  6. ^ Фонд Гумбольдта, Германия.

внешняя ссылка