Zur Topologie der regulären Mengen diente Ludwig Staiger 1976 als Dissertation bei seinem Abschluss in Mathematik an der Universität Jena. Diese erste akademische Arbeit legte den Grundstein für eine Karriere an der Schnittstelle von Informatik und formaler Sprachtheorie, die überwiegend im deutschen Universitäts- und Forschungssystem stattfand.
Akademischer und wissenschaftlicher Hintergrund
Staiger promovierte unter der Betreuung von Gerd Wechsung und Rolf Lindner. Zu seinen frühen beruflichen Stationen gehörten Positionen an der Akademie der Wissenschaften in Berlin, dem Zentralinstitut für Kybernetik und Informationsprozesse sowie dem Karl-Weierstrass-Institut für Mathematik. Zudem trug er zur technischen Forschung an der Otto-von-Guericke-Universität Magdeburg bei. Während seiner gesamten Laufbahn blieb er der akademischen Gemeinschaft als Gastprofessor an Einrichtungen wie der RWTH Aachen, der TU Dortmund, der Universität Siegen, der BTU Cottbus und der Technischen Universität Wien verbunden.
Beiträge zur Automatentheorie
Die Zusammenarbeit mit Klaus Wagner führte zur Entwicklung des Staiger-Wagner-Automaten. Diese Struktur ist eines von mehreren Ergebnissen seiner langjährigen Spezialisierung auf dem Gebiet der ω-Sprachen. Staiger hat mehr als 19 Arbeiten verfasst, die sich speziell mit den Eigenschaften dieser unendlichen Folgen befassen. Seine Forschung erstreckt sich auch auf die Anwendung von ω-Sprachen bei der Untersuchung von Liouville-Zahlen und liefert Einblicke in das Verhältnis von formaler Sprachtheorie und Zahlentheorie.
Theoretische Spezialisierungen
Der Schwerpunkt seiner aktuellen Forschung liegt auf der Kombinatorik von Wörtern, der effektiven Dimensionstheorie und der algorithmischen Informationstheorie. Er engagiert sich in globalen akademischen Gremien als Mitglied des Verwaltungsausschusses der Georg-Cantor-Vereinigung. Darüber hinaus ist er als externer Forscher am Center for Discrete Mathematics and Theoretical Computer Science der University of Auckland in Neuseeland tätig. Sein professionelles Netzwerk umfasst eine Erdős-Zahl von 2, begründet durch seine Verbindung zu Solomon Marcus.
Zwanzig Fragen, acht Minuten auf der Uhr und ein Perzentil, gemessen an allen bisherigen Teilnehmern. Ohne Anmeldung.
IQ-Test starten →Veröffentlichungen
Seine Bibliografie erstreckt sich über mehrere Jahrzehnte und umfasst Beiträge zu Sammelbänden und Fachzeitschriften. Zu seinen nennenswerten Publikationen gehören Untersuchungen zur Kolmogorov-Komplexität unendlicher Wörter sowie sein Kapitel über ω-Sprachen für das Handbook of Formal Languages. Im Jahr 2023 war er Gastredakteur einer Sonderausgabe der Fachzeitschrift Theoretical Computer Science für einen Band, der Cristian Calude gewidmet war.
Kurzbiografie
- Geboren: 1948, Jena - Promotion: 1976, Universität Jena - Aktuelle Institution: Martin-Luther-Universität Halle-Wittenberg - Bekannte Miterfindung: Staiger-Wagner-Automat - Hauptforschungsgebiet: ω-Sprachen - Erdős-Zahl: 2
Häufig gestellte Fragen
### Was ist der Staiger-Wagner-Automat?
Es handelt sich um ein von Ludwig Staiger und Klaus Wagner miterfundenes mathematisches Modell für Automaten, das bei der Untersuchung unendlicher Wörter verwendet wird.
### Wo führt Ludwig Staiger seine Forschung durch?
Er ist an der Martin-Luther-Universität Halle-Wittenberg tätig und arbeitet als externer Forscher an der University of Auckland.
