Рудольф Бергаммер

Рудольф Бергхаммер (родился в 1952 году в Оберндорфе, Германия) — немецкий математик , работающий в области информатики .

Жизнь

Рудольф Бергхаммер работал электриком в Farbwerke Hoechst в Кельхайме с 1966 по 1970 год. Он начал изучать математику и информатику в 1973 году в Мюнхенском техническом университете . Его академическими учителями были Фридрих Л. Бауэр , Клаус Самельсон , Готфрид Тинхофер и Гюнтер Шмидт . После получения диплома в 1979 году он начал работать ассистентом, главным образом, у Гюнтера Шмидта и Фридриха Л. Бауэра в Мюнхенском техническом университете, где получил удостоенную наград докторскую степень. в 1984 году. С 1988 года он работал ассистентом Гюнтера Шмидта на факультете компьютерных наук Университета Бундесвера в Мюнхене , где, наконец, получил степень доктора философии в 1990 году. С 1993 года он является профессором кафедры компьютерной разработки программ в Университете Бундесвера в Мюнхене. кафедра компьютерных наук Кильского университета .

Работа

В течение многих лет он возглавлял руководящий комитет серии международных конференций RAMiCS (ранее называвшихся RelMiCS).

Рудольф Бергаммер известен своими работами в области реляционной математики или формальных методов программирования, семантики и реляционных методов в информатике. Он разработал систему RelView для манипулирования и визуализации отношений и реляционного программирования.

Например, в 2019 году он был соавтором книги «Криптоморфные топологические структуры: вычислительный алгебраический подход». Эта работа связывает классический подход системы соседства к топологии с операторами замыкания, операторами ядра и Аумана контактными отношениями . Формулировка одного подхода к другому осуществляется с помощью исчисления отношений . В статье отмечается вклад экспериментов RelView с конечными топологиями, например, для набора из семи элементов протестирована 9 535 241 топология. (см. § 9).

Личное

Одно из его хобби – альпинизм . В юности он поднялся на Ортлер или Пиц Бернину и на другие известные вершины. Он активный альпинист, проводит несколько дней в Альпах каждый год . Кроме того, он увлеченный моряк, владеющий собственным парусным судном в Балтийском море.

Написанные книги

• Семантика языков программирования , Logos Verlag, 2001, ISBN   978-3-89722-830-6
• Порядки, ассоциации и связи с приложениями , Springer, ISBN   3658006196
• Математика для компьютерщиков: основные термины и структуры , Спрингер, ISBN   978-3-658-06287-3 , ISBN   978-3-658-06288-0 (электронная книга)

Редакции

• 1991: (совместно с Гюнтером Шмидтом ) Теоретико-графовые концепции в информатике , Конспекты лекций по информатике № 570, Proc. 17-й стажер. Семинар WG '91, Рихтерхайм-Фишбахау, ISBN   3-540-55121-2 , ISBN   0-387-55121-2
• 2003: Бергаммер, Р.; Мёллер, Б.; Струт, Г., ред. (01.06.2004), RelMiCS '7 - Реляционные и алгебраические методы Клини в информатике , Конспекты лекций по информатике, том. 3051, ISBN  978-3-540-22145-6 .
• 2008: Бергаммер, Р.; Мёллер, Б.; Струт, Г., ред. (28 марта 2008 г.), RelMiCS '10 - Отношения и алгебра Клини в информатике , Конспекты лекций по информатике, том. 4988, ISBN  978-3-540-78912-3 .
• 2009: Бергаммер, Р.; Джауа, А.; Мёллер Б., ред. (05.10.2009), RAMiCS '11 - Отношения и алгебра Клини в информатике , Конспекты лекций по информатике, том. 5827, ISBN  978-3-642-04638-4 .
• 2014: Бергаммер, Р.; Мёллер, Б.; Винтер, М. (ред.), «Фестивальный сборник в честь Гюнтера Шмидта по случаю его 75-летия», Журнал логических и алгебраических методов программирования , 83 (2) .

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

• Профессор доктор Рудольф Бергхаммер из Университета Христиана Альбрехта в Киле с доступом к полному списку публикаций и выступлений.
• Рудольф Бергаммер на Researchr.org