Delia KESNER

Statut

Professeure des universités

Promotion

Senior 2018

Établissement

Université Paris Cité

Secteur disciplinaire

Mathématiques et leurs interactions

Spécialité

Langages de programmation

Thématique

► Langages de programmation
► Théorie des types
► Théorie de la réécriture

Présentation

Des techniques quantitatives se développent dans différents domaines de l'informatique, comme la vérification, la logique et les automates, afin d'analyser l'utilisation des ressources dans les calculs.
Nous travaillerons avec des systèmes de type quantitatifs, un outil prometteur capable de comprendre l'utilisation de ressources comme le temps et l'espace, pour une nouvelle génération de langages de programmation et d'assistants à la preuve.
Nous développerons des techniques pour des calculs puissants, ayant de fonctionnalités avancées comme le filtrage, les opérateurs de contrôle et les calculs infinis, sous différentes stratégies de réduction, comme l'appel par nécessité, l'appel par valeur et les réductions standard.