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.

Research Activities

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.

Publications

HAL Link

Scopus

DBLP

Curriculum Vitae (July, 2019)

• English version
• French version

Keywords

Set-membership Computation, validated approximation, validated numerical integration, interval analysis, affine arithmetic, constraint programing, operational research, robust control, optimal control, program verification.