Sandrine Blazy
Sandrine Blazy est professeure d'informatique à l'Université de Rennes, spécialiste de vérification formelle de programmes. Elle effectue ses recherches à l'Institut de recherche en informatique et systèmes aléatoires de Rennes. En 2023, elle reçoit la médaille d'argent du CNRS[1].
Biographie
Sandrine Blazy étudie l'informatique à l'École nationale supérieure d'informatique pour l'industrie et l'entreprise, elle y reçoit un diplôme d'ingénieur en 1990. La même année elle obtient son master à Sorbonne Université. Elle mène ses travaux de recherche au Conservatoire national des arts et métiers et soutient sa thèse sur le langage de programmation Fortran en 1993. En 2008, Elle décroche son habilitation universitaire à l'Université d'Évry. En 2009 , elle devient professeure d'informatique à l'Université de Rennes. Elle est directrice ajointe de l'Institut de recherche en informatique et systèmes aléatoires depuis janvier 2021[2].
Travaux
Ses recherches portent sur le développement de logiciels sécurisés à l'aide d'outils issus de la méthode formelle tels que des assistants de preuve. Depuis 2003, elle développe, avec Xavier Leroy, CompCert, le premier compilateur pour le langage C vérifié à l’aide du logiciel Coq[3]. CompCert a été récompensé par l'Association for Computing Machinery avec le Prix ACM Software System en 2021 notamment[4].
En 2023, elle reçoit la médaille d'argent du CNRS pour ses travaux.
Distinctions et récompenses
Notes et références
- « Sandrine Blazy | CNRS », sur www.cnrs.fr (consulté le )
- « Sandrine Blazy, CV », sur Institut de recherche en informatique et systèmes aléatoires (consulté le )
- « Avec la preuve assistée par ordinateur, Sandrine Blazy traque les bugs », sur CNRS, (consulté le )
- « CompCert récompensé par l’ACM pour ses garanties d’absence de bugs », sur CNRS, (consulté le )
- « Sandrine Blazy, sciences du logiciel, Médaille d’argent du CNRS 2023 », sur CNRS (consulté le )
Liens externes
- Ressources relatives Ă la recherche :