pascal.poizat

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

Software engineering
Software development
Verification

Software engineering
Formal methods
Service-based systems
Business processes

Dir. Master MIAGE-FI/FP
U. Paris Lumières academic council
U. Paris Sud CCSU-27
U. Paris Nanterre CCD-27