Major longlasting activities of Gunther SCHMIDT

Scientific Topics

Work on Relation Algebra since about 1972
originating from work on chess endings,
chess problem solving by computer, chess playing programs,
and discrete mathematics of timetabling and assignment programs;
the RALF System and the beginning of the RelView System

Work on Denotational Semantics, Domain Construction, and Program Transformation since 1982
relational semantics, sprout systems
the HOPS system (Higher Order Programming System)

Relational Methods in Computer Science, since 1994
initiator of the international activity of seminars, now held every one and a half year
organizer and (co-)editor of the proceedings

Combinatorial Aspects of VLSI, 1985--1990
graphic programming languages,
compilers for graphic representations

Programming Methodology, since 1970
in connection with semantics of programming
abstract data types and domain construction

Graph-Theoretic Concepts in Computer Science, 1975--1994
regularly attending the series of annual international workshops,
three times (co-)organizing and sometimes (co-)editing proceedings

Time-Table Construction, 1965--1990
theory and practice of constructing school
and university time-tables,

Gas Dynamics, Traffic Flow, 1965--1970
non-stationary problems
application to traffic flow

Function Theory of Several Complex Variables, 1960--1965
extension of holomorphic mappings increasing the image space,
compactification of normal complex spaces

Large Sponsored Projects

The project HOPS, since 1987
Higher Order Programming System
sponsored by DFG (German Research Foundation) for 6 years

The project LINDAS, 1978--1992
"Lebensmittel-, Inhaltsstoff- und Nährwert-Datenbanksystem"
planning, implementing, and maintaining the database underlying the
Food and Nutrition Table volume "Souci, Fachmann, Kraut" (known worldwide)
edited bi-annually by Deutsche Forschungsanstalt für Lebensmittelchemie

Work and projects on timetable construction 1968--1980
The MASTER-System developed at TU München
for the Bavarian Ministry of Education and Kulture
"Münchner automatische Stundenplanerstellung",
project of about 15 person years

Work and project on optimally assigning teachers to schools 1969--1973
The METHUSALEM-System developed at TU München
for the Bavarian Ministry of Education and Kulture
"Methodische Untersuchung aller Lehrereinsatzmöglichkeiten"
about 20 person years

BaFöG project, 1971--1981
Project to support transferring the German BaFöG law on financial support of education
from judicial formulation to programs for the (at that time) 11 German states,
for the German Federal Ministry of "Bildung"

Chair person COST 274 project TARSKI, 2001--2005
Theory and Applications of Relational Structures as Knowledge Instruments
Co-operation in the Field of Scientific and Technical Research
17 European nations


"Dekan", 1999--2002
Dean of the Faculty of Computer Science, UniBw München

"Sprecher", 1988--1998 and again since 2002
Speaker of the Institute for Software Technology, UniBw München

"Planungs- und Haushaltskommissionen", 1988--1998
Planning and budget committee of the Senate of UniBw München

"Etat-Kommission", 1968--1978
Budget committee of the Senate of TU München