A journey in bringing formal methods to public administrations
Research Scientist at Inria since Sep. 2022.