Gunther Schmidt
Gunther Schmidt (*1939 in Rüdersdorf near Berlin) is a German mathematician who works also in informatics.
Life
Schmidt began studying Mathematics in 1957 at Göttingen University, continued 1960 in München at Ludwig-Maximilians-Universität München. His academic teachers were in particular Kurt Reidemeister, Wilhelm Klingenberg and Karl Stein. After obtaining his diploma in 1962, he started working as an assistant to Robert Sauer at the (then) Technische Hochschule München, especially in engineering mathematics, but he also worked until 1965/66 for his PhD with Stein at Ludwig-Maximilians-Universität München.
When informatics arose at about 1967 he switched to topics of combinatorics and graph theory. In 1977–78 he got his habilitation in informatics at TU München and in 1980 was promoted to professorship. Shortly after that, he was appointed to hold the chair of the late Klaus Samelson for one and a half years. Together with Thomas Ströhlein the books Relationen und Graphen[1] and Relations and Graphs[2] have appeared. His teaching required Mathematical Logics, Semantics of Programming Languages, Compiler Construction, Algorithmic Languages and all the cycles of beginners courses.
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. During the years 2001 until 2005 he acted as Chairman of the project COST 274 TARSKI[3] (Theory and Application of Relational Structures as Knowledge Instruments) of the European Cooperation in Science and Technology.[4] About 17 Nations participated in this endeavor.
Work
Gunther Schmidt is mainly known for his work on Relational Mathematics; he was co-founder of the RAMiCS conference series.
Award
- Berghammer, R., Möller, B., Winter, M.: 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: http://www.sciencedirect.com/science/journal/23522208/83/2
Written books
- Relational Mathematics, Encyclopedia of Mathematics and its Applications, vol. 132, Cambridge University Press, 2011, ISBN 978-0-521-76268-7[5]
- with Ströhlein, T.: Relations and Graphs – Discrete Mathematics for Computer Scientists, EATCS Monographs on Theoretical Computer Science, Springer Verlag 1993, ISBN 3-540-56254-0
- with Ströhlein, T.: Relationen und Graphen – Mathematik für Informatiker, Springer Verlag 1989, ISBN 3-540-50304-8, ISBN 0-387-50304-8
Editorships
- with de Swart, H. C. M., Orłowska, E., and Roubens, M.:[6] Theory and Application of Relational Structures as Knowledge Instruments II, Wrap-up volume of the COST Action 274: TARSKI, Vol. 4342, Lect. Notes in Computer Science, Springer, 2006, ISBN 3-540-69223-1, ISBN 978-3-540-69223-2
- 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, Vol. 2929, Lect. Notes in Computer Science, Springer, 2003, ISBN 3-540-20780-5
- with Parnas, D., Kahl, W.:[7] Relational Methods in Software, Special Issue of Electronic Notes in Theoretical Computer Science,, vol. 44, numbers 3, ISSN 1571-0661
- with Jaoua, A.:[8] Relational Methods in Computer Science, Special Issue of Information Sciences, vol. 119, numbers 3+4, Elsevier
- with Brink, C., Kahl, W.: Relational Methods in Computer Science, Advances in Computing Science. Springer Vienna-New York, 1997, ISBN 3-211-82971-7
- 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
- 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
- with Tinhofer, G:[9] 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 1987, ISBN 3-540-17218-1, ISBN 0-387-17218-1
- with Broy, M.: Theoretical Foundations of Programming Methodology. Reidel Publishers, 1982. ISBN 90-277-1460-6.
- with Bauer, F. L.: Erinnerungen an Robert Sauer, Beiträge zum Gedächtniskolloquium anläßlich seines 10. Todestages, Springer 1981
References
- ^ Relationen und Graphen – Mathematik für Informatiker, Springer Verlag 1989, ISBN 3-540-50304-8
- ^ Relations and Graphs – Discrete Mathematics for Computer Scientists, EATCS Monographs on Theoretical Computer Science, Springer Verlag 1993, ISBN 3-540-56254-0
- ^ http://www.cost.eu/COST_Actions/ict/Actions/274
- ^ http://www.cost.eu/about_cost
- ^ http://www.cambridge.org/us/academic/subjects/mathematics/logic-categories-and-sets/relational-mathematics?format=HB
- ^ http://www2.ulg.ac.be/stat-mqg/
- ^ http://www.cas.mcmaster.ca/~kahl/
- ^ http://faculty.qu.edu.qa/jaoua/
- ^ https://www-m9.ma.tum.de/Allgemeines/GottfriedTinhofer
External links
- Homepage [1] at Universität der Bundeswehr München with access to a full list of publications and talks
- Gunther Schmidt at DBLP Bibliography Server
- The Library of Congress - LCCN Permalink: http://lccn.loc.gov/n82090755
- ACM digital library http://dl.acm.org/author_page.cfm?id=81100588616&srt=meta_published_date%20dsc&role=all&perpage=10
- researchr http://researchr.org/alias/gunther-schmidt
- 1939 births
- 20th-century German mathematicians
- 21st-century German mathematicians
- German computer scientists
- German academics
- Living people
- German Lutherans
- Ludwig Maximilian University of Munich alumni
- Technische Universität München faculty
- Bundeswehr University Munich faculty
- Formal methods people
- Programming language researchers
- German textbook writers
- Computer science writers
- Computer science teachers
- German mathematicians
- Theoretical computer scientists