Forschungsschwerpunkte / Research
-
Automata theory, in particular weighted automata and automata models for concurrent and distributed systems
-
logic
-
verification
-
domain theory
-
ordered algebraic structures
-
automorphism groups and model theory
Conferences and Workshops