ERC: projet de recherche inVEST - Jean-François Raskin

inVEST est un projet de recherche Starting Grant ERC (2011) mené par Jean-François Raskin (Département d'Informatique, Faculté des Sciences)

Jean-François Raskin a obtenu un ERC Starting Grant pour son projet inVEST - de la vérification à la synthèse automatique des logiciels critiques -. Aujourd'hui, la plupart des systèmes complexes sont contrôlés à l'aide de logiciels informatiques. On trouve des logiciels de contrôle dans des domaines d'application aussi variés que les transports publics, l'aérospatial ou le médical. Dans ces applications critiques, les logiciels utilisés doivent être certifiés (prouvés) corrects.

Le projet inVEST vise à fournir les bases théoriques pour permettre la construction automatique de logiciels de contrôle prouvés corrects à partir de descriptions mathématiques. Le travail de Jean-François Raskin utilise et étend des théories issues de la logique, de la théorie des automates et de la théorie de jeux.

Le financement de l’ERC permet d’attirer d’excellents chercheurs des meilleurs groupes de recherche en Europe
Jean-François Raskin

Découvrez son portrait.

Ce projet est terminé

This project has received funding from the European Research Council (ERC) under the European Union’s Horizon 2020 research and innovation programme (grant agreement No 279499).

Dates

Créé le 9 août 2018