Activités pédagogiques

Activités pédagogiques

Derniers enseignements

Tous les enseignements (5)

2020- 2025: Réseaux informatiques

2020- 2025: Structure de données en C

2020- 2025: Programmation Assembleur

2020- 2025: Programmation système

2020- 2025: Services Web

Derniers encadrements

Tous les encadrements (8)

2015: Finding inductive invariants using satisfiability modulo theories and convex optimization

2015: Formalisation et typage d'un langage fonctionnel de programmation et de manipulation d'objets complexes

2014: Tracking sans marqueur de modeles physiques modulaires et articules

2014: Outils pour la formalisation en analyse classique : une etude de cas en theorie du controle

2014: Factorisation des regions cubiques et application a la concurrence