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

§Entrées associées

Universitaire

A. Murat Eren

Computer scientist

États-Unis

Universitaire

Aarti Gupta (computer scientist)

American computer scientist

Universitaire

Abbas Edalat

Iranian computer scientist

Iran

Universitaire

Abhay Bhushan

Indian computer scientist (born 1944)

1944 – présent · Inde

Universitaire

Adam Leventhal (programmer)

American software engineer (born 1979)

1979 – présent · États-Unis

Universitaire

Adebayo Akinde

Anglican bishop of Nigeria

1946 – présent