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

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

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

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

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

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

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

• Semantik von Programmiersprachen , Logos Verlag, 2001, ISBN  978-3-89722-830-6
• Ordnungen, Verbände und Relationen mit Anwendungen , Springer, ISBN 3658006196 
• Mathematik für Informatiker: Grundlegende Begriffe und Strukturen , Springer, ISBN 978-3-658-06287-3 , ISBN 978-3-658-06288-0 (электронная книга)  

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

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