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

I am a member of Epicure, 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. A prime application domain is software security.

I am a member of the editorial board of the LMCS journal.

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

I teach mechanized semantics (in Coq) and deductive verification (using Why3).

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


Recent program committees

Main research projects

How to contact me

E-mail: Sandrine.Blazy [at]
Postal mail: IRISA, Campus de Beaulieu, 35 042 Rennes cedex, France.

GPG public key


Page designed by Mike Cronin via OSWD