Institute for Software Technology

Fakultät für Informatik

Universität der Bundeswehr München

Full Address: 85577 Neubiberg, Germany

Phone: +49-170-7-361626

eMail: Gunther.Schmidt@UniBw.DE

 

Bibliography

 

Research Interests

  • Formal Methods in Software Engineering
  • Semantics of Programming Languages
  • Relational Methods in Computer Science
  • Graph Theory in Computer Science
  • Relational Mathematics
  • Member of the Editorial Board of the
    Electronic Journal on Relational Methods
    in Computer Science - JoRMiCS

Miscellaneous

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