2017ICA3PP(Best Paper Award)
I am currently a
I'm interested in the development of lightweight formal verification techniques for higher-order functional programs using term rewriting systems and tree automata. In this context, I've been involved in the development of the Timbuk verification framework.
IRISA Rennes Campus universitaire de Beaulieu 263 Avenue du Général Leclerc CS 74205 - 35042 RENNES Cedex France