Timothée Haudebourg

ISTIC, Inria, Rennes, France


I am currently a Phd student at the Institut de Recherche en Informatique et Systèmes Aléatoires (ISTIC) in the CELTIC team, under the supervision of Thomas Genet and Thomas Jensen.

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

Email: timothee.haudebourg@irisa.fr