Laure Petrucci

Laure Petrucci is a Professor at Sorbonne Paris Nord University, affiliated with the Networks and Telecommunications Department and the LoVe (Logic and Verification) team at LIPN (Paris Nord Computer Science Laboratory, CNRS UMR 7030). She also serves as Deputy Scientific Director of CNRS for Normandy. Her research specializes in formal verification of concurrent systems using Petri nets and parameterized models, with a focus on combating state-space explosion through distributed algorithms.

Her work spans formal methods, distributed systems, and model checking, emphasizing practical applications in network verification and synthesis. Recent publications explore controller synthesis for timed games, probabilistic model checking, and SMT-based analysis of Petri nets, reflecting a consistent focus on scalable verification techniques.

She teaches undergraduate and master's courses in networks, databases, and programming at IUT Villetaneuse (France) and the University of Science and Technology of Hanoi (Vietnam).