Nicolas Mazzocchi

About - PDF

positions: I am a Post Doctoral researcher at the IMDEA Software Institute under the direction of Pierre Ganty. I did my PhD at ULB in the formal methods and verification team supervised by Emmanuel Filiot and Jean-François Raskin. This work has been funded by the competitive individual 4 year grant FNRS-FRIA and focuses on decidable and efficient formalisms for quantitative verification.

bio: My research interest lies in the domain of formal methods for computer-aided verification. I am focusing on specification models with a good tradeoff between the expressiveness of system behaviours and the decidability of algorithms that ensure safety and robustness. My Ph.D. contributes to the research effort of automata-based quantitative model-checking methods. My current postdoc aims at the tractability of these techniques by the use of order theory, abstract interpretation, and compositionality.

keywords: counter machines, decidable logics, formal methods model-checking, Presburger arithmetic, transducers, weighted automata.

Publications - DBLP

Theses

Talks

Teaching

Miscellaneous