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

• WATA 2012
  Workshop on Weighted Automata: Theory and Applications

• Groups and Model Theory
  Interaction between Group and Model Theory with emphasis Abelian Group Theory

• WATA 2010
  Workshop on Weighted Automata: Theory and Applications

• Dagstuhl-Seminar 2010
  Quantitative Models: Expressiveness and Analysis

• ESF-Workshop
  Distance Automata and Generalisations

• AAL09
  Automata in Algorithmic Logic

• DNTTT'08
  Developments and new tracks in trace theory

• GTG 2008
  Groups and Topological Groups

• WATA 2008
  Workshop on Weighted Automata: Theory and Applications

• Dagstuhl-Seminar 2007
  Algorithmic-logical theory of infinite structures

• Theorietag 2007
  Tagung der GI-Fachgruppe "Automaten und Sprachen"

• WATA 2006
  Workshop on Weighted Automata: Theory and Applications

• GTG 2004
  Groups and Topological Groups

---