Rudolf Berghammer (born 1952 in Oberndorf, Germany) is a German

mathematician A mathematician is someone who uses an extensive knowledge of mathematics in their work, typically to solve mathematical problems. Mathematicians are concerned with numbers, data, quantity, structure, space, models, and change. History On ...

who works in

computer science Computer science is the study of computation, automation, and information. Computer science spans theoretical disciplines (such as algorithms, theory of computation, information theory, and automation) to practical disciplines (includi ...

Life

Rudolf Berghammer worked as an

electrician An electrician is a tradesperson specializing in electrical wiring of buildings, transmission lines, stationary machines, and related equipment. Electricians may be employed in the installation of new electrical components or the maintenance ...

at the Farbwerke Hoechst, Kelheim, from 1966 until 1970. He began studying Mathematics and Computer Science in 1973 at TU München. His academic teachers were

Friedrich L. Bauer Friedrich Ludwig "Fritz" Bauer (10 June 1924 – 26 March 2015) was a German pioneer of computer science and professor at the Technical University of Munich. Life Bauer earned his Abitur in 1942 and served in the Wehrmacht during World War ...

Klaus Samelson Klaus Samelson (21 December 1918 – 25 May 1980) was a German mathematician, physicist, and computer pioneer in the area of programming language translation and push-pop stack algorithms for sequential formula translation on computers. Early ...

, Gottfried Tinhofer, and

Gunther Schmidt Gunther Schmidt (born 1939, Rüdersdorf) is a German mathematician who works also in informatics. Life Schmidt began studying Mathematics in 1957 at Göttingen University. His academic teachers were in particular Kurt Reidemeister, Wilhelm Kl ...

. After obtaining his diploma in 1979, he started working as an assistant mainly to Gunther Schmidt and

at TU München where he obtained his award-winning Ph.D. in 1984. From 1988 on, he worked as an assistant to Gunther Schmidt at the Faculty for Computer Science of the Universität der Bundeswehr München, where he finally got his habilitation in 1990. Since 1993 he is a professor for Computer-aided Program Development at the Department of Computer Science at the

University of Kiel Kiel University, officially the Christian-Albrecht University of Kiel, (german: Christian-Albrechts-Universität zu Kiel, abbreviated CAU, known informally as Christiana Albertina) is a university in the city of Kiel, Germany. It was founded in ...

Work

For many years he has served as head of the steering committee of the international RAMiCS conference series (formerly termed RelMiCS). Rudolf Berghammer is known for his work in

relational mathematics In mathematics, a binary relation associates elements of one set, called the ''domain'', with elements of another set, called the ''codomain''. A binary relation over Set (mathematics), sets and is a new set of ordered pairs consisting of ele ...

, or Formal Methods of Programming, Semantics, Relational Methods in Computer Science. He developed the RelView system for the manipulation and visualisation of relations and relational programming. For instance, in 2019 he was coauthor of "Cryptomorphic topological structures: a computational relation algebraic approach".R. Berghammer,

, Michael Winter (2019) "Cryptomorphic topological structures: a computational relation algebraic approach", Journal of Logical and Algebraic Methods in Programming 102: 17–45, This work relates the classical neighborhood system approach to

topology In mathematics, topology (from the Greek words , and ) is concerned with the properties of a geometric object that are preserved under continuous deformations, such as stretching, twisting, crumpling, and bending; that is, without closing ...

to closure operators, kernel operators, and Aumann contact relations. The formulation of one approach to another is done with

calculus of relations In mathematical logic, algebraic logic is the reasoning obtained by manipulating equations with free variables. What is now usually called classical algebraic logic focuses on the identification and algebraic description of models appropriate for ...

. The article notes the contributions of RelView experiments with finite topologies, for instance for a set with seven elements, 9,535,241 topologies are tested. (see § 9).

Personal

One of his hobbies is mountaineering. In his youth he climbed Ortler or

Piz Bernina Piz Bernina ( Romansh, it, Pizzo Bernina, ) is the highest mountain in the Eastern Alps, the highest point of the Bernina Range, and the highest peak in the Rhaetian Alps. It rises and is located south of Pontresina and near the major Alpine ...

and other noted summits. He is an active climber spending several days in the

alps The Alps () ; german: Alpen ; it, Alpi ; rm, Alps ; sl, Alpe . are the highest and most extensive mountain range system that lies entirely in Europe, stretching approximately across seven Alpine countries (from west to east): France, Swi ...

every year. Furthermore he is an enthusiastic sailor owning a own sailing vessel in the baltic sea.

Written books

* ''Semantik von Programmiersprachen'', Logos Verlag, 2001, * ''Ordnungen, Verbände und Relationen mit Anwendungen'', Springer, * ''Mathematik für Informatiker: Grundlegende Begriffe und Strukturen'', Springer, , (eBook)

Editorships

* 1991: (with

) ''Graph-Theoretic Concepts in Computer Science'',

Lecture Notes in Computer Science ''Lecture Notes in Computer Science'' is a series of computer science books published by Springer Science+Business Media since 1973. Overview The series contains proceedings, post-proceedings, monographs, and Festschrifts. In addition, tutorial ...

#570, Proc. 17th Intern. Workshop WG '91, Richterheim Fischbachau, , * 2003: . * 2008: . * 2009: . * 2014: .

References

External links

Prof. Dr. Rudolf Berghammer
at Christian Albrechts Universität Kiel with access to a full list of publications and talks
Rudolf Berghammer
at researchr.org {{DEFAULTSORT:Berghammer, Gunther 1952 births 21st-century German mathematicians Academic staff of Bundeswehr University Munich Computer science educators Computer science writers Formal methods people Academic staff of the University of Kiel German computer scientists German textbook writers Living people Programming language researchers Technical University of Munich alumni Theoretical computer scientists