Major longlasting activities of Gunther SCHMIDT
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 (co-)editing the 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"
Administration
- "Dekan", 1999 - 2002
- Dean of the Faculty of Computer Science, UniBw München
- "Sprecher", 1988 - 1998 und wieder seit 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
