Activités pédagogiques

Activités pédagogiques

Derniers enseignements

Tous les enseignements (6)

2020- 2025: Architecture des ordinateurs

2020- 2025: Programmation orientée objet

2020- 2025: Systèmes et Réseaux informatique

2020- 2025: Génie logiciel

Derniers encadrements

Tous les encadrements (7)

2020: Verification par model-checking de programmes concurrents parametres sur des modeles memoires faibles

2020: Gestion des incoherences pour l'acces aux donnees en presence d'ontologies

2019: Deep Learning for morphokinetic information extraction on time lapse microscopy images of human embryo

2018: Apprentissage pour le controle de plateformes paralleles a large echelle

2018: Maintenance Predictive de reseaux dequipements fondee sur des contraintes spatiales et temporelles