Outils

Agenda de l'ENS de Lyon

Résultats Récents sur la logique Équationnelle Quantitative

Date
ven 12 avr 2024
Horaires

9h

Intervenant(s)

M. Matteo MIO

Organisateur(s)
Langue(s) des interventions
Description générale

Résumé :
L'algèbre universelle et le raisonnement équationnel ont d'innombrables applications en informatique. Ils constituent, par exemple, la base des processus de réécriture qu'un compilateur effectue pour optimiser un programme, sans altérer son comportement.
En 2016, une généralisation de ces concepts a été proposée par Mardare, Plotkin et Panangaden. Elle permet de formaliser et raisonner sur des processus de réécriture qui modifient, un peu, le comportement du programme. On peut associer une quantité plus précise à ce "un peu" en utilisant des métriques, un concept mathématique classique pour formaliser la notion de distance.
Dans ce mémoire d’HDR, des résultats récents dans cette ligne de recherche sont présentés. En particulier, on étudie comment utiliser des distances de métriques plus générales, appelées Fuzzy Relations. Et, plus généralement, comment étendre les résultats précédents afin qu’ils soient applicables à des situations plus intéressantes.

Devant un jury composé de : 

  • Monsieur Ugo DAL LAGO
  • Monsieur Stefan MILIUS
  • Madame Ana SOKOLOVA
  • Monsieur Prakash PANANGADEN
  • Madame Catuscia PALAMIDESSI
  • Monsieur Damien POUS

Gratuit

Mots clés

Disciplines