Gunther Schmidt (mathematician)

from Wikipedia, the free encyclopedia

Gunther Schmidt (born November 28, 1939 in Rüdersdorf near Berlin ) is a German mathematician and computer scientist .

Life

Gunther Schmidt is the son of a senior magistrate. From 1957 he studied mathematics at the University of Göttingen , continued from 1960 in Munich at the Ludwig Maximilians University in Munich . His teachers were mainly Kurt Reidemeister , Wilhelm Klingenberg and Karl Stein . He graduated in 1962 with the function theory of several complex variables.

From 1962 he worked as an assistant for Robert Sauer at the (then) Technical University of Munich, primarily for engineering mathematics, but did his doctorate in 1965/66 under Stein at the Ludwig Maximilians University in Munich. With the advent of computer science since 1967, he first found topics from combinatorics and graph theory. In 1977/78 he completed his habilitation in computer science at the Technical University of Munich and became associate professor in 1980. For a long time he represented the ordinariate of the late Klaus Samelson . The books Relationen und Graphen and Relations and Graphs were created together with Thomas Ströhlein .

Mathematical logic, semantics of programming languages, compiler construction, algorithmic languages ​​and the cycles of the beginners' lectures were added to the teaching. From 1988 until his retirement in 2004 he held a C4 professorship at the Faculty of Computer Science at the University of the Armed Forces in Munich . Towards the end of this period, he founded, together with scientists from other faculties, the degree program Economics computer science - as the first of the three Munich universities. From 2001 to 2004 he was Chairman of the COST 274 TARSKI (Theory and Application of Relational Structures as Knowledge Instruments) project of the European Cooperation in Science and Technology. 17 nations were involved.

plant

Gunther Schmidt is best known for his work in relational mathematics. He was a co-initiator of the international conference series on relational and algebraic methods in computer science RAMiCS .

Honor

Books

  • Review of the beginnings of computer science in Munich, The blue hour of computer science, Springer-Vieweg, 2020, ISBN 978-3-658-28754-2
  • with Michael Winter: Relational Topology, Lecture Notes in Mathematics, vol. 2208, Springer Verlag, 2018, ISBN 978-3-319-74451-3
  • Relational Mathematics, Encyclopedia of Mathematics and its Applications, vol. 132, Cambridge University Press, 2011, ISBN 978-0-521-76268-7
  • with Thomas Ströhlein: Relations and Graphs - Discrete Mathematics for Computer Scientists, EATCS Monographs on Theoretical Computer Science, Springer Verlag 1993, ISBN 3-540-56254-0 .
  • with Thomas Ströhlein: Relations and Graphs - Mathematics for Computer Scientists, Springer Verlag 1989, ISBN 3-540-50304-8 .

Editing

  • with HCM de Swart , E. Orłowska, Roubens, M .: 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 HCM de Swart, E. Orłowska, M. Roubens: 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 David Parnas , Kahl, W .: Relational Methods in Software, Special Issue of Electronic Notes in Theoretical Computer Science ,, vol. 44, numbers 3, ISSN  1571-0661
  • with Ali Jaoua : Relational Methods in Computer Science, Special Issue of Information Sciences , vol. 119, numbers 3 + 4, Elsevier
  • with Chris Brink , W. Kahl: Relational Methods in Computer Science, Advances in Computing Science. Springer Vienna-New York, 1997, ISBN 3-211-82971-7
  • with Ernst Mayr , G. Tinhofer: 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 R. Berghammer: 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 G. Tinhofer: 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 Manfred Broy : Theoretical Foundations of Programming Methodology. Reidel Publishers, 1982. ISBN 90-277-1460-6 .
  • with Friedrich L. Bauer : Memories of Robert Sauer, contributions to the memorial colloquium on the occasion of the 10th anniversary of his death, Springer 1981

Individual evidence

  1. ↑ http://www.cost.eu/COST_Actions/ict/Actions/274
  2. ↑ http://www.cost.eu/about_cost
  3. ↑ Archive link ( Memento from May 12, 2013 in the Internet Archive )
  4. ↑ Archive link ( Memento from February 25, 2016 in the web archive archive.today )
  5. ↑ http://www.cas.mcmaster.ca/~kahl/
  6. ↑ http://www.rpe.informatik.uni-kiel.de/de/team/prof.-dr.-rudolf-berghammer

Web links

personal data
SURNAME Schmidt, Gunther
BRIEF DESCRIPTION German mathematician and computer scientist
DATE OF BIRTH November 28, 1939
PLACE OF BIRTH Rüdersdorf near Berlin