Günter Hotz

aus Wikipedia, der freien Enzyklopädie
Zur Navigation springen Zur Suche springen

Günter Hotz (* 16. November 1931 in Rommelhausen) ist ein Pionier der deutschen Informatik. Er verfasste unter anderem Standardwerke über Formale Sprachen, Schaltkreistheorie und Komplexitätstheorie.

Hotz machte 1952 sein Abitur am Realgymnasium in Friedberg (Hessen). Danach studierte er Mathematik und Physik in Frankfurt am Main und Göttingen. 1956 schloss er mit dem Diplom in Mathematik ab. 1958 wurde er bei Kurt Reidemeister mit dem Thema „Über zwei Knotendarstellungen“ promoviert. 1958 bis 1962 war er als Entwicklungsingenieur bei Telefunken tätig. 1962 erhielt er ein Habilitationsstipendium der Fritz-Thyssen-Stiftung. Er folgte einer Einladung an das Institut für Angewandte Mathematik der Universität des Saarlandes, wo er sich 1965 habilitierte. Nach einer kurzen Lehrtätigkeit in Tübingen wurde er dann 1969 ordentlicher Professor für Informatik an der Universität des Saarlandes in Saarbrücken. Obwohl er Rufe an andere Universitäten erhielt, blieb er an diesem Lehrstuhl bis zu seiner Emeritierung 2000. Die Saarbrücker Studenten haben dies mehrfach mit Fackelzügen honoriert.

Hotz hatte wesentlichen Anteil an der Etablierung des Faches Informatik als eigenständige Wissenschaft zwischen Mathematik und Elektrotechnik. Er war Gründungsmitglied und erster Vorsitzender der Gesellschaft für Informatik und trug zur Einrichtung zweier Sonderforschungsbereiche der Deutschen Forschungsgemeinschaft bei: „Elektronische Sprachforschung“ und „VLSI-Entwurfsmethoden und Parallelität“.

Seit 2001 verleiht der „Verein Freunde der Saarbrücker Informatik“ jährlich die Günter-Hotz-Medaille an die drei erfolgreichsten Informatik-Absolventen.

Günter Hotz ist seit 1958 verheiratet und hat fünf Töchter und elf Enkel. Er lebt seit 1972 in St. Ingbert. Zu seinen Schülern gehören u. a. Claus Peter Schnorr, Volker Claus, Otto Spaniol und Wolfgang Paul.[1]

Ehrendoktor der Universitäten

Ehrenprofessur

Veröffentlichungen (Auszug)

[Bearbeiten | Quelltext bearbeiten]
  • Automatentheorie und formale Sprachen (1969/70, mehrere Neufassungen)
  • Homomorphismen und Reduktionen linearer Sprachen (1970)
  • Informatik: Rechenanlagen, Teubner Studienbuch (1972)
  • Schaltkreistheorie, De Gruyter (1974)
  • Komplexität als Kriterium in der Theorienbildung (1988)
  • Algorithmen, Sprachen und Komplexität (1990)
  • Einführung in die Informatik, Leitfäden und Monographien der Informatik, B. G. Teubner, (1990)
  • Algorithmische Informationstheorie (1997)

Einzelnachweise

[Bearbeiten | Quelltext bearbeiten]
  1. https://link.springer.com/chapter/10.1007/978-3-658-37822-6_1
  2. Mitgliedseintrag von Günter Hotz bei der Akademie der Wissenschaften und der Literatur Mainz, abgerufen am 11.10.17
  3. http://www-hotz.cs.uni-sb.de/~hotz/curriculum_vitae.html
  4. http://www.cs.uni-saarland.de/index.php?id=408
  5. Bekanntmachung von Verleihungen des Saarländischen Verdienstordens. In: Chef der Staatskanzlei (Hrsg.): Amtsblatt des Saarlandes. Nr. 35. Saarbrücker Zeitung Verlag und Druckerei GmbH, Saarbrücken 13. Juli 1989, S. 995 (uni-saarland.de [PDF; 206 kB; abgerufen am 2. Juni 2017]).