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, structure, space, models, and change.
History
On ...
and
computer scientist at the
Martin Luther University of Halle-Wittenberg
Martin Luther University of Halle-Wittenberg (german: Martin-Luther-Universität Halle-Wittenberg), also referred to as MLU, is a public, research-oriented university in the cities of Halle and Wittenberg and the largest and oldest university in ...
.
He received his
Ph.D.
A Doctor of Philosophy (PhD, Ph.D., or DPhil; Latin: or ') is the most common degree at the highest academic level awarded following a course of study. PhDs are awarded for programs across the whole breadth of academic fields. Because it is ...
in mathematics from the
University of Jena
The University of Jena, officially the Friedrich Schiller University Jena (german: Friedrich-Schiller-Universität Jena, abbreviated FSU, shortened form ''Uni Jena''), is a public research university located in Jena, Thuringia, Germany.
The un ...
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, the universities
Dortmund,
Siegen
Siegen () is a 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. The university town (nearly 20,000 students in the 2018–2019 winter semest ...
, and
Cottbus
Cottbus (; Lower Sorbian: ''Chóśebuz'' ; Polish: Chociebuż) is a university city and the second-largest city in Brandenburg, Germany. Situated around southeast of Berlin, on the River Spree, Cottbus is also a major railway junction with exte ...
in Germany and the
Technical University Vienna
TU Wien (TUW; german: Technische Universität Wien; still known in English as the Vienna University of Technology from 1975–2014) is one of the major universities in Vienna, Austria. The university finds high international and domestic recogn ...
, Austria. He is a member of the Managing Committee of the
Georg Cantor Association and an external researcher of the
at the
University of Auckland
, mottoeng = By natural ability and hard work
, established = 1883; years ago
, endowment = NZD $293 million (31 December 2021)
, budget = NZD $1.281 billion (31 December 2021)
, chancellor = Cecilia Tarrant
, vice_chancellor = Dawn F ...
, 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 1 + \log_2(d) ~) no pair of integers ~(\,p,\,q\,)~ exists ...
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 af ...
,
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. The word ''automata'' comes from the Greek word αὐτόματο ...
,
effective dimension theory,
ECCC"> ECCC
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, along with 135 journals in various ...
, 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 Computation,_Physics_and_Beyond',_pages_194-202._Springer_Science+Business_Media.html" "title=". Dinneen, B. Khoussainov and A. Nies, editors,
Computation, Physics and Beyond', pages 194-202. Springer Science+Business Media">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 ...
, 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. 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 ...
, 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
Formal languages
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