L’excellence passionnément
My research portfolio is diverse :
Formal Methods, Static analysis, Abstract interpretation, Semantics-based code transformations, Validation of Embedded Systems, Computer arithmetic, Numerical accuracy, Compilation, Software engineering, Model-Based Systems Engineering (MBSE-SysML), Timing Analysis in Real Time Systems (WCET), etc.