conf.researchr.org / Armando João Isaías Ferreira dos Santos
![Armando João Isaías Ferreira dos Santos](https://conf.researchr.org/getProfileImage/armandojoaoisaiasferreiradossantos/6b4aad46-fb25-41e0-b437-8793f9a71480/small.jpg?1711948153000)
Registered user since Mon 2 Mar 2020
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
Contributions