Florian Jamain

I am currently an engineer in formal methods at CLEARSY.

I mainly develop secured train on-board computers.
I am project manager of ANR project BLaSST.
Note that I also give some courses and trainings (fr) on B-Method, contact me if you are interested.

I obtained my Ph.D. in June 2014 in the LAMSADE at University Paris-Dauphine.
My supervisors were Pr. Cristina Bazgan and Pr. Daniel Vanderpooten.

I mainly worked on multi-objective optimization, algorithmics and complexity.
The goal of my thesis was to study discrete representations of the nondominated set for multi-objective optimization problems.
You can read here a short abstract of the thesis (eng/fr).

I also worked on algorithmic game theory.

My C.V. is available here (fr).

Key-words: B-Method, Formal Methods, Optimization, Multi-objective, Complexity, Games.

         C.V. CLEARSY

Contact Information

Email

Phone

Address