Matières enseignées actuellement

Génie Logiciel à Objet (M1 MIAGE)

Cours / TD / TP

Vérification, Validation et Qualité du Logiciel (M2 MIAGE)

Intervention sur le Model Checking : Cours / TD

Construction Formelle de Logiciels (M2 ALMA)

Intervention sur les systèmes temporisés : Cours / TD / TP

Réseaux et Télécoms (L3 Info/MIAGE)

TD / TP

Précédemment ...

Langage Formels (ENS Bretagne)

TD / TP

Sémantique (ENS Bretagne)

TD / TP

Initiation à UNIX (ENS Bretagne)

TD / TP