Computer scientist at the LIP
Il y a un an, ce jeune chercheur du LIP faisait la "une" du site web de l'École : l'Association for Computing Machinery - dont le mot d'ordre est Advancing Computing as a Science & Profession - société savante américaine avait dépêché un caméraman pour tourner une vidéo suite à une "belle publication" dans le magazine scientifique américain Communication of the ACM. Voir cette interview vidéo, dans laquelle Damien Pous et Filippo Bonchi, tous deux chercheurs au LIP, expliquaient leurs travaux. Damien Pous, chercheur au sein de l'équipe "Plume" du LIP, est aujourd'hui lauréat d'une ERC starting grant : un financement de l'European Research Council (ERC) sur 5 ans (2016-2021) qui va lui permettre de poursuivre ses travaux. Le projet de Damien Pous, CoVeCe (Coinduction for Verification and Certification), était en concurrence avec 2 920 autres issus de 23 pays d'Europe. 291 projets ont été retenus, qui se répartiront un total de 429 millions d'euros.
Les bugs logiciels et matériels coûtent des centaines de millions d’euros chaque année aux entreprises et administrations. Vérification et certification sont cruciales afin de concevoir des programmes et des machines plus sûres. Mais ces méthodes se heurtent à des difficultés de mises en œuvre et d’efficacité. Grâce à une nouvelle approche issue de la théorie de la concurrence, Damien Pous souhaite dans son ERC CoVeCe proposer de nouveaux algorithmes pour révolutionner ces outils, et ainsi obtenir des machines et des programmes plus sûrs.
Vérification et certification sont deux approches complémentaires pour s’assurer du bon fonctionnement des programmes et machines. La vérification permet de voir si un programme satisfait une propriété (pas de division par 0 par exemple). La vérification se réalise généralement avec des outils automatiques, mais ces outils sont souvent confrontés à une explosion combinatoire : ils ne peuvent pas toujours être utilisés car ils nécessitent trop de temps de calcul.
En savoir plus sur les travaux de recherche de Damien Pous dans le cadre de son ERC (sur le site du CNRS).
Just a year ago, the Association for Computing Machinery – whose motto is Advancing Computing as a Science & Profession – had sent a cameraman to shoot a video on this young LIP researcher, following a remarked publication in the U.S. scientific magazine Communication of the ACM. (Watch this video interview, in which Damien Pous and Filippo Bonchi, also a LIP researcher, explain their work.)
Damien Pous, a researcher in the “Feather” team of the LIP, is now the proud winner of an ERC starting grant: five-year funding from the European Research Council that will support his work until 2021. His project, CoVeCe (Coinduction for Verification and Certification), was up against 2,920 others from 23 European countries. Of these, 291 projects were selected and will share a total funding of €429 million.
Software and hardware bugs cost businesses and public administrations some hundreds of millions of euros each year. Verification and certification are crucial to develop more secure programmes and hardware. But these methods are difficult to effectively implement. Through a new approach based on free competition, Damien Pous aims to generate new algorithms to revolutionize these tools and develop more secure hardware and software.
Verification and certification are two complementary approaches to ensure that programmes and machines work correctly. Verification checks that a programme satisfies a specific property (not dividing by zero, for instance). Verification is generally done using automatic tools, but these are often confronted to a combinatorial explosion: they cannot always be used because they require excessively long calculations. Find out more about the work of Damien Pous on his website.
Recrutements
La starting grant obtenue par Damien Pous va lui permettre d'embaucher des chercheurs pour l'aider à mener à bien ses recherches, au niveau Post-doc et Master 2. Plus d'infos sur la page perso de Damien Pous, dans la rubrique ¡ Open positions !