My research interestes are logic, term rewriting, automata theory, coalgebra, formalized mathematics and proof assistants.