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.

Participants:

• Julien Forget
• Sophie Cerf