Universitaire

Valeria de Paiva

Brazilian mathematician, logician, and computer scientist

Vie: 1959 – présent
Né(e) le: 13 juin 1959
Nationalité: Brésil

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.