Research Topics

To students interested in doing a thesis with me, I recommend to attend my logic seminar first (IV125, usually in the autumn semester) to get an idea of my research. In general, I work in the following areas:

monadic second-order logic and automata,
algebra and categories for tree languages,
graph decompositions and transductions.

More detailed information can be found in the following two books.

Monadic Second-Order Model Theory [A5, A4]

Abstract Algebraic Language Theory [A5, A4]

Funded Positions

There are currently no funded positions available.

Monadic Second-Order Model Theory	[A5, A4]
Abstract Algebraic Language Theory	[A5, A4]