Ludwig Staiger is a German

mathematician A mathematician is someone who uses an extensive knowledge of mathematics in their work, typically to solve mathematical problems. Mathematicians are concerned with numbers, data, quantity, mathematical structure, structure, space, Mathematica ...

and

computer scientist A computer scientist is a scientist who specializes in the academic study of computer science. Computer scientists typically work on the theoretical side of computation. Although computer scientists can also focus their work and research on ...

at the

Martin Luther University of Halle-Wittenberg Martin Luther University Halle-Wittenberg (), also referred to as MLU, is a public university, public research university in the cities of Halle, Saxony-Anhalt, Halle and Wittenberg. It is the largest and oldest university in the German State o ...

. He received his Ph.D. in mathematics from the

University of Jena The University of Jena, officially the Friedrich Schiller University Jena (, abbreviated FSU, shortened form ''Uni Jena''), is a public research university located in Jena, Thuringia, Germany. The university was established in 1558 and is cou ...

in 1976; Staiger wrote his doctoral thesis, ''Zur Topologie der regulären Mengen'', under the direction of and Rolf Lindner. 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 RWTH Aachen University (), in German ''Rheinisch-Westfälische Technische Hochschule Aachen'', is a German public research university located in Aachen, North Rhine-Westphalia, Germany. With more than 47,000 students enrolled in 144 study prog ...

, the universities

Dortmund Dortmund (; ; ) is the third-largest city in North Rhine-Westphalia, after Cologne and Düsseldorf, and the List of cities in Germany by population, ninth-largest city in Germany. With a population of 614,495 inhabitants, it is the largest city ...

Siegen Siegen () is a List of cities and towns in Germany, city in Germany, in the south Westphalian part of North Rhine-Westphalia. It is located in the district of Siegen-Wittgenstein in the Arnsberg (region), Arnsberg region. The university town (n ...

, and

Cottbus Cottbus () or (;) is a university city and the second-largest city in the German state of Brandenburg after the state capital, Potsdam. With around 100,000 inhabitants, Cottbus is the most populous city in Lusatia. Cottbus lies in the Sorbian ...

in Germany and the

Technical University Vienna TU Wien () is a public research university in Vienna, Austria. The university's teaching and research are focused on engineering, computer science, and natural sciences. It currently has about 28,100 students (29% women), eight faculties, and ...

, 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 The University of Auckland (; Māori: ''Waipapa Taumata Rau'') is a public research university based in Auckland, New Zealand. The institution was established in 1883 as a constituent college of the University of New Zealand. Initially loc ...

, New Zealand. 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 including the paper on this topic in the monograph. He found surprising applications of ω-languages in the study of

Liouville number In number theory, a Liouville number is a real number x with the property that, for every positive integer n, there exists a pair of integers (p,q) with q>1 such that :0<\left, x-\frac\<\frac. The inequality implies that Liouville numbers po ...

s. Staiger is an active researcher in

combinatorics on words Combinatorics on words is a fairly new field of mathematics, branching from combinatorics, which focuses on the study of words and formal languages. The subject looks at letters or symbols, and the sequences they form. Combinatorics on words ...

automata theory Automata theory is the study of abstract machines and automata, as well as the computational problems that can be solved using them. It is a theory in theoretical computer science with close connections to cognitive science and mathematical l ...

, effective dimension theory,Electronic Colloquium on Computational Complexity Reports of Ludwig Staiger
/ref> and algorithmic information theory.

Notes

Bibliography

* L. Staiger. Quasiperiods of infinite words. In Alexandra Bellow, Cristian S. Calude, , editors
''Mathematics Almost Everywhere: In Memory of Solomon Marcus''
pages 17–36,

World Scientific World Scientific Publishing is an academic publisher of scientific, technical, and medical books and journals headquartered in Singapore. The company was founded in 1981. It publishes about 600 books annually, with more than 170 journals in var ...

, Singapore, 2018. * C. S. Calude, L. Staiger. Liouville numbers, Borel normality and algorithmic randomness, Theory of Computing Systems, First online 27 April 2017,
doi:10.1007/s00224-017-9767-8
'. * Staiger, L.
Exact Constructive and Computable Dimensions
, Theory of Computing Systems 61 (2017) 4, 1288-1314. * C. S. Calude, L. Staiger, F. Stephan
Finite state incompressible infinite sequences
''Information and Computation'' 247 (2016), 23-36. * Staiger, L.
On Oscillation-Free Chaitin h-Random Sequences
. In M. Dinneen, B. Khoussainov and A. Nies, editors,
Computation, Physics and Beyond
', pages 194-202.

Springer-Verlag Springer Science+Business Media, commonly known as Springer, is a German multinational publishing company of books, e-books and peer-reviewed journals in science, humanities, technical and medical (STM) publishing. Originally founded in 1842 in ...

, 2012. * Staiger, L
The Kolmogorov complexity of infinite words
'' Electronic Colloquium on Computational Complexity (EECC)'' 13, 70 (2006). * Staiger, L.
ω-Languages
. In G. Rozenberg and A. Salomaa, editors, ''Handbook of Formal Languages'', Volume 3, pages 339-387.

, Berlin, 1997.

External links

Ludwig Staiger Home Page

CDMTCS at the University of Auckland
* * * ''Algorithmic Complexity and Applications'': Special issue of
Fundamenta Informaticae
(83, 1-2, 2008), dedicated to Professor L. Staiger 60's birthday. {{DEFAULTSORT:Staiger, Ludwig Theory of computation 21st-century German mathematicians Year of birth missing (living people) Living people German computer scientists 20th-century German mathematicians University of Jena alumni Academic staff of the Martin Luther University of Halle-Wittenberg