Appraisals and Obituaries

Appraisals and Obituaries

Former Activities

Former Activities

Curriculum

Curriculum of Gunther SCHMIDT

---

Born

• November 28, 1939 in Rüdersdorf near Berlin, Germany

Marital Status

• married December 2, 1966
• a daughter and a son,
  now both with degrees in Informatics

School Education

• under post war circumstances Sep. 1945 - Feb. 1957,
  ending with "Abitur" in Bremen

Study of Mathematics and Physics

U Göttingen

SS 1957 - WS 1959/60

LMU München

SS 1960 - SS 1962

Degrees

Dipl.-Math.

SS 1962 at LMU München
in analysis of several complex variables
supervised by Prof. Karl Stein

Dr. rer. nat.

WS 1965/66 at LMU München

in analysis of several complex variables
supervised by Prof. Karl Stein

Dr. rer. nat. habil.

SS 1978 at TU München (thesis submitted SS 1977)
in Informatics

Career

"Verwalter der Dienstgeschäfte
eines Wissenschaftlichen Assistenten"

October 1, 1962 - March 31, 1966
Mathematics Institute of TU München,
attached to Prof. Robert Sauer

"Wissenschaftlicher Angestellter"

April 1, 1966 - April 15, 1966
Mathematics Institute of TU München

"Wissenschaftlicher Assistent"

April 16, 1966 - February 28, 1970
Mathematics Institute of TU München

"Oberassistent"

March 1, 1970 - February 28, 1973
Mathematics Institute of TU München

"Akademischer Direktor"

March 1, 1973 - September 30, 1980
Institute for Informatics of TU München

Associate Professor

October 1, 1980 - May 30, 1988
Institute for Informatics of TU München
including the following one-and-a-half-year period as

Full Professor

and temporary holder of the chair
of the late Prof. Klaus Samelson at TU München

Full Professor

since May 31, 1988
Institute for Software Technology
Faculty for Informatics of UniBw München

retired

since November 30, 2004

Habilitations

Habilitations

 

Walter Guttmann	Algebras for Iteration, Infinte Executions and Correctness of Sequential Computations Universität Ulm September 2015
Michael Winter	Goguen Categories: An Algebraic Approach to L-Fuzzy Relations With Applications in Computer Science Universität der Bundeswehr München 19. Dezember 2002
Wolfram Kahl	A Relation-Algebraic Approach to Graph Structure Transformation Universität der Bundeswehr München 27. November 2001
Ulrich Huckenbeck	Extremale Pfade in Graphen und verwandte Problemstellungen Universität Würzburg, 379 S. Dezember 1992; als auswärtiger Gutachter
Rudolf Berghammer	Transformational programming with non-deterministic and higher-order constructs Universität der Bundeswehr München 7. November 1990
Bernhard Möller	Higher Order Algebraic Specifications Technische Universität München Juli 1987

PhDs

