Loading AI tools
Pour les articles homonymes, voir 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].
Sandrine Blazy
| Directrice de recherche au CNRS |
|---|
| Activités |
|---|
| A travaillé pour |
Université Rennes-I (depuis le ) |
|---|---|
| Distinction |
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].
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 est 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.
- 2023 : Médaille d'argent du CNRS[5]
Wikiwand in your browser!
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.
