Valeria de Paiva

Valeria Correa Vaz de Paiva is a Brazilian mathematician, logician, and computer scientist associated with Samsung Research America. 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 materUniversity of Cambridge (PhD)
Scientific career
Fields
InstitutionsPARC
Nuance Communications
University of Birmingham
ThesisThe Dialectica Categories (1988)
Doctoral advisorMartin Hyland[2]
Websitevcvpaiva.github.io

Education

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.[2][6][2] Her thesis introduced Dialectica spaces, a categorical way of constructing models of linear logic.

Career and research

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]

Selected publications
  • Term Assignment for Intuitionistic Linear Logic. (with Benton, Bierman and Hyland). Technical Report 262, University of Cambridge Computer Laboratory. August 1992.
  • Lineales. (with J.M.E. Hyland) In "O que nos faz pensar" Special number in Logic of "Cadernos do Dept. de Filosofia da PUC", Pontificial Catholic University of Rio de Janeiro, Abril 1991.
  • A Dialectica-like Model of Linear Logic. In Proceedings of Category Theory and Computer Science, Manchester, UK, September 1989. Springer-Verlag LNCS 389 (eds. D. Pitt, D. Rydeheard, P. Dybjer, A. Pitts and A. Poigne).
  • The Dialectica Categories. In Proc of Categories in Computer Science and Logic, Boulder, CO, 1987. Contemporary Mathematics, vol 92, American Mathematical Society, 1989 (eds. J. Gray and A. Scedrov)
gollark: Matrix?
gollark: Thus, offline mode ish.
gollark: PWAs are great. My mostly static website is technically considered a PWA because I added a service worker.
gollark: It seems suboptimal for what you specified versus an FPGA + dedicated silicon CPU.
gollark: Definitely very neat but impractical without much work.

References
  1. Valeria de Paiva publications indexed by Google Scholar
  2. Valeria de Paiva at the Mathematics Genealogy Project
  3. "Valeria de Paiva", Career Profiles, Mathematical Association of America, retrieved 2015-07-24.
  4. "Profile: Valeria de Paiva" (PDF), Mathematics Awareness Month, Joint Policy Board for Mathematics, April 2015, retrieved 2015-07-24.
  5. Valeria de Paiva Official website
  6. Paiva, Valeria Correa Vaz de (1988). The dialectica categories (PDF). cl.cam.ac.uk (PhD thesis). University of Cambridge. ISSN 1476-2986. OCLC 26346882. EThOS uk.bl.ethos.315050. UCAM-CL-TR-213
  7. Home page, University of Birmingham, retrieved 2015-07-24.
  8. "DLMPST Website: Council 2020-2023". Retrieved 16 April 2020.
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.