personal picture

Professor | Professeur des universités

Dr HDR*
Université Paris Nanterre
LIP6 (Sorbonne Université, 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