Florent Bouchy
former PhD Student at LSV (CNRS PhD-Engineer grant)
former Teaching Assistant at Paris IX - Dauphine University
News
-
Since January 2013, I've stopped my career as a researcher to focus on natural health.
Based in Montreal, I work with companies such as Crudessence (living foods), Zayat Aroma (essential oils) and the WaterLife Center (massage therapy and yoga). My services mostly revolve around information management, enterprise process optimization, and elaboration of business procedures.
I am also an Esalen® massage therapist using aromatherapy, under the name Efflorescent.
-
From November 2011 to November 2012, I was a postdoc at Polytechnique Montreal with John Mullins, on a projet titled "Partitioning and Scheduling Requirements for Mixed-critical Avionic Embedded Systems on a Time-triggered Architecture"
-
From December 2009 to October 2011, I was an R&D post-doc researcher at CRIM (Montreal, Canada) in the Distributed Systems Analysis team
-
I have defended my PhD thesis on Tuesday, November 10th, 2009, and I am now a Doctor of ENS Cachan; more information here
Research
-
My research interests are mainly directed towards verifying counter systems with clocks, especially by using the FAST tool.
For more details, here are the presentations of my TIME'08 and INFINITY'08 papers
-
I'm involved in particular in the INFINI and TEMPO research orientations of LSV (sorry, no English version available yet), and in the ANR AVeriSS project : Automated Verification of Software Systems
Teaching
-
2006-2007 (S2): OCaml Programming, to L3 students in ENS Cachan (Mathematics and Computer Science major)
-
2007-2008 (S1): Computer Science (files, databases, Maple, Excel, FoxPro, ...), to L2 students in University Paris-Dauphine (Management and applied Economics major)
-
2007-2008 (S2): Algorithmics, to L1 students in University Paris-Dauphine (Mathematics and Computer Science major)
-
2008-2009 (S1): Java-OOP, to L3 students in University Paris-Dauphine (Mathematics and Computer Science major)
-
2008-2009 (S1): Graphs Theory, to L3 students in University Paris-Dauphine (Mathematics and Computer Science major)
-
2008-2009 (S2): Algorithmics, to L1 students in University Paris-Dauphine (Mathematics and Computer Science major)
Miscellaneous
-
Feeling concerned about computers damaging environment and mankind? (in French)
-
I used to manage the RSS feed for verification seminars in Parisian region
-
ha-index, a new tool for measuring the impact of a researcher!