Constantin ENEA

Statut

Maître de conférences

Promotion

Junior 2019

Établissement

Université Paris Cité

Secteur disciplinaire

Sciences et Technologies de l'Information et de la Communication

Spécialité

Informatique

Thématique

► Méthodes formelles
► Vérification de logiciels
► Langages de programmation

Présentation

Mes intérêts de recherche couvrent les langages de programmation, la vérification de logiciels, le model checking et le raisonnement automatisé. Un fil conducteur de mes recherches est l'amélioration de la fiabilité des logiciels à l'aide de techniques formelles. Mes objectifs sont de développer des fondements algorithmiques et logiques pour la construction de logiciels fiables, des abstractions de programmation efficaces pour les logiciels concurrents et distribués, ainsi que des outils de vérification automatisée.