Name:Stefano Volpe

Country:Denmark

Affiliation:University of Southern Denmark

Research interests:type theory, programming languages (theory and semantics), category theory, logic, formalized mathematics, pure functional programming, constructive mathematics, games, mathematical practice vs. software architecture