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

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

Жизнь

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

Работа

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

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

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

Личное

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

Письменные книги

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

Редакции

  • 1991: (с Гюнтер Шмидт ) Теоретико-графические концепции в компьютерных науках, Конспект лекций по информатике # 570, Тр. 17-й Междунар. Workshop WG '91, Richterheim Fischbachau, ISBN  3-540-55121-2, ISBN  0-387-55121-2
  • 2003: Бергаммер, Р .; Möller, B .; Штрут, Г., ред. (2004-06-01), "RelMiCS '7 - реляционные и клини-алгебраические методы в компьютерных науках", Конспект лекций по информатике, 3051, ISBN  978-3-540-22145-6.
  • 2008: Бергаммер, Р .; Möller, B .; Струт, Г., ред. (2008-03-28), "RelMiCS '10 - Отношения и клини-алгебра в компьютерных науках", Конспект лекций по информатике, 4988, ISBN  978-3-540-78912-3.
  • 2009: Бергаммер, Р .; Jaoua, A .; Мёллер Б., ред. (2009-10-05), "RAMiCS '11 - Отношения и алгебра Клини в компьютерных науках", Конспект лекций по информатике, 5827, ISBN  978-3-642-04638-4.
  • 2014: Бергаммер, Р .; Möller, B .; Уинтер М. (ред.), «Праздник в честь Гюнтера Шмидта по случаю его 75-летия», Журнал логических и алгебраических методов программирования, 83 (2).

использованная литература

  1. ^ Р. Бергаммер, Гюнтер Шмидт, Майкл Винтер (2019) "Криптоморфные топологические структуры: вычислительный алгебраический подход", Журнал логических и алгебраических методов программирования 102: 17–45, Дои:10.1016 / j.jlamp.2018.09.004

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