Valeria de Paiva

Plantilla:Infotaula personaValeria de Paiva
Imatge
Modifica el valor a Wikidata
Nom original(pt) Valeria Correa Vaz de Paiva Modifica el valor a Wikidata
Biografia
Naixement13 juny 1959 Modifica el valor a Wikidata (65 anys)
Rio de Janeiro (Brasil) Modifica el valor a Wikidata
FormacióUniversitat de Cambridge - matemàtiques (–1990)
Pontifícia Universitat Catòlica de Rio de Janeiro - matemàtiques (–1984) Modifica el valor a Wikidata
Director de tesiMartin Hyland Modifica el valor a Wikidata
Activitat
Camp de treballTeoria de categories, representació i raonament del coneixement, programació funcional, lògica lineal i ciències de la computació Modifica el valor a Wikidata
Ocupaciómatemàtica, lògic, informàtica Modifica el valor a Wikidata
OcupadorNuance Communications (2012–2018)
PARC (2000–2008)
Samsung Electronics Modifica el valor a Wikidata
Obra
Estudiant doctoralGavin Mark Bierman Modifica el valor a Wikidata
Lloc webgithub.com… Modifica el valor a Wikidata
Facebook: valeriadepaiva X: valeriadepaiva LinkedIn: valeriadepaiva GitHub: vcvpaiva Modifica el valor a Wikidata

Valeria de Paiva (portuguès: Valeria Correa Vaz de Paiva) (Rio de Janeiro, 13 de juny de 1959) és una matemàtica brasilera, lògica, i científica informàtica. La seva feina inclou recerca en aproximacions lògiques a la computació, per a la què utilitza especialment la teoria de categories, les representacions del coneixement i les semàntiques de llenguatge natural i programació funcional amb especial atenció als fonaments i les teories de tipus.[1][2][3]

Educació

[modifica]

De Paiva va obtindre el grau en matemàtiques el 1982,[1] el màster el 1984 (en àlgebra abstracta) i va completar el doctorat a la Universitat de Cambridge el 1988, sota la supervisió de Martin Hyland.[4][5] La seva tesi va introduir els Espais de Dialèctica, una manera categòrica de construir models de lògica lineal.

Carrera i recerca

[modifica]

Va treballar nou anys a PARC en Palo Alto, Califòrnia, i també va treballar al Rearden Commerce and Cuil abans d'entrar a Nuance.[2][6] És investigadora honorífica en ciències de la computació a la Universitat de Birmingham.[6] És actualment membre del Consell de la Divisió per a la Lògica, Metodologia i Filosofia de la Ciència i la Tecnologia de la Unió Internacional d'Història i Filosofia de la Ciència i la Tecnologia (2020-2023).[7]

Publicacions destacades

[modifica]
  • Term Assignment for Intuitionistic Linear Logic. (with Benton, Bierman and Hyland). Technical Report 262, University of Cambridge Computer Laboratory. Agost 1992.
  • Lineales. (with J.M.E. Hyland) En "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. En Proceedings of Category Theory and Computer Science, Manchester, UK, Setembre 1989. Springer-Verlag LNCS 389 (eds. D. Pitt, D. Rydeheard, P. Dybjer, A. Pitts i A. Poigne).
  • The Dialectica Categories. En Proc of Categories in Computer Science and Logic, Boulder, CO, 1987. Contemporary Mathematics, vol 92, American Mathematical Society, 1989 (eds. J. Gray i A. Scedrov)

Referències

[modifica]
  1. ↑ 1,0 1,1 [Consulta: 24 juliol 2015]. 
  2. ↑ 2,0 2,1 [Consulta: 24 juliol 2015]. 
  3. ↑ Valeria de Paiva Valeria de Paiva - Lloc web oficial
  4. ↑ (tesi). Plantilla:EThOS. OCLC 26346882.  UCAM-CL-TR-213
  5. ↑ Valeria de Paiva al Mathematics Genealogy Project.
  6. ↑ 6,0 6,1 Home page, University of Birmingham, retrieved 2015-07-24.
  7. ↑ «DLMPST Website: Council 2020-2023».