I am professor in the computer science department of the University of Rennes 1.

I am a member of Epicure (formely CELTIQUE), a joint project-team with Inria and IRISA.

My research activities concern the formal verification using the Coq proof assistant of program transformations and semantic properties of programming languages, such as those found in the CompCert C compiler and the Verasco static analyzer. A prime application domain is software security.

I teach mechanized semantics (in Coq) and formal methods (using Why3).

I am deputy director of IRISA CNRS UMR 6074 laboratory since 2021.

Former member of Section 6 of the national committee for scientific research CoNRS (2016-21)

Former coordinator of the LTP (Languages, Types, Proofs) group of the French GDR GPL

News

Recent program committees

Main research projects

How to contact me

E-mail: Sandrine.Blazy@irisa.fr
Postal mail: IRISA, Campus de Beaulieu, 35 042 Rennes cedex, France.

GPG public key

Page designed by Mike Cronin via OSWD