personal picture

Professor | Professeur des Universités

Dr HDR*
Université Paris Nanterre
LIP6 UMR 7606 CNRS


Teaching

Software engineering
Software development
Verification
 

Research

Software engineering
Formal methods
Service-based systems
Business processes

Duties

Dir. Master MIAGE-FI/FP
UPL academic council
LIP6 laboratory council