Gunther Schmidt | |
---|---|
Born | 1939 |
Occupation | mathematician |
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 Klingenberg and Karl Stein. In 1960 he transferred to Ludwig-Maximilians-Universität München where he studied functions of several complex variables with Karl Stein. Schmidt wrote a thesis on analytic continuation of such functions.
In 1962 Schmidt began work at TU München with students of Robert Sauer, in the beginning in labs and tutorials, later in mentoring and administration. Schmidt's interests turned toward programming when he collaborated with Hans Langmaack on rewriting and the braid group in 1969. Friedrich L. Bauer and Klaus Samelson were establishing software engineering at the university and Schmidt joined their group in 1974. In 1977 he submitted his Habilitation "Programs as partial graphs".[1]
He became a professor in 1980. Shortly after that, he was appointed to hold the chair of the late Klaus Samelson for one and a half years. From 1988 until his retirement in 2004, he held a professorship at the Faculty for Computer Science of the Universität der Bundeswehr München. He was a classroom instructor for beginners courses as well as special courses in mathematical logic, semantics of programming languages, construction of compilers, and algorithmic languages. Working with Thomas Strohlein, he authored a textbook on relations and graphs, published in German in 1989 and English in 1993 and again in 2012.
In 2001 he became involved in a large project (17 nations) with the European Cooperation in Science and Technology:[2] Schmidt was chairman of project COST 274 TARSKI (Theory and Application of Relational Structures as Knowledge Instruments).[3]
In 2014 a festschrift was organized to celebrate his 75th year.[4]
The calculus of relations had a relatively low profile among mathematical topics in the twentieth century, but Schmidt and others have raised that profile. The partial order of binary relations can be organized by grouping through closure. In 2018 Schmidt and Michael Winter published Relational Topology which reviews classical mathematical structures, such as binary operations and topological space, through the lens of calculus of relations.
Work
In 1981 he participated in the International Summer School Marktoberdorf, and edited the lecture notes Theoretical Foundations of Programming Methodology with Manfred Broy.[5]
Gunther Schmidt is mainly known for his work on Relational Mathematics; he was co-founder of the RAMiCS conference series in 1994.
His textbooks on calculus of relations exhibit applications and potential of algebraic logic.
Books
- 1989: (with Thomas Ströhlein) Relationen und Graphen, Mathematik für Informatiker, Springer Verlag, ISBN 3-540-50304-8, ISBN 0-387-50304-8
- 1993: (with Thomas Ströhlein) Relations and Graphs Discrete Mathematics for Computer Scientists, EATCS Monographs on Theoretical Computer Science, Springer Verlag, ISBN 3-540-56254-0
- 2011: Relational Mathematics, Encyclopedia of Mathematics and its Applications, vol. 132, Cambridge University Press ISBN 978-0-521-76268-7[6]
- 2018: (with M. Winter) Relational Topology, Lecture Notes in Mathematics vol. 2208, Springer Verlag, ISBN 978-3-319-74451-3
- 2020: Rückblick auf die Anfänge der Münchner Informatik, Die blaue Stunde der Informatik, Springer-Vieweg, ISBN 978-3-658-28754-2, ISBN 978-3-658-28755-9
- 2023: Mathematik als Wissenschaft in der Gesellschaft, Springer-Spektrum, ISBN 978-3-662-67897-8
Editorships
- 2006: (with de Swart, H. C. M., Orłowska, E., and Roubens, M.)[7] Theory and Application of Relational Structures as Knowledge Instruments II, Wrap-up volume of the COST Action 274: TARSKI, Lecture Notes in Computer Science #4342, Springer ISBN 3-540-69223-1, ISBN 978-3-540-69223-2
- 2003: (with de Swart, H. C. M., Orłowska, E., and Roubens, M.) Theory and Application of Relational Structures as Knowledge Instruments, Kickoff volume of the COST Action 274: TARSKI, Lecture Notes in Computer Science #2929, Springer, ISBN 3-540-20780-5
- 2001: (with Parnas, D., Kahl, W.)[8] Relational Methods in Software, Special Issue of Electronic Notes in Theoretical Computer Science,, vol. 44, numbers 3, ISSN 1571-0661
- 1999: (with Jaoua, A.)[9] Relational Methods in Computer Science, Special Issue of Information Sciences, vol. 119, numbers 3+4, Elsevier
- 1997: with Brink, C., Kahl, W.: Relational Methods in Computer Science, Advances in Computing Science. Springer ISBN 3-211-82971-7
- 1994: (with Mayr, E. W., and Tinhofer, G.) Graph-Theoretic Concepts in Computer Science, vol. 903 of Lecture Notes in Computer Science, Proc. 20th Intern. Workshop WG '94, Jun 17–19, Herrsching, Springer 1994, ISBN 3-540-59071-4
- 1991: (with Berghammer, R.) 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
- 1987: (with Tinhofer, G)[10] Graph-Theoretic Concepts in Computer Science vol. 246 of Lecture Notes in Computer Science, Proc. 12th Intern. Workshop WG '86, Jun 17–19, Kloster Bernried, Springer, ISBN 3-540-17218-1, ISBN 0-387-17218-1
- 1982: (with Broy, M.) Theoretical Foundations of Programming Methodology. Reidel Publishers, ISBN 90-277-1460-6.
- 1981: (with Bauer, F. L.) Erinnerungen an Robert Sauer, Beiträge zum Gedächtniskolloquium anläßlich seines 10. Todestages, Springer
References
- ^ R. Berghammer and M. Winter (2004) "Gunther Schmidt’s Life as a mathematician and computer scientist", Journal of Logical and Algebraic Methods in Programming 83: 300 to 308
- ^ about the European Cooperation in Science and Technology
- ^ "COST 274 TARSKI". Archived from the original on 2015-07-23. Retrieved 2015-01-04.
- ^ Berghammer, R., Möller, B., Winter, M. (2014) Festschrift in Honour of Gunther Schmidt on the Occasion of his 75th Birthday, Special Issue of the Journal of Logical and Algebraic Methods in Programming
- ^ Marktoberdorf Summer School (1982). Broy, Manfred; Schmidt, Gunther (eds.). Theoretical Foundations of Programming Methodology: Lecture Notes of an International Summer School, 1981. NATO Advanced Study Institutes Series. Vol. 91. Reidel. Retrieved 20 February 2019.
- ^ CUP blurb for Relational Mathematics
- ^ "Stat-MQG". Archived from the original on 2013-05-12. Retrieved 2015-01-06.
- ^ "Wolfram Kahl home page".
- ^ "Ali Jaoua | Home | Qatar University". Archived from the original on 2011-03-06. Retrieved 2015-01-12.
- ^ "TUM - Mathematik - M9".
External links
- Homepage at Universität der Bundeswehr München with access to a full list of publications and talks
- Gunther Schmidt at DBLP Bibliography Server
- Gunther Schmidt at Library of Congress
- Gunther Schmidt author profile page at the ACM Digital Library
- researchr
- Berghammer, Rudolf; Winter, Michael (2014). "Gunther Schmidt's life as a mathematician and computer scientist". Journal of Logical and Algebraic Methods in Programming. 83 (2): 300–308. doi:10.1016/j.jlap.2014.02.015.
- 1939 births
- 20th-century German mathematicians
- 21st-century German mathematicians
- German computer scientists
- People from Märkisch-Oderland
- Living people
- German Lutherans
- Ludwig Maximilian University of Munich alumni
- Academic staff of the Technical University of Munich
- Academic staff of Bundeswehr University Munich
- Formal methods people
- Programming language researchers
- German textbook writers
- Computer science writers
- Theoretical computer scientists