Amélie LEDEIN
Doctorante
Depuis le 1er octobre 2020, je suis en thèse sous la direction de Frédéric BLANQUI et Catherine DUBOIS.
Notre objectif est d'introduire la notion de type inductif dans Dedukti, outil développé au sein de l'équipe DEDUCTEAM.
Enseignement
Projet de programmation OCaml - L3
Génie Logiciel - M1
- Aller sur la page de David.