I am a postdoctoral researcher at ENSTA Paris in U2IS in the Semantics of Hybrid System Team. This is my personal webpage summing up my research activities, my publication in this context and my resume.
My research interest is on validated computation using set-membership framework (interval analysis, affine arithmetic,…). I applied this framework in several domains such as temporal systems (discrete or continuous time) in the context of validated numerical integration of dynamical system and integration of it in numerical constraint programming. I work also on the computation of inner-approximation of such systems. My work also focus on control systems and hybrid systems.
Curriculum Vitae (July, 2019)
Set-membership Computation, validated approximation, validated numerical integration, interval analysis, affine arithmetic, constraint programing, operational research, robust control, optimal control, program verification.