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