Florent Bouchy

ancien Doctorant du LSV (Boursier Docteur-Ingénieur CNRS)

ancien Moniteur à l'Université Paris IX - Dauphine

Depuis janvier 2013, j'ai arrêté la recherche pour me consacrer à la santé naturelle.
Basé à Montréal, je travaille avec des compagnies comme Crudessence (alimentation vivante), Zayat Aroma (huiles essentielles), et le Centre EauVie (massothérapie et yoga). Mes services sont principalement axés sur la gestion de l'information, l'optimisation de processus d'entreprise, et la mise en place de procédures.
Je suis également massothérapeute en Esalen® et aromathérapie, sous le nom d'Efflorescent.
De novembre 2011 à novembre 2012, j'étais postdoc à Polytechnique Montréal avec John Mullins, sur un projet intitulé "Partitioning and Scheduling Requirements for Mixed-critical Avionic Embedded Systems on a Time-triggered Architecture"
De décembre 2009 à octobre 2011, j'étais chercheur post-doctoral R&D au CRIM (Centre de Recherche Informatique de Montréal, Canada) dans l'équipe Analyse de Systèmes Distribués
J'ai soutenu ma thèse de doctorat le mardi 10 novembre 2009, et je suis désormais Docteur de l'ENS Cachan ; plus d'informations ici

Mes intérêts de recherche s'orientent principalement vers la vérification de systèmes à compteurs avec horloges, en particulier en utilisant l'outil FAST.
Pour plus de détails, voici les présentations de mes articles TIME'08 et INFINITY'08
Je m'implique notamment dans les axes de recherche du LSV INFINI et TEMPO, et dans le projet ANR AVeriSS : Automated Verification of Software Systems

2006-2007 (S2) : TP de Programmation en OCaml à l'ENS Cachan (filières mathémathiques et informatique : L3 du Magistère math-info)
2007-2008 (S1) : TD et TP d'Informatique (UV 47 : fichiers, bases de données, Maple, Excel, FoxPro, ...) à Paris-Dauphine en L2 Gestion et Economie Appliquée
2007-2008 (S2) : TD d'Algorithmique à Paris-Dauphine en L1 Mathématiques et Informatique
2008-2009 (S1) : TD de Java-Objet à Paris-Dauphine en L3 Mathématiques et Informatique
2008-2009 (S1) : TD de Théorie des Graphes à Paris-Dauphine en L3 Mathématiques et Informatique
2008-2009 (S2) : TD d'Algorithmique à Paris-Dauphine en L1 Mathématiques et Informatique

Si vous vous sentez concerné par les dégâts environnementaux et humains causés par l'informatique...
Je m'occupais (il y a quelques temps) du flux RSS des séminaires de vérification en Ile-de-France
Le ha-index, un nouveau moyen de mesurer l'importance d'un chercheur !
Le webring de la salade...