Valeria de Paiva
Valeria Correa Vaz de Paiva ye una matemática brasilana, lóxica, y científica informática acomuñada con comunicaciones de matiz. El so trabayu inclúi busca n'aproximamientos lóxicos a computación, especialmente utilizando Teoría de categoríes, [[representación de la conocencia]] y llingua natural semántica, y programación funcional con un focu en fundaciones y teoríes de tipu.[2][3]
Valeria de Paiva | |
|---|---|
 | |
| Vida | |
| Nacimientu | Rio de Janeiro[1], 13 de xunu de 1959 (65 años) |
| Nacionalidá |
 Brasil |
| Estudios | |
| Estudios |
Universidá de Cambridge 1990) Philosophiæ doctor : matemátiques Pontificia Universidá Católica de Rio de Janeiro 1984) maestría en ciencies : matemátiques |
| Direutor de tesis | Martin Hyland |
| Direutora de tesis de |
Gavin Mark Bierman (en)  |
| Llingües falaes |
inglés portugués |
| Oficiu | matemática, lóxica, informática teórica |
| Emplegadores |
Samsung Electronics PARC (2000 – 2008) Nuance Communications (es) (2012 – 2018) |
| github.com… | |
 | |
Ganó una llicenciatura en matemática en 1982, la maestría en 1984 (n'álxebra pura) y completó un doctoráu pola Universidá de Cambridge en 1988, so la supervisión de Martin Hyland.[2][4] La so tesis introdució Dialectica d'espacios, una manera Teoría de categoríes categórica de construyir modelos de lóxica llinial.
Trabayó nueve años en PARC en Palo Alto, California, y tamién trabayó en Rearden Commerce y Cuill antes de xunise a Nuance.[3][5] Ye miembru honoraria de busca n'informática na Universidá de Birmingham.[5]
Delles publicaciones
editar- Term Assignment for Intuitionistic Linear Logic (con Benton, Bierman and Hyland). Technical Report 262, University of Cambridge Computer Laboratory. Agostu de 1992.
- Lliniales (con J.M.Y. Hyland) In "O que nos cara 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 Proc. of Category Theory and Computer Science, Manchester, RU, setiembre de 1989. Springer-Verlag LNCS 389 (eds. D. Pitt, D. Rydeheard, P. Dybjer, A. Pitts, A. Poigne).
- The Dialectica Categories. In Proc. of Categories in Computer Science and Logic, Boulder, CO, 1987. Contemporary Mathematics 92, Am. Mathematical Society, 1989 (eds. J. Gray & A. Scedrov)
Referencies
editar- ↑ URL de la referencia: https://maa.org/careers/career-profiles/academia-teaching/valeria-de-paiva.
- ↑ 2,0 2,1 «Valeria de Paiva», Career Profiles (Mathematical Association of America), http://www.maa.org/careers/career-profiles/academia-teaching/valeria-de-paiva, consultáu'l 24 de xunetu de 2015
- ↑ 3,0 3,1 «Profile: Valeria de Paiva», Mathematics Awareness Month (Joint Policy Board for Mathematics), April 2015, http://www.mathaware.org/mam/2015/highlighted/MAM%202015%20profile_dePaiva.pdf, consultáu'l 24 de xunetu de 2015 Archiváu 2016-03-04 en Wayback Machine
- ↑ Valeria de Paiva
- ↑ 5,0 5,1 páxina
Enllaces esternos
editar
Datos: Q20731777
