Name:Wilmer Ricciotti

Country:Italy

Affiliation:University of Edinburgh, UK

Research interests:Interactive theorem provers, encoding of binding structures, formalization of mathematics, functional programming languages