Bonenfant Armelle   Statut : Permanent   Service / Equipe :  groupe de Recherche en Architecture et Compilation pour les Systèmes Embarqués   Contact : bonenfant@irit.fr   Localisation : IRIT2 / Niveau 4, Pièce: 467   Téléphone : 05 61 55 6360   Publications :

 

 

 

Recherche

 Thèmes de recherche

Bornes de boucles, Langage d'annotation, Chemins infaisables, Calcul Worst-Case Execution Time, Analyse Statique, Modèle de coût, Interprétation abstraite, Systèmes embarqués...

 Recherches actuelles

• Analyse statique des bornes de boucles
• Langage d'annotations
• ANR W-SEPT Amélioration de la précision du WCET en prenant en compte le haut niveau (méthodes de design) et le code C (analyse statique).

 Parcours de recherche

• Maître de conférence à l'IRIT depuis Février 2007
• Postdoc dans l'équipe Functional Programming à l'University of St Andrews, Ecosse. Septembre 2005 - Janvier 2007.
• Thèse(moniteur) puis ATER dans l'équipe Vérification et Parallélisme au LIFO de l'Université d'Orléans. 2000-2005.

 Collaborations

• University of St Andrews
• Technical University of Vienna
• Verimag, Grenoble et Inria (ALF), Rennes et Continental, Toulouse

 

 

Enseignement

La majorité de mes enseignements se fait sur la programmation et l'algorithmique. En master, j'interviens sur l'aspect compilation et analyse statique.

Licence

• Licence 1 SFA : Ada
• Licence 2 Informatique : Architecture
• Licence 3 Informatique : Projet de Programmation
• IUP STRI (L3) : JAVA

Master

• Master 1 Informatique : Traduction des Langages
• Master 2 Informatique CAMSI : Architecture matérielle/logicielle

Pour plus de détails, se rendre sur la plateforme Moodle.