ルドルフ・ベルクハマー

ルドルフ・ベルクハマー（1952年、ドイツ、オーベルンドルフ生まれ）は、コンピューターサイエンスの分野で活動するドイツの数学者です。

ルドルフ・ベルクハマーは、1966年から1970年まで、ケールハイムのファーブヴェルケ・ヘーヒストで電気技師として働きました。1973年にミュンヘン工科大学で数学とコンピュータサイエンスを学び始めました。指導教員は、フリードリヒ・L・バウアー、クラウス・ザメルソン、ゴットフリート・ティンホファー、グンター・シュミットでした。1979年に学位を取得した後、ミュンヘン工科大学で主にグンター・シュミットとフリードリヒ・L・バウアーの助手として働き始め、そこで受賞歴のある博士号を取得しました。 1984年に博士号を取得。1988年よりミュンヘン連邦軍大学コンピュータサイエンス学部のギュンター・シュミット教授の助手として勤務し、1990年に同大学で博士号を取得。1993年よりキール大学コンピュータサイエンス学部のコンピュータ支援プログラム開発の教授を務めている。

彼は長年にわたり、国際RAMiCS会議シリーズ (旧称 RelMiCS) の運営委員会の委員長を務めてきました。

ルドルフ・ベルクハマーは、リレーショナル数学、つまりプログラミングの形式手法、セマンティクス、コンピュータサイエンスにおけるリレーショナル手法の研究で知られています。彼は、関係とリレーショナルプログラミング の操作と視覚化のためのRelViewシステムを開発しました。

例えば、2019年に彼は「暗号位相構造：計算関係代数的アプローチ」の共著者でした。^{[1]この研究は、}位相 に対する古典的な近傍システムアプローチを、閉包演算子、カーネル演算子、およびオーマン接触関係に関連付けます。あるアプローチから別のアプローチへの定式化は、関係の計算によって行われます。この記事では、有限位相でのRelView実験の貢献について言及しています。たとえば、7つの要素を持つセットの場合、9,535,241の位相がテストされます。（§9を参照）。

彼の趣味の一つは登山です。若い頃はオルトラーやピッツ・ベルニナなどの有名な山に登りました。彼は毎年アルプスで数日を過ごすアクティブな登山家です。さらに、バルト海で自分の帆船を所有する熱心な船乗りでもあります。

• Semantik von Programmierspra​​chen、ロゴス版、2001 年、 ISBN  978-3-89722-830-6
• Ordnungen、Verbände und Relationen mit Anwendungen、Springer、ISBN 3658006196 
• 情報数学: Grundlegende Begriffe und Strukturen、Springer、ISBN 978-3-658-06287-3、ISBN 978-3-658-06288-0 (eBook)  

• 1991: ( Gunther Schmidtと) コンピューター サイエンスにおけるグラフ理論の概念、コンピューター サイエンスの講義ノート#570、Proc. 17期インターン。ワークショップ WG '91、リヒターハイム フィッシュバッハウ、ISBN 3-540-55121-2、ISBN 0-387-55121-2  
• 2003: Berghammer, R.; Möller, B.; Struth, G. 編 (2004-06-01)、RelMiCS '7 – コンピュータサイエンスにおけるリレーショナルおよびクリーネ代数的手法、コンピュータサイエンス講義ノート、第 3051 巻、ISBN 978-3-540-22145-6。
• 2008: Berghammer, R.; Möller, B.; Struth, G. 編 (2008-03-28)、RelMiCS '10 – コンピュータ サイエンスにおける関係とクリーネ代数、コンピュータ サイエンスの講義ノート、第 4988 巻、ISBN 978-3-540-78912-3。
• 2009: Berghammer, R.; Jaoua, A.; Möller, B. 編 (2009-10-05)、RAMiCS '11 – コンピュータサイエンスにおける関係とクリーネ代数、コンピュータサイエンスの講義ノート、vol. 5827、ISBN 978-3-642-04638-4。
• 2014: Berghammer, R.; Möller, B.; Winter, M. (編)、「Gunther Schmidt 氏の 75 歳の誕生日を記念した記念論文集」、Journal of Logical and Algebraic Methods in Programming、83 (2)。

• キールのクリスチャン・アルブレヒト大学のルドルフ・ベルクハマー教授の出版物と講演の全リストにアクセスできます。
• researchr.org の Rudolf Berghammer