<---->

Mazzocchi Nicolas

About

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

Talks

Teaching

I'm a teaching assistant of some courses.

Miscellaneous

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