Activités pédagogiques

Activités pédagogiques

Derniers enseignements

Tous les enseignements (1)

2020- 2025: chimie minérale 2

Derniers encadrements

Tous les encadrements (3)

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