Christine TASSON

Statut

Professeure des universités

Promotion

Junior 2021

Établissement

Sorbonne Université

Secteur disciplinaire

Sciences et Technologies de l'Information et de la Communication

Chaire

Chaire Fondamentale

Spécialité

Informatique

Thématique

► Langages de Programmation
► Sémantique
► Théorie de la démonstration

Présentation

La sémantique des langages de programmation a pour but de donner une signification précise aux programmes, indépendamment de leur syntaxe. Cette approche appartient à la famille des méthodes formelles et est utilisée pour prouver l’équivalence de programmes, mais aussi la correction des systèmes de types et des compilateurs. Je travaille plus particulièrement sur la sémantique mathématique, aussi appelée dénotationnelle ou catégorique. La sémantique permet de partir d’un langage de programmation, et de mettre en évidence les structures mathématiques qui apparaissent dans tous ses modèles. L’intérêt de la sémantique réside également dans l’introduction de nouveaux langages de programmation, logiques et outils inspirés par les structures mathématiques qui apparaissent dans certains modèles.