POPL 2017
Sun 15 - Sat 21 January 2017
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 compiler and the Verasco static analyzer. I teach mechanized semantics (in Coq), functional programming (in OCaml), formal methods (using the Why3 tool), and software vulnerabilities.

Country: France

Affiliation: University of Rennes 1, France

Personal website: http://www.irisa.fr/celtique/blazy/

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

Contributions

VMCAI 2017Author of Structuring Abstract Interpreters through State and Value Abstractions within the VMCAI-track
CoqPL 2017Session Chair of Midday Session (part of CoqPL 2017)
Program Co-Chair in Program Committee within the CoqPL 2017-track
Show activities from other conferences

POPL 2017-profile
View general profile