WendiUrribarri
my personal website
Just another researcher
I am a PhD candidate since November 2006 in the ProVal team at the LRI (Orsay, France), under supervision of Christine Paulin. My PhD thesis "Towards Certified Libraries" aims to the development of a module calculus for the Why verification platform. I also work as teaching assistant at the IUT de Sceaux for the C2i (Certificat Informatique et Internet) course.
I mainly work with Why and OCaml at this time. I also have some experience with ACL2 and GaCeLa. If you're interested in having more information about my projects, send me a note, and I'll get back to you as soon as humanly possible.
My professional interests
I am interested in formal methods for the development of correct programs, and in the integration of these methods to existing programming languages and tools. I have been working on this area since 2003. I also like teaching and have been working as teaching assistant sporadically since 2001.
Curriculum Vitæ
My resume (in French).
For a resume in English, visit 