Günter Hotz

Günter Hotz is a full Professor at the Department of Computer Science (Fachrichtung Informatik), Universität des Saarlandes, Germany. His academic career spans over five decades, including roles as

• Director of the Computer Center (1972-1974)
• Spokesperson for SFB 100 (1982-1984) and SFB 124 (1991-1992)

.

Research Interests include

• Theoretical Computer Science
• Circuit Design
• Computational Complexity
• Information Theory
• Geometric Motion Planning
• Formal Verification

. His work focuses on analytic machines, hardware verification, and motion planning algorithms, with applications in linguistics and VLSI design.

Publications emphasize formal methods for hardware, computational models over real numbers, and efficient parsing algorithms. Key trends involve integrating mathematical theory with practical circuit design and motion planning solutions.

Scientific Awards include

• Leibniz Prize (1986)
• Konrad Zuse Medal (1999)
• Grand Cross of Merit (1998)

.

Students: Supervised 40 dissertations, with over a third of his advisees becoming professors in mathematics and computer science.

Labs & Projects: Led major research initiatives like SFB 100 (COMSKEE system) and SFB 124 (VLSI design methods). Collaborative works with international institutions in France, the U.S., and Georgia.