Valeria de Paiva
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]
| |||
| Nom original | (pt) Valeria Correa Vaz de Paiva  | ||
|---|---|---|---|
| Biografia | |||
| Naixement | 13 juny 1959 (65 anys) Rio de Janeiro (Brasil) | ||
| Formació | Universitat de Cambridge - matemàtiques (–1990) Pontifícia Universitat Catòlica de Rio de Janeiro - matemàtiques (–1984) | ||
| Director de tesi | Martin Hyland | ||
| Activitat | |||
| Camp de treball | Teoria de categories, representació i raonament del coneixement, programació funcional, lògica lineal i ciències de la computació | ||
| Ocupació | matemàtica, lògic, informàtica | ||
| Ocupador | Nuance Communications (2012–2018) PARC (2000–2008) Samsung Electronics | ||
| Obra | |||
| Estudiant doctoral | Gavin Mark Bierman | ||
| Lloc web | github.com… | ||
  
 | |||
Educació
modificaDe 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
modificaVa 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,0 1,1 [Consulta: 24 juliol 2015].
- ↑ 2,0 2,1 [Consulta: 24 juliol 2015].
- ↑ Valeria de Paiva Valeria de Paiva - Lloc web oficial
- ↑ (tesi). Plantilla:EThOS. OCLC 26346882. UCAM-CL-TR-213
- ↑ Valeria de Paiva al Mathematics Genealogy Project.
- ↑ 6,0 6,1 Home page, University of Birmingham, retrieved 2015-07-24.
- ↑ «DLMPST Website: Council 2020-2023».