From 2002 until 2007, I was a research assistant at the chair for automata theory of Prof. Franz Baader at TU Dresden.
My research interests are in the area of expressive description logics and decision procedures for such logics, in particular tableau- and automata-based algorithms. The relation between tableaus and automata is also the topic of my PhD thesis.
Most of my publications can be downloaded from my ResearchGate page; those from my time at the chair for automata theory are also on the chair's publication page.
As a student, I also implemented two tableau-based satisfiability testers in Lisp: SAGA for the Guarded Fragment and GoST for the fragment GF1-.
If you have any questions or suggestions, I am looking forward to reading your mail!