Mazzocchi Nicolas


I am currently PhD student at ULB in the formal methods and verification team supervised by Emmanuel Filiot and Jean-François Raskin. My work is funded by the competitive individual 4 year grant FNRS-FRIA and focuses on decidable and efficient formalisms for quantitative verification.

Keywords: counter machines, computational complexity, decidable logics, formal methods, game theory, model-checking, Presburger arithmetic, quantitative languages, system verification, transducers, weighted automata.

Publications - DBLP



I'm a teaching assistant of some courses.


For further information, don't hesitate to contact me by email.