About me

I'm a PhD student in computer science at INRIA Rennes, working in the Celtique team under the supervision of Thomas Jensen and Frédéric Besson at IRISA on the certification of decision procedures and static analyses.

Contact