Irène DURAND
Irène Durand Maître de Conférences (Université Bordeaux 1)

Équipe LaBRI : Méthodes formelles
Fonction administrative : Responsable de la répartition de l'UF Informatique
Page personnelle : http://dept-info.labri.u-bordeaux.fr/~idurand
Courrier électronique : irene.durandarobaselabri.fr
Bureau : 204
Tél : +33 (0)5 40 00 69 14


Recherche

Réécriture de termes
Le travail de rédaction de mon habilitation m'a confortée dans l'idée qu'une des notions les plus fondamentales de ce travail était la "préservation de la reconnaissabilité" par réécriture. Chaque identification d'une classe plus générale de systèmes préservant la reconnaissabilité donne presque directement un nouvelle classe call-by-need, des résultats de décidabilité pour la confluence, l'accessibilité, la joignabilité. Récemment,la préservation de la reconnaissabilité a été utilisée pour prouver la terminaison de systèmes pour lesquels aucune des techniques précédemment connues ne permettait de conclure. Quand la reconnaissabilité n'est pas préservée, on peut encore obtenir des classes intéressantes en étudiant la structure de l'ensemble des descendants (ou ancêtres) d'un ensemble de termes reconnaissable ou encore possédant une structure particulière. En 2007-2009, Marc Sylvestre, Master2, co-encadré par Géraud Sénizergues et moi-même a montré la décidabilité de la terminaison pour les systèmes Bottom-up(k). Ce travail se poursuit en thèse pour étendre les résultats (reconnaissabilité, terminaison) au cas non linéaire.

Raisonnement temporel
Avec Sylviane Schwer (Paris IX), je travaille à une implémentation de la théorie des S-langages. Les S-langages permettent de représenter et de calculer des relations temporelles entre des événements. Actuellement, les principales applications de cette théorie se situent en linguistique pour l'analyse temporelle de textes. Nous avons déjà implémenté une partie de la théorie dans le logiciel SLS.

Graphes
J'implémente dans le logiciel Autowrite les constructions d'automates vérifiant des propriétés exprimées en logique monadique du second ordre sur les graphes de largeur de clique bornée
proposées dans les travaux théoriques de Bruno Courcelle.

Encadrement

Sylvestre, Marc, 2014, doctorant MENRT, Université de Bordeaux, co-encadré avec Géraud Sénizergues, Professeur à l'université de Bordeaux
Dando, Louis-Marie, Stage de Master 2, 2015

Responsabilité pédagogique

Depuis 2005-2006: membre de l'équipe pédagogique de mention informatique de Licence.
Depuis 2008-2009: Directrice de études de la deuxième année de licence informatique
Depuis 2005-2006: Responsabilité de l'UE "Programmation fonctionnelle et symbolique", Licence Informatique, Semestre 5.
Depuis 2007-2008: Création et responsabilité de l'UE "Projet de programmation 3", Licence Informatique, Semestre 6.
Co-rédaction de l'ouvrage "Architecture de l'Ordinateur", paru chez Dunod en 2005

Administration

De 2008 à 2011: membre élue du conseil d'administration de l'université Bordeaux 1.
De 2008 à 2011: membre nommée de la section disciplinaire de l'université Bordeaux 1.
Depuis 2015: répartitrice des enseignements de l'UF Informatique.

Comité de programme & Comité d'organisation

2008: Participation à l'organisation de ELS (European Lisp Symposium).
2009-2010: Membre du comité de programme de ELS.
2010: Membre du comité de programme de RTA (Rewriting Techniques and Applications).
2014: Membre du comité de programme de ILC (International Lisp Conference).
2014: Conférence invitée (FREC2014).
2016: Présidente du comité de programme de ELS

Diffusion

Depuis 2005 Membre du jury du prix Isabelle Attali

Valorisation

2015-2019: membre du Projet ANR GRAPHEN

Expertise

Recenseur des MathReviews de 2005 à 2008 (12 rapports effectués).

Page mise à jour le 13/08/2010 à 10:56