معرفی
Denis Merigoux is a researcher at Inria specializing in the intersection of programming languages, formal verification, and computational law. As the lead of the Catala project, he focuses on translating legal texts into verifiable code to modernize tax and social welfare systems. His academic background includes a PhD in Computer Science from Université Paris Sciences et Lettres (2021) and a Master's thesis at École polytechnique.
۰مقاله ثبتشده
