Sandrine Blazy

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". She is a professor at the University of Rennes and deputy director of IRISA, the Institut de recherche en informatique et systèmes aléatoires of the University of Rennes and th

§Related entries

Academic

A. Murat Eren

Computer scientist

United States

Academic

Aarti Gupta (computer scientist)

American computer scientist

Academic

Abbas Edalat

Iranian computer scientist

Iran

Academic

Abhay Bhushan

Indian computer scientist (born 1944)

1944 – present · India

Academic

Adam Leventhal (programmer)

American software engineer (born 1979)

1979 – present · United States

Academic

Adebayo Akinde

Anglican bishop of Nigeria

1946 – present