pascal.poizat

Dr HDR*
Université Paris Nanterre
LIP6 (Sorbonne Université, CNRS)

Software engineering
Software development
Verification

Software engineering
Formal methods
Business processes
Service-based systems

Dir. Master MIAGE-FI/FP
U. Paris Sud CCSU-27
U. Paris Nanterre CCD-27