Home
Activities :
The ARCADE team’s core expertise spans two key research themes: formal methods and decision support systems. Within this scope, we actively contribute to disciplinary communities focused on:
- Formal modeling & verification
- Categorical approaches
- Algorithmic decision-making
- Preference modeling & computational social choice
Our applied research integrates with MICS laboratory’s strategic initiatives:
- Cross-cutting Artificial Intelligence axis (collaboration with GEMILA team)
- Partnership with CVN toward establishing the MICM Institute
Synergizing formal methods with AI We leverage our dual expertise to bridge formal approaches and AI, addressing critical challenges in trustworthy AI:
- Trustworthy systems - Applying formal verification rigors (traditionally used for critical systems) to ensure AI fairness, explainability, and uncertainty management
- AI-enhanced validation - Integrating machine learning techniques for:
- Test case generation
- Formal model inference from observations
- Assisted code synthesis
