Florian Richoux
17/02/1983

Carrière académique

Été 2015 (3 mois)
Visiting Scientist à Facebook AI Research à Paris.

Printemps-été 2014 (5 mois)
JSPS Visiting Professor au Japanese-French Laboratory for Informatics (JFLI) et au Suda Lab de l'Université de Tokyo.

Depuis 2012
Maître de conférences au Laboratoire des Sciences du Numérique de Nantes (LS2N, ex-LINA) à l'Université de Nantes.

2010 - 2012
Chercheur CNRS contractuel au Japanese-French Laboratory for Informatics (JFLI) à l'Université de Tokyo.

2009 - 2010
Post-doc au département d'informatique mathématique de l'Université de Tokyo.

2006 - 2009
Thèse en Informatique Fondamentale au Laboratoire d'Informatique de l'école Polytechnique (LIX), École Polytechnique, Paris.

Formation

2006 - 2009
Thèse en Informatique Fondamentale au LIX, École Polytechnique, Paris.
Mention très honorable.

2005 - 2006
Master de Recherche en Informatique Fondamentale à l'Université d'Orléans.
Spécialité "Vérification des systèmes", 2ème sur 14 étudiants, mention très bien.

2004 - 2005
Master de Recherche en Informatique Fondamentale à l'Université de la Méditerranée, Marseille.
Spécialité "Logique et Complexité", 3ème sur 19 étudiants, mention bien.

2003 - 2004
Maîtrise d'Informatique Fondamentale à l'Université de Provence, Marseille.
Major sur 58 étudiants, mention bien.