Sandrine Blazy
Sandrine Blazy dating history
Who
are they
dating right now?
According to our records, Sandrine Blazy is possibly single.
Contribute
Who is Sandrine Blazy dating? Sandrine Blazy partner, spouse list. Help us build our profile of Sandrine Blazy!
Login
to add information, pictures and relationships, join in discussions and get credit for your contributions.
Details
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 the French National Centre for Scientific Research.
More about Sandrine Blazy
Less about Sandrine Blazy
