Rudolf Berghammer

Rudolf Berghammer (born 1952 in Oberndorf, Germany) is a German mathematician who works in computer science.

Life

Rudolf Berghammer worked as an electrician 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, Klaus Samelson, Gottfried Tinhofer, and Gunther Schmidt. After obtaining his diploma in 1979, he started working as an assistant mainly to Gunther Schmidt and Friedrich L. Bauer 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.

Work

Rudolf Berghammer is known for his work in relational mathematics, 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 many years he has served as head of the steering committee of the international RAMiCS conference series (formerly termed RelMiCS).

Personal

One of his hobbies is mountaineering. In his youth he climbed Ortler or Piz Bernina and other noted summits. He is an active climber spending several days in the alps every year.

Written books

  • 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 (eBook)

Editorships

  • with Gunther Schmidt: Graph-Theoretic Concepts in Computer Science, vol. 570 of Lecture Notes in Computer Science, Proc. 17th Intern. Workshop WG '91, Jun 17-19, Richterheim Fischbachau, Springer 1991, ISBN 3-540-55121-2, ISBN 0-387-55121-2
  • Berghammer, R.; Möller, B.; Struth, G., eds. (2008), "RelMiCS '10 – Relations and Kleene-Algebra in Computer Science", Lecture Notes in Computer Science, 4988, ISBN 978-3-540-78912-3 .
  • Berghammer, R.; Jaoua, A.; Möller, B., eds. (2009), "RAMiCS '11 – Relations and Kleene Algebra in Computer Science", Lecture Notes in Computer Science, 5827, ISBN 978-3-642-04638-4 .
  • Berghammer, R.; Möller, B.; Struth, G., eds. (2003), "RelMiCS '7 – Relational and Kleene-Algebraic Methods in Computer Science", Lecture Notes in Computer Science, 3051, ISBN 3-540-22145-X .
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.