Write a Blog >>
CC 2021
Tue 2 - Wed 3 March 2021 Online Conference
Delphine Demange

Registered user since Tue 18 Jun 2019

Name:Delphine Demange
Affiliation:Univ Rennes, Inria, CNRS, IRISA
Research interests:Programming languages implementation, Compiler verification, Formal semantics, Program verification with interactive theorem provers


CC 2021 Program Co-Chair in Organizing Committee
Session Chair of CC Closing (part of CC Research Papers)
Session Chair of CC Opening (part of CC Research Papers)
Show activities from other conferences

CC 2021-profile
View general profile