|Chair for Theoretical Computer Science||Telephone:||+49-91-3185-64031|
I am an assistant professor (german: Akademischer Rat) at Chair for Theoretical Computer Science of Friedrich-Alexander University of Erlangen and Nürnberg. My research interests include (but not limited to):
- computational monads and side-effects;
- program logics (with side-effects);
- program semantics and functional programming;
- (universal) algebra, coalgebras, and category theory.
I am concerned with the basic research in the area of formal semantics of specification and programming languages. My work is thus oriented towards identification of the most general idioms and principles pervasively appearing in these areas, and especially those, which allow for a conceptual unification of various approaches so as to ensure both a high level of generality and practical meaningfulness.
With this in mind, I am studying and contributing process algebra, computational monads, fixpoint calculi, Kleene algebra, formal languages and automata theory.
Recently, I am actively involved into the development of complete generic Hoare calculi parametrized by computational effects (with L. Schröder, see our LICS 2013 paper), a coalgebraic theory of weak bisimulation (with D.Pattinson, see our recently accepted ICALP 2014 paper), a coalgebraic theory of formal languages “Coalgebraic Chomsky Hierarchy” (with S. Milius and A. Silva, see the extended version of our recent TCS 2014 paper).
- Talk “Coalgebraic Weak Bisimulation from Recursive Equations over Monads” presented at ICALP 2014.
- Talk “Monad-based Partial Correctness Assertions” accepted for workshop "Syntax and Semantics of Low-Level Languages" (LOLA 2013).