Karoliina LehtinenSciences informatiques
Chargée de recherche CNRS au Laboratoire d'informatique et systèmes (LIS)1
Spécialiste des méthodes formelles, Karoliina Lehtinen s’attaque à certaines des questions les plus fondamentales – et les plus tenaces – de l’informatique théorique. Elle travaille à l’interface de la logique, des automates et de la théorie des jeux pour concevoir des outils de vérification efficaces capables de garantir que des systèmes logiciels se comportent comme prévu. Parmi ses contributions majeures : un algorithme pseudo-polynomial pour le model-checking du μ-calcul modal, une logique puissante utilisée en vérification de programmes. Elle est aussi l’une des principales figures du développement des automates déterministes en histoire, un modèle hybride prometteur. À la fois rigoureuse et créative, Karoliina Lehtinen explore sans relâche les subtils équilibres entre expressivité logique et faisabilité algorithmique, dans une discipline où chaque résultat compte double : pour la science et pour la fiabilité du numérique.
- 1Aix-Marseille Université/CNRS