Loading AI tools
Brazilian mathematician, logician, and computer scientist From Wikipedia, the free encyclopedia
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.[3][4][5]
Valeria de Paiva | |
|---|---|
| |
| Born | Valeria Correa Vaz de Paiva |
| Alma mater | University of Cambridge (PhD) |
| Scientific career | |
| Fields | |
| Institutions | PARC Nuance Communications University of Birmingham |
| Thesis | The Dialectica Categories (1988) |
| Doctoral advisor | Martin Hyland[2] |
| Website | vcvpaiva |
De Paiva earned a bachelor's degree in mathematics in 1982,[3] a master's degree in 1984 (on pure algebra) and completed a doctorate at the University of Cambridge in 1988, under the supervision of Martin Hyland.[6][2] Her thesis introduced Dialectica spaces, a categorical way of constructing models of linear logic, based on Kurt Gödel's Dialectica interpretation.
She worked for nine years at PARC in Palo Alto, California, and also worked at Rearden Commerce and Cuil before joining Nuance.[4][7] She is an honorary research fellow in computer science at the University of Birmingham.[1][7] She is currently on the Council of the Division for Logic, Methodology and Philosophy of Science and Technology of the International Union of History and Philosophy of Science and Technology (2020–2023).[8]
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.
