Ludwig Staiger

Ludwig Staiger är en tysk matematiker och datavetare vid Martin Luther University of Halle-Wittenberg .

Han fick sin Ph.D. i matematik från universitetet i Jena 1976; Staiger skrev sin doktorsavhandling, Zur Topologie der regulären Mengen , under ledning av Gerd Wechsung och Rolf Lindner.

Tidigare har han haft befattningar vid Vetenskapsakademin i Berlin (öst), Central Institute of Cybernetics and Information Processes, Karl Weierstrass Institute for Mathematics och Technical University Otto-von-Guericke Magdeburg . Han var gästprofessor vid RWTH Aachen University , universiteten Dortmund , Siegen och Cottbus i Tyskland och Tekniska universitetet i Wien , Österrike. Han är medlem i förvaltningskommittén för Georg Cantor Association och en extern forskare vid Center for Discrete Mathematics and Theoretical Computer Science vid University of Auckland, Nya Zeeland.

Han uppfann tillsammans med Klaus Wagner Staiger-Wagner-automaten. Staiger är expert på ω-språk , ett område där han skrev mer än 19 artiklar, inklusive papper om detta ämne i monografin. Han hittade överraskande tillämpningar av ω-språk i studien av Liouville-tal .

Staiger är en aktiv forskare inom kombinatorik om ord , automatteori , effektiv dimensionsteori och algoritmisk informationsteori .

Bibliografi

• L. Staiger. Kvasiperioder av oändliga ord. I Alexandra Bellow , Cristian S. Calude , Tudor Zamfirescu , redaktörer, Mathematics Almost Everywhere: In Memory of Solomon Marcus , sidorna 17–36, World Scientific , Singapore, 2018.
• CS Calude , L. Staiger. Liouville-tal, Borel-normalitet och algoritmisk slumpmässighet, Theory of Computing Systems, Först 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.
• CS Calude , L. Staiger, F. Stephan. Finita state inkompressibla oändliga sekvenser , Information and Computation 247 (2016), 23-36.
• Staiger, L. " On Oscillation-Free Chaitin h-Random Sequences ". I [M. Dinneen , B. Khoussainov och A. Nies, redaktörer, Computation, Physics and Beyond , sidorna 194-202. Springer-Verlag , 2012.
• Staiger, L. Kolmogorov-komplexiteten hos oändliga ord , Electronic Colloquium on Computational Complexity (EECC) 13, 70 (2006).
• Staiger, L. " ω-Languages ​​". I G. Rozenberg och A. Salomaa , redaktörer, Handbook of Formal Languages , Volym 3, sidorna 339-387. Springer-Verlag , Berlin, 1997.

externa länkar

• Ludwig Staigers hemsida
• CDMTCS vid University of Auckland
• Ludwig Staiger på DBLP Bibliography Server
• Ludwig Staiger -publikationer indexerade av Google Scholar
• Algoritmisk komplexitet och tillämpningar : Specialnummer av Fundamenta Informaticae (83, 1-2, 2008), tillägnad professor L. Staigers 60-årsdag.