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.
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
|APLAS 2019|| Session Chair of Language Design and Implementation (part of Research Papers)|
A Constant-time Preserving C Compiler
Ordinary PC member in Program Committee within the Research Papers-track
|Show activities from other conferences|
View general profile