Write a Blog >>
ICFP 2020
Thu 20 - Fri 28 August 2020
Sandrine Blazy

Registered user since Tue 22 Mar 2016

Name: Sandrine Blazy

Bio: I am professor in the computer science department of the University of Rennes 1, where I am in charge of the research master in computer science. I am a member of CELTIQUE, a joint project-team with Inria Rennes Bretagne Atlantique and the IRISA laboratory.

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.

Country: France

Affiliation: Univ Rennes- IRISA

Personal website: https://people.irisa.fr/Sandrine.Blazy/

Research interests: Formal verification, semantics of programming languages, compilers, static analysis, software security

Contributions

TyDe 2020Committee Member in Program Committee within the TyDe 2020-track
ICFP 2020Committee Member in External Review Committee within the ICFP Program-track
Show activities from other conferences

ICFP 2020-profile
View general profile