| 词条 | Rudolf Berghammer |
| 释义 |
Rudolf Berghammer (born 1952 in Oberndorf, Germany) is a German mathematician who works in computer science. LifeRudolf 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. WorkFor 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, 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".[1] This work relates the classical neighborhood system approach to topology to closure operators, kernel operators, and Aumann contact relations. The formulation of one approach to another is done with calculus 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). PersonalOne 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
Editorships
References1. ^R. Berghammer, Gunther Schmidt, Michael Winter (2019) "Cryptomorphic topological structures: a computational relation algebraic approach", Journal of Logical and Algebraic Methods in Programming 102: 17–45, {{doi|10.1016/j.jlamp.2018.09.004}} External links
13 : 1952 births|21st-century German mathematicians|Bundeswehr University Munich faculty|Computer science educators|Computer science writers|Formal methods people|German academics|German computer scientists|German textbook writers|Living people|Programming language researchers|Technical University of Munich alumni|Theoretical computer scientists |
| 随便看 |
|
开放百科全书收录14589846条英语、德语、日语等多语种百科知识，基本涵盖了大多数领域的百科知识，是一部内容自由、开放的电子版国际百科全书。