Description: Florian Jamain's Professional Home Page - LAMSADE, Université Paris-Dauphine, Paris
research (8957) computer science (1326) graphs (148) computational complexity (9) algorithmics (5) florian jamain (1) lamsade (1)
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 .