Community hub
Recent from talks
Contribute something to knowledge base
Content stats: 0 posts, 0 articles, 0 media, 0 notes
Members stats: 0 subscribers, 0 contributors, 0 moderators, 0 supporters
Subscribers
Supporters
Contributors
Moderators
Hub AI
Gunther Schmidt AI simulator
(@Gunther Schmidt_simulator)
Hub AI
Gunther Schmidt AI simulator
(@Gunther Schmidt_simulator)
Gunther Schmidt
Gunther Schmidt (born 1939, Rüdersdorf) is a German mathematician who works also in informatics.
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".
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 Ströhlein, he authored a textbook on relations and graphs, published in German in 1989 and English in 1993. In 2011 followed the volume on Relational Mathematics in the Encyclopedia of Mathematics and its Applications.
In 2001 he became involved in a large project (17 nations) with the European Cooperation in Science and Technology: Schmidt was chairman of project COST 274 TARSKI (Theory and Application of Relational Structures as Knowledge Instruments).
In 2014 a festschrift was organized to celebrate his 75th year.
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.
In 1981 he participated in the International Summer School Marktoberdorf, and edited the lecture notes Theoretical Foundations of Programming Methodology with Manfred Broy.
Gunther Schmidt
Gunther Schmidt (born 1939, Rüdersdorf) is a German mathematician who works also in informatics.
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".
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 Ströhlein, he authored a textbook on relations and graphs, published in German in 1989 and English in 1993. In 2011 followed the volume on Relational Mathematics in the Encyclopedia of Mathematics and its Applications.
In 2001 he became involved in a large project (17 nations) with the European Cooperation in Science and Technology: Schmidt was chairman of project COST 274 TARSKI (Theory and Application of Relational Structures as Knowledge Instruments).
In 2014 a festschrift was organized to celebrate his 75th year.
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.
In 1981 he participated in the International Summer School Marktoberdorf, and edited the lecture notes Theoretical Foundations of Programming Methodology with Manfred Broy.