Sandrine Blazy is a French computer scientist specializing in formal verification of compilers, who is a professor at the University of Rennes and deputy director of IRISA, the Institut de recherche en informatique et systemes aleatoires. She is best known as a developer of CompCert, described as the first industrial-strength compiler with a mechanically checked proof of correctness for a large subset of the C99 programming language. She earned an engineering degree from ENSIIE, a master's degree from Sorbonne University in 1990, and a PhD in 1993 and habilitation in 2008 from the University of Evry Val d'Essonne. Her honors include the 2021 ACM Software System Award, the 2022 ACM SIGPLAN Programming Languages Software Award, and the 2023 CNRS Silver Medal.
Facts
Connections
In Field
Source Sandrine Blazy (Wikipedia)
Source Sandrine Blazy (Wikipedia)
In the Other Atlases
- Also in Geography Atlas: France, nationality there.
Sources
1. Wikidata: Sandrine Blazy
Wikidata Q27976180, resolved via en.wikipedia pageprops (wave rule R-L)View the Source Sandrine Blazy (Wikipedia)
In Field: Programming Language Theory, Lead sentence
Sandrine Blazy is a French computer scientist known for her research in the formal verification of compilers, and especially for her work as a developer of CompCert, a compiler for a large subset of C99 that is "the first industrial-strength compiler with a mechanically checked proof of correctness"
- In Field: Formal Methods, Lead paragraph
View the SourceReader Challenges (0)
No disputes yet. Spotted an error or a better source? Open the first one.
Sign in to dispute this or suggest a correction.