Sandrine Blazy is a French computer scientist known for her research in the

formal verification In the context of hardware and software systems, formal verification is the act of proving or disproving the correctness of a system with respect to a certain formal specification or property, using formal methods of mathematics. Formal ver ...

compiler In computing, a compiler is a computer program that Translator (computing), translates computer code written in one programming language (the ''source'' language) into another language (the ''target'' language). The name "compiler" is primaril ...

s, and especially for her work as a developer of

CompCert CompCert is a formally verified optimizing compiler for a large subset of the C99 programming language (known as Clight) which currently targets PowerPC, ARM, RISC-V, x86 and x86-64 architectures. This project, led by Xavier Leroy, started of ...

, a compiler for a large subset of

C99 C99 (previously C9X, formally ISO/IEC 9899:1999) is a past version of the C programming language open standard. It extends the previous version ( C90) with new features for the language and the standard library, and helps implementations mak ...

that is "the first industrial-strength compiler with a mechanically checked proof of correctness". She is a professor at the

University of Rennes The University of Rennes (French: ''Université de Rennes'') is a public university, public research university located in Rennes, Upper Brittany, France. Originally founded in 1460, the university was split into two universities in 1970: Univers ...

and deputy director of IRISA, the Institut de recherche en informatique et systèmes aléatoires of the University of Rennes and the

French National Centre for Scientific Research The French National Centre for Scientific Research (, , CNRS) is the French state research organisation and is the largest fundamental science agency in Europe. In 2016, it employed 31,637 staff, including 11,137 tenured researchers, 13,415 engi ...

Education and career

Blazy studied computer science as an undergraduate through the École nationale supérieure d'informatique pour l'industrie et l'entreprise (ENSIIE) and

Sorbonne University Sorbonne University () is a public research university located in Paris, France. The institution's legacy reaches back to the Middle Ages in 1257 when Sorbonne College was established by Robert de Sorbon as a constituent college of the Unive ...

, earning both an engineering degree from ENSIIE and a master's degree from the Sorbonne in 1990. She completed a Ph.D. in 1993, and received a

habilitation Habilitation is the highest university degree, or the procedure by which it is achieved, in Germany, France, Italy, Poland and some other European and non-English-speaking countries. The candidate fulfills a university's set criteria of excelle ...

in 2008 at the

University of Évry Val d'Essonne A university () is an institution of tertiary education and research which awards academic degrees in several academic disciplines. ''University'' is derived from the Latin phrase , which roughly means "community of teachers and scholars". Univ ...

. She worked as a lecturer at ENSIIE from 1994 to 2009, when she moved to her present position as a professor at the University of Rennes. She became deputy director of IRISA in 2021.

Recognition

Blazy was part of a group of software developers honored twice by the

Association for Computing Machinery The Association for Computing Machinery (ACM) is a US-based international learned society for computing. It was founded in 1947 and is the world's largest scientific and educational computing society. The ACM is a non-profit professional membe ...

for their work on CompCert, with the 2021

ACM Software System Award The ACM Software System Award is an annual award that honors people or an organization "for developing a software system that has had a lasting influence, reflected in contributions to concepts, in commercial acceptance, or both". It is awarded b ...

and the 2022 ACM SIGPLAN Programming Languages Software Award. In 2023, Blazy received the

CNRS Silver Medal The CNRS Silver Medal is a scientific award given every year to about fifteen researchers by the French National Centre for Scientific Research (CNRS). It is awarded to a researcher for "the originality, quality and importance of their work, re ...

References

External links

Home page
* {{DEFAULTSORT:Blazy, Sandrine Year of birth missing (living people) Living people French computer scientists French women computer scientists Academic staff of the University of Rennes