Günter Hotz (né le à Rommelhausen, commune de Limeshain) est un pionnier de l'informatique allemande. Il a publié entre autres des ouvrages de référence sur les langages formels, la théorie des circuits et la théorie de la complexité.
Biographie Günter Hotz obtient en 1952 le baccalauréat (Abitur) au lycée de Friedberg (Hessen). Ensuite, il étudie les mathématiques et la physique à l'université de Francfort-sur-le-Main et à l'université de Göttingen. En 1956, il obtient une maîtrise en mathématiques, et en 1958 un doctorat sous la direction de Kurt Reidemeister sur un travail intitulé Über zwei Knotendarstellungen. De 1958 à 1962, il est ingénieur de développement chez Telefunken. En 1962, il obtient une bourse de habilitation de la fondation Fritz-Thyssen. Il travaille alors à l'Institut de mathématiques appliquées de l'université de la Sarre, où il soutient son habilitation en 1965. Après une courte période d'enseignement à Tübingen, il est nommé en 1969 professeur ordinaire d'informatique à l'université de la Sarre à Sarrebruck. Il reste à ce poste jusqu'à son éméritat en 2000.
Günter Hotz a contribué de manière essentielle, en contemporain de Friedrich L. Bauer, à la mise en place de l'informatique comme une science autonome, entre les mathématiques et le génie électrique. Il a été membre fondateur et premier président de la Société pour l'informatique, et a contribué à la création de deux domaines spéciaux de la recherche allemande (les Sonderforschungsbereiche): "Linguistique électronique" et "Circuits". Il a su attirer à Sarrebruck de nombreux jeunes informaticiens, comme , Kurt Mehlhorn, Wolfgang Jakob Paul, Reinhard Wilhelm, dont certains sont ses propres élèves et qui ont contribué à faire de cette université un des centres principaux de l'informatique en Allemagne. Lui-même a eu de nombreux élèves (54 thèses) et descendants académiques (614 d'après MathGenealogy).
Depuis 2001, le Verein Freunde der Saarbrücker Informatik (l'association des amis de l'informatique à Sarrebruck) attribue chaque année une médaille Günter-Hotz aux trois meilleurs diplômés en informatique.
Honneurs et distinctions depuis 1985 : Membre de l'Académie des sciences et des lettres de Mayence 1986-1992 : Membre étranger de l'Académie des Sciences de la RDA (premier membre de la RFA) depuis 1995 : Membre correspondant de la Académie des sciences et des arts de Rhénanie-du-Nord-Westphalie 1987 : Prix Gottfried Wilhelm Leibniz 1986 : Ordre du mérite de la Sarre 1988 : Grande croix de l'Ordre du Mérite de la République fédérale d'Allemagne 1999 : Médaille Konrad-Zuse du mérite en informatique Membre honoraire de la Société pour l'informatique Docteur honoris causa de l'université Johann Wolfgang Goethe de Francfort-sur-le-Main, de l'université technique de Darmstadt, de l'université d'État de Tbilissi, de l'université de Paderborn. Professeur honoraire de l'institut d'informatique de l'Academia sinica et de l'université Beihang.
Travaux (sélection) Livres
— réédition du livre de 1968/69 .
Autres travaux
« Komplexität als Kriterium in der Theorienbildung » (1988) « Algorithmen, Sprachen und Komplexität » (1990) — Introduit ce qui est le « Groupe de Hotz ».. — Il démontre l'existence la forme normale de Greibach double : chaque membre droit de règle commence et finit par une lettre terminale..
Notes et références
Liens externes .
Publications de Günter Hotz sur DBLP Publications de Günter Hotz sur ioport-net
Catégorie:Informaticien allemand Catégorie:Étudiant de l'université Johann Wolfgang Goethe de Francfort-sur-le-Main Catégorie:Étudiant de l'université de Göttingen Catégorie:Professeur à l'université de Tübingen Catégorie:Professeur à l'université de la Sarre Catégorie:Docteur honoris causa de l'université de technologie de Darmstadt Catégorie:Docteur honoris causa de l'université Johann Wolfgang Goethe de Francfort-sur-le-Main Catégorie:Docteur honoris causa de l'université de Paderborn Catégorie:Lauréat du prix Gottfried-Wilhelm-Leibniz Catégorie:Membre de l'Académie des sciences et des lettres de Mayence Catégorie:Membre de l'Académie des sciences et des arts de Rhénanie-du-Nord-Westphalie Catégorie:Membre de l'Académie des sciences de la RDA Catégorie:Commandeur de l'ordre du Mérite de la République fédérale d'Allemagne Catégorie:Récipiendaire de l'ordre du Mérite de Sarre Catégorie:Naissance en novembre 1931 Catégorie:Naissance en Hesse