raisin

ANR-JCJC RAISIN: Resource-Aware conservatIve StatIc aNalysis

This project is funded through an ANR Young Researcher Grant (JCJC), and will start in Fall 2024. More details, including job offers and participants will be posted soon. Participants: Julien Forget Sophie Cerf