Rudolf Berghammer
Rudolf Berghammer(born 1952 in Oberndorf, Germany) is a Germanmathematicianwho works incomputer science.
Life
[edit]Rudolf Berghammer worked as anelectricianat theFarbwerke Hoechst,Kelheim, from 1966 until 1970. He began studying Mathematics and Computer Science in 1973 atTU München.His academic teachers wereFriedrich L. Bauer,Klaus Samelson,Gottfried Tinhofer,andGunther Schmidt.After obtaining his diploma in 1979, he started working as an assistant mainly to Gunther Schmidt andFriedrich L. Bauerat 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 theUniversitä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 theUniversity of Kiel.
Work
[edit]For many years he has served as head of the steering committee of the internationalRAMiCSconference series (formerly termed RelMiCS).
Rudolf Berghammer is known for his work inrelational mathematics,or Formal Methods of Programming, Semantics, Relational Methods in Computer Science. He developed theRelViewsystem for the manipulation and visualisation ofrelationsand relational programming.
For instance, in 2019 he was coauthor of "Cryptomorphic topological structures: a computational relation algebraic approach".[1] This work relates the classical neighborhood system approach totopologyto closure operators, kernel operators, andAumanncontact relations. The formulation of one approach to another is done withcalculus of relations.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
[edit]One of his hobbies ismountaineering.In his youth he climbedOrtlerorPiz Berninaand other noted summits. He is an active climber spending several days in thealpsevery year. Furthermore he is an enthusiastic sailor owning a own sailing vessel in the baltic sea.
Written books
[edit]- Semantik von Programmiersprachen,Logos Verlag, 2001,ISBN978-3-89722-830-6
- Ordnungen, Verbände und Relationen mit Anwendungen,Springer,ISBN3658006196
- Mathematik für Informatiker: Grundlegende Begriffe und Strukturen,Springer,ISBN978-3-658-06287-3,ISBN978-3-658-06288-0(eBook)
Editorships
[edit]- 1991: (withGunther Schmidt)Graph-Theoretic Concepts in Computer Science,Lecture Notes in Computer Science#570, Proc. 17th Intern. Workshop WG '91, Richterheim Fischbachau,ISBN3-540-55121-2,ISBN0-387-55121-2
- 2003:Berghammer, R.; Möller, B.; Struth, G., eds. (2004-06-01),RelMiCS '7 – Relational and Kleene-Algebraic Methods in Computer Science,Lecture Notes in Computer Science, vol. 3051,ISBN978-3-540-22145-6.
- 2008:Berghammer, R.; Möller, B.; Struth, G., eds. (2008-03-28),RelMiCS '10 – Relations and Kleene-Algebra in Computer Science,Lecture Notes in Computer Science, vol. 4988,ISBN978-3-540-78912-3.
- 2009:Berghammer, R.; Jaoua, A.; Möller, B., eds. (2009-10-05),RAMiCS '11 – Relations and Kleene Algebra in Computer Science,Lecture Notes in Computer Science, vol. 5827,ISBN978-3-642-04638-4.
- 2014:Berghammer, R.; Möller, B.; Winter, M. (eds.), "Festschrift in Honour of Gunther Schmidt on the Occasion of his 75th Birthday",Journal of Logical and Algebraic Methods in Programming,83(2).
References
[edit]- ^R. Berghammer,Gunther Schmidt,Michael Winter (2019) "Cryptomorphic topological structures: a computational relation algebraic approach",Journal of Logical and Algebraic Methods in Programming102: 17–45,doi:10.1016/j.jlamp.2018.09.004
External links
[edit]- Prof. Dr. Rudolf BerghammeratChristian Albrechts Universität Kielwith access to a full list of publications and talks
- Rudolf Berghammerat researchr.org
- 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