Pages personnelles de Carine Fédèle

Recherche effectuée et en cours

Recherche

Depuis mi-2013, je fais partie du pôle MDSC dans la partie "Constraint based program verification".

De 1992 à mi-2013, j'ai fait partie du projet Airelles du laboratoire I3S. Mon domaine de recherche se situait dans la compilation et plus particulièrement dans la méta-compilation jusqu'au printemps 2007. À partir de ce printemps-là, l'équipe s'était ré-orientée vers le traitement des langues naturelles.

De 1999 à début 2007, j'ai travaillé en collaboration avec Emmanuel Kounalis (projet Contraintes et Preuves) sur une automatisation de preuve de programmes écrits dans un langage sous-ensemble de C.