Pascal Poizat

Pascal Poizat is a Professor at Université Paris Nanterre, affiliated with the LIP6 laboratory (Sorbonne Université, CNRS). His research focuses on software engineering, formal methods, and business process modeling, particularly in the areas of component composition, distribution, and behavioral verification using techniques like model checking and conformance testing.

His recent work analyzes dependency management in package ecosystems (e.g., Maven Central) and BPMN verification frameworks like sBPMN and VBPMN. He has received a best paper award at BPM 2019 and leads tools such as Goblin and VerChor for automated verification.

• Research trends: Dependency update quality optimization, BPMN formalization, and choreography verification.
• Key subfields: Symbolic testing, process algebra, temporal logic, adaptive composition, and data-aware service modeling.

Poizat has held leadership roles including Deputy Director of the Mathematics and Computer Science Department at Université Paris Nanterre and served on national recruitment committees (CNRS, Université Paris Sud). He has coordinated research projects like ANR PARDI and ANR PIMI.