Zur Topologie der regulären Mengen served as the doctoral thesis for Ludwig Staiger when he completed his mathematics degree at the University of Jena in 1976. This initial academic work laid the foundation for a career focused on the intersection of computer science and formal language theory, conducted primarily within the German university and research system.
Academic and Research Background
Staiger earned his doctorate under the guidance of Gerd Wechsung and Rolf Lindner. His early professional appointments included positions at the Academy of Sciences in Berlin, the Central Institute of Cybernetics and Information Processes, and the Karl Weierstrass Institute for Mathematics. He also contributed to technical research at the Otto-von-Guericke University Magdeburg. Throughout his career, he maintained a presence in the academic community as a visiting professor at institutions including RWTH Aachen, the University of Dortmund, the University of Siegen, the University of Cottbus, and the Technical University of Vienna.
Twenty questions, eight minutes on the clock, and a percentile measured against everyone who has taken it. No sign-up.
Take the IQ test →Contributions to Automata Theory
Collaboration with Klaus Wagner led to the development of the Staiger–Wagner automaton. This structure is one of several outcomes from his long-term specialization in the field of ω-languages. Staiger has authored more than 19 papers specifically addressing the properties of these infinite sequences. His research extends to the application of ω-languages in the investigation of Liouville numbers, providing insights into the relationship between formal language theory and number theory.
Theoretical Specializations
The scope of his current research involves combinatorics on words, effective dimension theory, and algorithmic information theory. He participates in global academic structures, serving as a member of the Managing Committee of the Georg Cantor Association. Additionally, he holds a position as an external researcher for the Center for Discrete Mathematics and Theoretical Computer Science at the University of Auckland, New Zealand. His professional network includes an Erdős Number of 2, established through his connection to Solomon Marcus.
Published Works
His bibliography spans several decades and includes contributions to edited volumes and technical journals. Notable publications include his exploration of Kolmogorov complexity of infinite words and his chapter on ω-languages for the Handbook of Formal Languages. In 2023, he acted as a special issue guest editor for Theoretical Computer Science, contributing to a volume dedicated to Cristian Calude.
Fast facts
- Born: 1948, Jena
- Ph.D.: 1976, University of Jena
- Current institution: Martin Luther University of Halle-Wittenberg
- Notable co-invention: Staiger–Wagner automaton
- Primary research field: ω-languages
- Erdős Number: 2
Questions readers ask
What is the Staiger–Wagner automaton?
It is a mathematical model for automata co-invented by Ludwig Staiger and Klaus Wagner used in the study of infinite words.
Where does Ludwig Staiger conduct his research?
He is based at the Martin Luther University of Halle-Wittenberg and serves as an external researcher at the University of Auckland.
