Registered user since Tue 18 Jun 2019
Name:Delphine Demange
Country:France
Affiliation:IRISA / University of Rennes 1
Personal website: http://www.irisa.fr/celtique/demange/
Research interests:Formal semantics of programming languages, program transformations, static analysis, computer-aided verification, language-based security.
Contributions
ESOP 2015-profile
View general profile
View general profile