معرفی
Denis Merigoux is a Researcher at Inria Paris, affiliated with the PROSECCO (Proof techniques and software certification) team. He serves as project manager for the Catala project, an initiative under Inria's Apollo program focused on developing reliable software infrastructures for public policies. His work bridges computer science and law, aiming to transform legislative specifications into executable code for tax and social benefit systems.
He holds a Master's degree from École Polytechnique (2016) and a Ph.D. from Université Paris Sciences et Lettres (2021), where his thesis centered on proof-oriented domain-specific languages for high-assurance software.
Merigoux's research explores the intersection of programming languages, formal verification, and computational law. He developed the Catala domain-specific language to enhance the reliability of legal expert systems and public policy algorithms. His work addresses challenges in legal transparency, algorithmic accountability, and automated explainability of governmental systems.
His publications consistently focus on formal methods applied to legal systems, with recurring themes in domain-specific languages, verification of tax/social benefit algorithms, and computational law. Recent work emphasizes mechanized proof automation, ambiguity detection in legislation, and socio-technical barriers in public-sector algorithms.
Merigoux actively advises students, including PhD candidates and interns, on projects related to formal verification and computational law. He leads the Catala project funded by Inria and contributes to industrial collaborations like the Mlang compiler for French tax code analysis. He collaborates with legal experts and policymakers to ensure technical solutions align with juridical requirements.
As part of Inria's PROSECCO team, Merigoux collaborates on foundational research in program verification while driving practical applications for public administration. His Catala project team includes developers, legal experts, and formal methods specialists working on real-world implementations for French housing benefits and tax systems.
