Doctoral students Gavin Bierman | Name Valeria Paiva | |
 | ||
Institution Nuance Communications Similar Kathrin Barboza Marquez, Idelisa Bonnelly, Rachel Chan | ||
Valeria de paiva introduction to category theory lecture 1
Valeria Correa Vaz de Paiva is a Brazilian mathematician, logician, and computer scientist associated with Nuance Communications. 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.
Contents
- Valeria de paiva introduction to category theory lecture 1
- Valeria de paiva introduction to category theory lecture 2
- Selected publications
- References
De Paiva earned a bachelor's degree in mathematics in 1982, a master's degree in 1984 (on pure Algebra) and completed a doctorate from the University of Cambridge in 1988, under the supervision of Martin Hyland. Her thesis introduced Dialectica spaces, a categorical way of constructing models of linear logic. She worked for nine years at PARC in Palo Alto, California, and also worked at Rearden Commerce and Cuill before joining Nuance. She is an honorary research fellow in computer science at the University of Birmingham.