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
U. Paris Lumières academic council
U. Paris Sud CCSU-27
U. Paris Nanterre CCD-27