Florian Faissole

Doctorant, Inria - Toccata / LRI - VALS

English version

Recherche

Mes thèmes de recherche favoris sont liés à l'utilisation des assistants de preuve (Coq notamment) pour la formalisation de l'analyse et l'étude des erreurs d'arrondis en arithmétique à virgule flottante. Pour de plus amples détails~:

Publications, rapports et présentations

Publications acceptées :

      [1] A Coq formal proof of the Lax-Milgram theorem (Sylvie Boldo, François Clément, Florian Faissole, Vincent Martin & Micaela Mayero), 2016.

      [2] Synthetic topology in HoTT for probabilistic programming (Florian Faissole & Bas Spitters), 2016.

Rapports :

Preuves formelles en analyse fonctionnelle (Florian Faissole), 2016, pdf.

Enseignement

Je suis chargé d'enseignement à l'Université Paris-Sud : Je suis très intéressé par les questions de méthode d'enseignement et d'éducation, et suis un défenseur de l'école classique. J'ai été professeur particulier de mathématiques pour les lycéens depuis l'obtention de mon baccalauréat, et je me suis investi dans des cours de soutien entre élèves à l'ÉNSIIE.

Liens intéressants pour les étudiants de l'Université Paris-Sud (et les autres) :

Bio

Research experience

Education

Contact