
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 | Committee Member in Program Committee within the ESOP-track Session Chair of Session 7 (part of ESOP) | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
ESOP 2015-profile
View general profile
View general profile