Irène Durand

- Maître de Conférences
- Université de Bordeaux
- Department
- M2F
- Team
- Fondements logiques du calcul
- Personal page
- http://dept-info.labri.u-bordeaux.fr/~idurand
- E-mail address
- irene.durand
labri.fr
- Office
- 204
- Tel
- +33 (0)5 40 00 69 14
Research
<b> Réécriture de termes</b>
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.
<b> Raisonnement temporel</b>
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.
<b> Graphes</b>
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.
Supervision
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
Pedagogical responsibility
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
Programme Committee & Organizing Committee
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
Expertise
Recenseur des MathReviews de 2005 à 2008 (12 rapports effectués).
Excerpt from publications
- B Courcelle, Irène A. Durand. On using SAT solvers for graph computations. 2022.
- Irène A. Durand. Bidirectional leveled enumerators. 13th European Lisp Symposium, Apr 2020, On Line, Switzerland.
- Irène A. Durand, Robert Strandh. Bootstrapping Common Lisp using Common Lisp. EUROPEAN LISP SYMPOSIUM, Apr 2019, GENOVA, Italy.
- Irène Durand, Bruno Courcelle, Michael Raskin. On defining linear orders by automata. 2019.
- Irène A. Durand, Robert Strandh. Partial Inlining Using Local Graph Rewriting. 11th European Lisp Symposium, Apr 2018, Marbella, Spain.
Other productions
Logiciel Autograph: http://dept-info.labri.u-bordeaux.fr/~idurand/autograph/
Logiciel Autowrite: http://dept-info.labri.u-bordeaux.fr/~idurand/autowrite/
Logiciel SLS: http://dept-info.labri.u-bordeaux.fr/~idurand/SLS/
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.
Valuing
2015-2019: membre du Projet ANR GRAPHEN