Name:Armando João Isaías Ferreira dos Santos

Country:Portugal

Affiliation:University of Minho, Portugal / INESC TEC, Portugal

Research interests:Functional Programming, Formal Methods, Algebra of Programming