Denis MERIGOUX is a PhD Candidate in Computer Science at the École normale supérieure (ENS) and the Institut national de recherche en sciences et technologies du numérique (INRIA) working on a thesis entitled Proof-Oriented Domain-Specific Language Design for High-Assurance Software, under the supervision of Karthikeyan BHARGAVAN and Jonathan PROTZENKO.

He is specialised in the study of programming languages and formal verification. He is part of INRIA's Prosecco research team that does formal and practical security research on cryptographic protocols, software security, web security, and hardware protection mechanisms.

Denis MERIGOUX will present a paper on Turning Law into Micro-Simulation Code with the Catala Programming Language (read abstract, PDF 25.2 KB) at the EQUIPRICE Lunch Seminar series, organised by Alfred GALICHON in the framework and with funding from his ERC-CoG project EQUIPRICE (Grant agreement No.866274).

More about Denis MERIGOUX and his research
More about the Equilibrium Methods for Resource Allocations and Dynamic Pricing (EQUIPRICE) Project

Date: THURSDAY, December 16th - 12 PM
Location: via Zoom (link to follow)

The ERC CoG EQUIPRICE Lunch Seminar series will resume next year: happy holidays!