Name:Santiago Bautista

Country:France

Affiliation:Univ Rennes, ENS Rennes, Inria, IRISA

Research interests:Software verification, static analysis, interactive theorem proving