Research interests
Development of critical real-time embedded software
Model Driven Engineering
Validation & Verification
Automatic Code Generation, Automatic Test Generation

Notable past projects
ASSERT (EU project, coordinator ESA)
 Proof Based System Engineering
 Model Driven Approach

French cluster of competitiveness SYSTEM@TIC (Ile de France)
 Gateway from system models to software models
 Framework fot fault tolerant systems

Automatic Code Generation research project (ESA project)
 From Matlab/Simulink and SCADE model

OMEGA research project
 UML for real time critical software

Réalisation Axome - Création de sites Internet