Activités pédagogiques

Activités pédagogiques

Derniers enseignements

Tous les enseignements (4)

2020- 2025: Enzymologie

2020- 2025: Techniques appliquées à la Biologie

2020- 2025: Biotechnologie Animale

2020- 2025: Parasitologie/ Virologie

Derniers encadrements

Tous les encadrements (6)

2020: Fonction Zeta de Hurwitz p-adique et irrationalite

2018: Information Flow Security in Component-Based Models : From verification to Implementation

2018: Vues et requetes sur les graphes de donnees : determinabilite et reecritures

2015: Modeles dapprentissage pour donnees fonctionnelles appliques a des reseaux de capteurs

2014: Un modele de raisonnement pour les operateurs de composition logicielle decrits en boite noire