Étienne André

Bio

Je suis professeur à Nantes Université : chercheur dans l’équipe STR du LS2N (située sur le site de l’École Centrale Nantes), et enseignant en informatique à l’UFR sciences et techniques.

Recherche

Je m’intéresse à la spécification et à la vérification formelle de systèmes distribués, notamment temporisés. Ma recherche porte particulièrement sur la vérification de systèmes temporisés (voire temps-réel) en présence de paramètres temporels, et notamment au model-checking paramétré. Je m’intéresse également au monitoring de systèmes cyber-physiques, ainsi qu’à la détection d’attaques par canaux cachés à l’aide de model-checking quantitatif.

Mots-clés

Durabilité

Je soutiens le manifeste pour une recherche durable en informatique théorique, notamment par la réduction de notre bilan carbone et (donc) par la forte diminution de nos déplacements en avion (prenons le train !).

J’ai implémenté un très simple calculateur de l’empreinte carbone d’un évènement scientifique, afin de permettre d’évaluer l’impact carbone des évènements que vous (co-)organisez.