Pierre Wilke

Address: Bureau F214, Irisa/Inria
Campus de Beaulieu
263, avenue du général Leclerc
35042 RENNES Cedex - France
Email: pierre.wilke@irisa.fr

I am a PhD student in the Celtique team at Université de Rennes 1 in France. My PhD work is about certified compilation of low-level programs.

Research Interests

My research interests cover the topics of static analysis of programs, low-level code and proof methods.



In 2014/2015, I am teaching the following lab sessions: