Ludwig Staiger

{{Short description|German mathematician and computer scientist}}

File:Gerd-Wechsung-Ludwig-Staiger.jpg

Ludwig Staiger is a German mathematician and computer scientist at the Martin Luther University of Halle-Wittenberg.

He received his Ph.D. in mathematics from the University of Jena in 1976; Staiger wrote his doctoral thesis, Zur Topologie der regulären Mengen, under the direction of {{ill|Gerd Wechsung|de}} and Rolf Lindner.{{MathGenealogy|id=65034}}

Previously he held positions at the Academy of Sciences in Berlin (East), the Central Institute of Cybernetics and Information Processes, the Karl Weierstrass Institute for Mathematics and the Technical University Otto-von-Guericke Magdeburg. He was a visiting professor at RWTH Aachen University, the universities Dortmund, Siegen, and Cottbus in Germany and the Technical University Vienna, Austria. He is a member of the Managing Committee of the Georg Cantor Association and an external researcher of the Center for Discrete Mathematics and Theoretical Computer Science at the University of Auckland, New Zealand.[http://www.cs.auckland.ac.nz/CDMTCS/docs/extpeople.html CDMTCS External Researchers]

He co-invented with Klaus Wagner the Staiger–Wagner automaton. Staiger is an expert in ω-languages, an area in which he wrote more than 19 papers {{DBLP |name=Ludwig Staiger}} including the paper on this topic in the monograph.[https://www.springer.com/gp/book/9783642638596 Handbook of Formal Languages] He found surprising applications of ω-languages in the study of Liouville numbers.

Staiger is an active researcher in combinatorics on words, automata theory, effective dimension theory,[https://eccc.weizmann.ac.il/search/?search=Staiger Electronic Colloquium on Computational Complexity Reports of Ludwig Staiger] and algorithmic information theory.

Notes

{{reflist|30em}}

Bibliography

  • L. Staiger. Quasiperiods of infinite words. In Alexandra Bellow, Cristian S. Calude, {{ill|Tudor Zamfirescu|ro}}, editors, [https://www.worldscientific.com/worldscibooks/10.1142/10912 Mathematics Almost Everywhere: In Memory of Solomon Marcus], pages 17–36, World Scientific, Singapore, 2018.
  • C. S. Calude, L. Staiger. Liouville numbers, Borel normality and algorithmic randomness, Theory of Computing Systems, First online 27 April 2017, [https://link.springer.com/article/10.1007/s00224-017-9767-8 doi:10.1007/s00224-017-9767-8].
  • Staiger, L. "[https://doi.org/10.1007/s00224-017-9790-9 Exact Constructive and Computable Dimensions]", Theory of Computing Systems 61 (2017) 4, 1288-1314.
  • C. S. Calude, L. Staiger, F. Stephan. [http://dx.doi.org/10.1016/j.ic.2015.11.003 Finite state incompressible infinite sequences], Information and Computation 247 (2016), 23-36.
  • Staiger, L. "[https://dx.doi.org/10.1007/978-3-642-27654-5_15 On Oscillation-Free Chaitin h-Random Sequences]". In M. Dinneen, B. Khoussainov and A. Nies, editors, [https://www.springer.com/gp/book/9783642276538 Computation, Physics and Beyond], pages 194-202. Springer-Verlag, 2012.
  • Staiger, L. [http://eccc.hpi-web.de/eccc-reports/2006/TR06-070/index.html The Kolmogorov complexity of infinite words], Electronic Colloquium on Computational Complexity (EECC) 13, 70 (2006).
  • Staiger, L. "[http://citeseerx.ist.psu.edu/viewdoc/download;jsessionid=CB21AA7D00A17BADAE650D2B342D7752?doi=10.1.1.48.4015&rep=rep1&type=pdf ω-Languages]". In G. Rozenberg and A. Salomaa, editors, Handbook of Formal Languages, Volume 3, pages 339-387. Springer-Verlag, Berlin, 1997.