About me
 |
I earned a Master's degree in Computer Science from Institut de la Francophonie pour l'Informatique /Université de La Rochelle in 2008. I am PhD student since February 2009 under supervision of Sylvie Boldo and Claude Marché with the suject "Formal verification of floating-point programs".
|