Peter Höfner	Algebraic Calculi for Hybrid Systems Erstgutachter Prof. Dr. Bernhard Möller Zweitgutachter Prof. Dr. Gunther Schmidt, Prof. Dr. Walter Vogler Universität Augsburg 3. Juli 2009
Thomas Triebsees	Preserving Digital Objects: A Constraint-Based Approach for the Automated Application to Transformation Processes Universität der Bundeswehr München Erstgutachter Prof. Dr. Uwe Borghoff Zweitgutachter Prof. Dr. Gunther Schmidt 21. November 2008
Britta Kehden	Vektoren und Vektorprädikate und ihre Verwendung bei der Entwicklung relationaler Algorithmen Christian-Albrechts-Universität zu Kiel Erstgutachter Prof. Dr. Rudolf Berghammer, U Kiel Zweitgutachter Prof. Dr. Gunther Schmidt 15. Juli 2008
Arne Bayer	Visuelle Datenflußsprache mit Kombinatoren höherer Ordnung Universität der Bundeswehr München Erstgutachter Prof. Dr. Gunther Schmidt Zweitgutachter Prof. Dr. Andreas Schürr, TU Darmstadt 26. November 2004
Oliver Braun	Constructing Mobile Agents using Transformations Universität der Bundeswehr München Erstgutachter Prof. Dr. Gunther Schmidt Zweitgutachter Prof. Dr. Wolfram Kahl, McMaster University, Hamilton, Ontario, Kanada 11. August 2004
Eric Offermann	Konstruktion relationaler Kategorien Der Andere Verlag ISBN 3-89959-078-3 Universität der Bundeswehr München Erstgutachter Prof. Dr. Gunther Schmidt Zweitgutachter Prof. Dr. Cornelius Greither 26. Mai 2003
Frank Derichsweiler	Strategiegesteuerte Transformation von Termgraphen Der Andere Verlag ISBN 3-89959-026-0 Universität der Bundeswehr München Erstgutachter Prof. Dr. Gunther Schmidt Zweitgutachter Prof. Dr. Andreas Schürr, TU Darmstadt 27. September 2002
Ralf Behnke	Transformationelle Programmentwicklung im Rahmen relationaler und sequentieller Algebren Christian-Albrechts-Universität zu Kiel, 1998, 205 Seiten Erstgutachter Prof. Dr. Rudolf Berghammer, U Kiel Zweitgutachter Prof. Dr. Gunther Schmidt 24. Juni 1998
Michael Winter	Strukturtheorie heterogener Relationenalgebren mit Anwendungen auf Nichtdeterminismus in Programmiersprachen Universität der Bundeswehr München Dissertationsverlag NG Kopierladen, München, 1998, 172 Seiten ISBN 3-933214-11-4 Erstgutachter Prof. Dr. Gunther Schmidt Zweitgutachter Prof. Dr. Bernhard Möller, U Augsburg 30. April 1998
Claudia Hattensperger	Rechnergestütztes Beweisen in heterogenen Relationenalgebren Universität der Bundeswehr München Dissertationsverlag NG Kopierladen, München, 1997, 201 Seiten ISBN 3-928536-99-0 Erstgutachter Prof. Dr. Gunther Schmidt Zweitgutachter Prof. Dr. Rudolf Berghammer, U Kiel 19. Dezember 1997
Ludger Walther	Die Erreichbarkeitsanalyse zur Validierung komplexer Kommunikationsprotokolle Universität der Bundeswehr München Erstgutachter Prof. Dr. Hans-R. Wiehle Zweitgutachter Prof. Dr. Gunther Schmidt 11. November 1996
Wolfram Kahl	Algebraische Termgraphersetzung mit gebundenen Variablen Universität der Bundeswehr München Herbert-Utz-Verlag Wissenschaft, 1996, 152 S. ISBN 3-93127-60-4 Erstgutachter Prof. Dr. Gunther Schmidt Zweitgutachter Prof. Dr. Helmut Schwichtenberg, LMU München 22. Dezember 1995
Thomas Gritzner	wp-Kalkül und relationale Spezifikation kommunizierender Systeme Technische Universität München Erstgutachter Prof. Dr. Manfred Broy, TU München Zweitgutachter Prof. Dr. Gunther Schmidt 22. November 1995, 180 S.
Peter Kempf	Sequential and parallel functions as processes Universität der Bundeswehr München Erstgutachter Prof. Dr. Gunther Schmidt Zweitgutachter Prof. Dr. Manfred Broy, TU München 12. Juli 1994
Wolfgang Ries	Compilierung graphisch spezifizierter VLSI-Entwurfsregeln Universität der Bundeswehr München Erstgutachter Prof. Dr. Gunther Schmidt Zweitgutachter Prof. Dr. Kurt Antreich, TU München 14. Juli 1989
Hans Zierer	Programmierung mit Funktionsobjekten: Konstruktive Erzeugung semantischer Bereiche und Anwendung auf die partielle Auswertung Technische Universität München Erstgutachter Prof. Dr. Gunther Schmidt, Zweitgutachter Prof. Dr. Dr. h.c. Wilfried Brauer, TU München 3. Februar 1988
Rudolf Berghammer	Zur formalen Entwicklung von graphentheoretischen Algorithmen durch Transformation Technische Universität München Erstgutachter Prof. Dr. Gunther Schmidt Zweitgutachter Prof. Dr. Dr. h.c. mult. F. L. Bauer, TU München 10. Februar 1984
Horst Wendel	Zur Bestimmung optimaler Diagonalpivotfolgen für positiv definite Matrizen Technische Universität München Erstgutachter Prof. Dr. Gunther Schmidt Zweitgutachter Prof. Dr. Richard Baumann, TU München 4. August 1983
Franz Schweiggert	Zur Isomorphie endlicher Graphen und Strukturen Technische Universität München Erstgutachter Prof. Dr. Gottfried Tinhofer, TU München Zweitgutachter Prof. Dr. Josef Heinhold, TU München Drittgutachter Prof. Dr. Gunther Schmidt 1983