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

À propos du LSV

    

Contact

Address
LSV, CNRS & ENS Paris-Saclay
4, Avenue des Sciences
91 190 Gif-sur-Yvette, France
Office
LSV
Phone
+33 (0)1 47 40 75 20
Fax
+33 (0)1 47 40 75 21
Secr.
+33 (0)1 47 40 75 20
E-Mail
prénom.nom@lsv.fr