Valeria de Paiva

De Wikipedia
Valeria de PaivaPicto infobox character.png
ValeriaApril2014.jpg
Vida
Nacimientu Brasil, 13 de xunu de 1959 (63 años)
Nacionalidá Bandera de Brasil Brasil
Bandera del Reinu Xuníu Reinu Xuníu
Estudios
Estudios Universidá de Cambridge 1988) Philosophiæ doctor : matemátiques
Direutor de tesis Martin Hyland
Direutora de tesis de Gavin Mark Bierman (en) Traducir
Llingües falaes inglés
portugués
Oficiu matemática, lóxica, informática teórica
Emplegadores Samsung Electronics
Xerox PARC (es) Traducir  (2000 –  2008)
Nuance Communications (es) Traducir  (2012 –  2018)
github.com…
Cambiar los datos en Wikidata

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.[1][2]

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.[1][3] 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.[2][4] Ye miembru honoraria de busca n'informática na Universidá de Birmingham.[4]

Delles publicaciones[editar | editar la fonte]

  • 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 | editar la fonte]

  1. ↑ 1,0 1,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 
  2. ↑ 2,0 2,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  Error de cita: La etiqueta <ref> ye inválida; el nome «mam» ta definíu delles vegaes con distintu conteníu
  3. ↑ Valeria de Paiva
  4. ↑ 4,0 4,1 páxina

Enllaces esternos[editar | editar la fonte]

Esti artículu foi traducíu automáticamente y precisa revisase manualmente
Sacáu de «https://ast.wikipedia.org/w/index.php?title=Valeria_de_Paiva&oldid=3815217»