2020- 2025

chimie minérale 2

2017

Formal methods for functional verification of cache-coherent systems-on-chip

2017

Analyse de problemes de decision distribuee et conception d'heuristiques de resolution

2017

Exploration-exploitation dilemma in reinforcement learning under various form of prior knowledge