Valeria de Paiva

Origem: Wikipédia, a enciclopédia livre.
Saltar para a navegação Saltar para a pesquisa
Valeria de Paiva
Alma mater Universidade de Cambridge
Orientador(es) Martin Hyland
Campo(s) Matemática
Tese 1988: The Dialectica Categories

Valeria Correa Vaz de Paiva é uma matemática e cientista da computação brasileira associada à Nuance Communications. Seu trabalho inclui pesquisa sobre abordagem lógica para computação, usando especialmente teoria das categorias, representação de conhecimento e semântica de língua natural, e programação funcional com foco sobre os fundamentos e teoria dos tipos.[1][2]

Obteve um bacharelado em matemática em 1982,[1] um mestrado em 1984 e um doutorado em 1988 na Universidade de Cambridge, orientada por Martin Hyland.[3]

Publicações selecionadas[editar | editar código-fonte]

  • 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)

Referências

  1. a b «Valeria de Paiva», Mathematical Association of America, Career Profiles, consultado em 24 de julho de 2015. .
  2. «Profile: Valeria de Paiva» (PDF), Joint Policy Board for Mathematics, Mathematics Awareness Month, April 2015, consultado em 24 de julho de 2015.  Verifique data em: |data= (ajuda).
  3. Valeria de Paiva (em inglês) no Mathematics Genealogy Project

Ligações externas[editar | editar código-fonte]