Research My research interests include logic, term rewriting, automata theory, coalgebra, formalized mathematics and proof assistants. Automata Transforming Streams Productivity Termination Clocked Lambda Calculus & Clocked Böhm Trees Confluence & Unique Normal Forms