Academic
Valeria de Paiva
Brazilian mathematician, logician, and computer scientist
- Life
- 1959 – present
- Born
- June 13, 1959
- Nationality
- Brazil
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.
§Related entries
Academic
Demi Getschko
Brazilian computer scientist
1954 – present · Brazil
Academic
Jorge Stolfi
Brazilian software programmer
1950 – present · Brazil
Academic
Rico Malvar
1957 – present · Brazil
Academic
Sílvio Meira
Brazilian computer scientist
1955 – present · Brazil
Academic
Tadao Takahashi
Brazilian computer scientist (1950–2022)
1950 – 2022 · Brazil