Forschung
Forschungsinteressen
- Automaten auf unendlichen Objekten
- Algorithmische Informationstheorie
- Fraktale Geometrie
- Berechenbarkeit in der Analysis
- Fehlerkorrigierende Codes
Forschungsportal Sachsen-Anhalt
Konferenzen (veranstaltet)
76. Workshop Algorithmen und Komplexität
und 28. Theorietag Automaten und Formale Sprachen
2018, Wittenberg
19. Theorietag "Automaten und Formale Sprachen"
2009, Wittenberg
22nd Workshop on (Constraint) Logic Programming
2008, Dresden
Sixth International Workshop on Computability and Complexity in Analysis
2004, Wittenberg
12. Theorietag "Automaten und Formale Sprachen"
2002, Wittenberg
Eingeladene Vorträge
Oded Maler Memorial Day
Grenoble, 19. September 2019
20ste Internationale Konferenz über
Beschreibungskomplexität formaler Systeme (DCFS 2018)
Halifax, 25. - 27. Juli 2018
Quantitative Logics and Automata
DFG Research and Training Group 1763
Research Seminar
ω-automata: Topology and Measure
Leipzig, 1. Dezember 2015
Jewels of Automata: from Mathematics to Applications
AutoMathA 2015
Leipzig, May 6 - 9, 2015
EQUINOCS meeting
The entropy of (formal) languages and dimensions of subsets in CANTOR space
23. Januar 2013, Grenoble
International Workshop on Theoretical Computer Science
2012, Auckland
7ter Workshop über Beschreibungskomplexität formaler Systeme
(DCFS 2005)
2005, Como, Italien
Gewichtete Automaten: Theorie und Anwendungen (WATA 2004)
2004, Dresden
17th "Summer" Topology Conference
2002, Auckland
Workshop on Constructivity, Complexity, and Fuzziness
1999, Galatzi, Rumänien