Valeria Correa Vaz de Paiva is a Brazilian mathematician, logician, and computer scientist.
Also inDeutsch
Photos 1
Academics from Brazil 6
About this person
Valeria Correa Vaz de Paiva is a Brazilian mathematician, logician, and computer scientist. Her work includes research on logical approaches to computation, especially using category theory, knowledge representation and natural language semantics, and functional programming with a focus on foundations and type theories.
Country
BrazilCategory
Academics
Type
Academic
Status
living
Dates
Born 1959 · age 67
Written about in
13 languages
Fame.am measures public visibility signals. It does not measure human value, talent, morality, or credibility.