Fundings

Amazon Research Awards: Resource-Aware Conservative Static Analysis

Amazon Research Award. Resource-Aware Conservative Static Analysis

ANR-JCJC RAISIN: Resource-Aware conservatIve StatIc aNalysis

ANR Young Researcher Grant (JCJC). Started in Fall 2024

Inria-AEx AVoCAT: Automated Verification of Catala programs

Inria Exploratory Action (AEx). Co-PI with Aymeric Fromherz