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.
Reader 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.