Эгон Бёргер

Эгон Бёргер
Эгон Бёргер
Рожденный	13 мая 1946 г. лет ) ( 78 ; Бад-Лер , Оснабрюк , Нижняя Саксония , Германия
Национальность	немецкий
Альма-матер	Сорбонна ; Католический университет Лувена ; Университет Мюнстера
Известный	Абстрактные конечные автоматы
Награды	Премия Гумбольдта за исследования (2007)
	Научная карьера
Поля	Информатика
Учреждения	Пизанский университет
Диссертация	Типы приведения в формулах Крома и Хорна (1971)
Докторантура	Дитер Рёддинг

Эгон Бёргер (родился 13 мая 1946 г.) ^{[ 2 ]}) — учёный-компьютерщик немецкого происхождения, живущий в Италии .

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

Бёргер родился в Бад-Ларе , Вестфалия , Нижняя Саксония , Германия . С 1965 по 1971 год он учился в Сорбонне , Париже ( Франция ), Католическом университете Лувена , Высшем институте философии Лувена и Мюнстерском университете (Германия). С 1972 по 1976 год он учился в Университете Салерно в Италии. ^{[ 3 ]} где он преподавал первые курсы новорожденной по специальности «Информатика». С 1985 года он заведует кафедрой информатики в Пизанском университете , Италия. С сентября 2010 года он является избранным членом Academia Europaea . ^{[ 4 ]}

Эгон Бёргер — пионер применения логических методов в информатике. Он является сооснователем серии международных конференций CSL. ^{[ 5 ]} Он также является одним из основателей абстрактных государственных машин (ASM) формального метода для точного и контролируемого проектирования и анализа компьютерных систем. ^{[ 6 ]} и соучредитель серии международных семинаров по ASM, ^{[ 7 ]} которая в 2008 году объединилась с регулярными собраниями групп пользователей B и Z и образовала международную конференцию ABZ. ^{[ 8 ]}

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

Festschrifts были выпущены к 60-летию и 75-летию Бёргера. ^{[ 10 ]}^{[ 11 ]}

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

Эгон Бёргер и Роберт Старк, Абстрактные конечные автоматы: метод проектирования и анализа систем высокого уровня , Springer-Verlag , 2003. ( ISBN 3-540-00702-4 )
Эгон Бёргер Вычислимость, сложность, логика (Северная Голландия, Амстердам, 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 г.
Эгон Бёргер и Александр Рашке, помощник по моделированию для специалистов по программному обеспечению , Springer , 2018. ( ISBN 978-3-662-56639-8 , дои : 10.1007/978-3-662-56641-1 )

Ссылки

^ Эгон Бёргер в проекте «Математическая генеалогия»
^ Абриаль, Жан-Раймон ; Глэссер, Уве. «Посвящение Эгону Бёргеру по случаю его 60-летия» (PDF) . Италия: Пизанский университет . Проверено 9 апреля 2012 г.
^ «Резюме Эгона Бургера» (PDF) . Проверено 20 декабря 2022 г.
^ «Эгон Бургер» . Европейская академия . Проверено 9 апреля 2012 г.
^ Логика информатики , DBLP .
↑ Центр исследования абстрактных государственных машин. Архивировано 16 декабря 2014 г. в Wayback Machine .
^ Международные семинары по ASM , Мичиганский университет , США.
^ Бёргер, Эгон; Батлер, Майкл ; Боуэн, Джонатан П .; Бока, Пол, ред. (2008). Абстрактные государственные машины, B и Z: Первая международная конференция, ABZ 2008, Лондон, Великобритания, 16–18 сентября 2008 г. Труды . Конспекты лекций по информатике . Том. 5238. Шпрингер-Верлаг . дои : 10.1007/978-3-540-87603-8 . ISBN 978-3-540-87602-1 .
^ Фонд Гумбольдта , Германия.
^ Абриаль, Жан-Раймон ; Глэссер, Уве, ред. (2009). Строгие методы создания и анализа программного обеспечения: очерки, посвященные Эгону Бёргеру по случаю его 60-летия . Конспекты лекций по информатике . Том. 5115. Шпрингер-Верлаг . дои : 10.1007/978-3-642-11447-2 . ISBN 978-3-642-11446-5 .
^ Рашке, Александр; Риккобене, Эльвиния; Шеве, Клаус-Дитер, ред. (2021). Логика, вычисления и строгие методы: очерки, посвященные Эгону Бёргеру по случаю его 75-летия . Конспекты лекций по информатике . Том. 12750. Международное издательство Springer . дои : 10.1007/978-3-030-76020-5 . ISBN 978-3-030-76019-9 . S2CID 235326634 .

Внешние ссылки

Домашняя страница Эгона Бёргера
Публикации и т. д.
Резюме
Эгон Бёргер на DBLP библиографическом сервере
Публикации Эгона Бёргера , индексируемые Microsoft Academic

[mathgene-1] Эгон Бёргер в проекте «Математическая генеалогия»

[abrial-glasser-2] Абриаль, Жан-Раймон ; Глэссер, Уве. «Посвящение Эгону Бёргеру по случаю его 60-летия» (PDF) . Италия: Пизанский университет . Проверено 9 апреля 2012 г.

[3] «Резюме Эгона Бургера» (PDF) . Проверено 20 декабря 2022 г.

[4] «Эгон Бургер» . Европейская академия . Проверено 9 апреля 2012 г.

[5] Логика информатики , DBLP .

[6] Центр исследования абстрактных государственных машин. Архивировано 16 декабря 2014 г. в Wayback Machine .

[7] Международные семинары по ASM , Мичиганский университет , США.

[abz2008-8] Бёргер, Эгон; Батлер, Майкл ; Боуэн, Джонатан П .; Бока, Пол, ред. (2008). Абстрактные государственные машины, B и Z: Первая международная конференция, ABZ 2008, Лондон, Великобритания, 16–18 сентября 2008 г. Труды . Конспекты лекций по информатике . Том. 5238. Шпрингер-Верлаг . дои : 10.1007/978-3-540-87603-8 . ISBN 978-3-540-87602-1 .

[9] Фонд Гумбольдта , Германия.

[festchrift1-10] Абриаль, Жан-Раймон ; Глэссер, Уве, ред. (2009). Строгие методы создания и анализа программного обеспечения: очерки, посвященные Эгону Бёргеру по случаю его 60-летия . Конспекты лекций по информатике . Том. 5115. Шпрингер-Верлаг . дои : 10.1007/978-3-642-11447-2 . ISBN 978-3-642-11446-5 .

[festchrift2-11] Рашке, Александр; Риккобене, Эльвиния; Шеве, Клаус-Дитер, ред. (2021). Логика, вычисления и строгие методы: очерки, посвященные Эгону Бёргеру по случаю его 75-летия . Конспекты лекций по информатике . Том. 12750. Международное издательство Springer . дои : 10.1007/978-3-030-76020-5 . ISBN 978-3-030-76019-9 . S2CID 235326634 .

[ 1 ]

[ 2 ]

[ 3 ]

[ 4 ]

[ 5 ]

[ 6 ]

[ 7 ]

[ 8 ]

[ 9 ]

[ 10 ]

[ 11 ]

Базы данных авторитетного контроля
Международный	ЯВЛЯЮТСЯ ВИАФ WorldCat
Национальный	Франция Данные БнФ Германия Италия Израиль Бельгия Соединенные Штаты Чешская Республика Нидерланды
академики	Ассоциация вычислительной техники ДБЛП MathSciNet Проект математической генеалогии ОРЦИД zbMATH
Другой	ИдРеф