You can edit almost every page by Creating an account. Otherwise, see the FAQ.

Valeria de Paiva

Fonte: EverybodyWiki Bios & Wiki

Valeria de Paiva
Erro Lua em Módulo:WikidataIB na linha 279: attempt to index field 'wikibase' (a nil value).
Erro Lua em Módulo:Infobox/Wikidata na linha 128: attempt to index field 'wikibase' (a nil value).
Nome nativo Erro Lua em Módulo:WikidataIB na linha 279: attempt to index field 'wikibase' (a nil value).
Pseudônimo(s) Erro Lua em Módulo:WikidataIB na linha 279: attempt to index field 'wikibase' (a nil value).
Nascimento Erro Lua em Módulo:WikidataIB na linha 1023: attempt to compare nil with number.
Erro Lua em Módulo:WikidataIB na linha 279: attempt to index field 'wikibase' (a nil value).
Morte [[Erro de expressão: Operador < inesperado Erro de expressão: Operador < inesperado|Erro de expressão: Operador < inesperadoErro de expressão: Operador < inesperado]] (Erro de expressão: Operador < inesperado ano)[[Categoria:Mortos em Erro de expressão: Operador < inesperado Erro de expressão: Operador < inesperado]]
Erro Lua em Módulo:WikidataIB na linha 279: attempt to index field 'wikibase' (a nil value).
Residência Erro Lua em Módulo:WikidataIB na linha 279: attempt to index field 'wikibase' (a nil value).
Sepultamento Erro Lua em Módulo:WikidataIB na linha 279: attempt to index field 'wikibase' (a nil value).
Cidadania Erro Lua em Módulo:WikidataIB na linha 279: attempt to index field 'wikibase' (a nil value).
Etnia Erro Lua em Módulo:WikidataIB na linha 279: attempt to index field 'wikibase' (a nil value).
Estatura Erro Lua em Módulo:WikidataIB na linha 279: attempt to index field 'wikibase' (a nil value).
Progenitores Mãe:Erro Lua em Módulo:WikidataIB na linha 279: attempt to index field 'wikibase' (a nil value).
Pai:Erro Lua em Módulo:WikidataIB na linha 279: attempt to index field 'wikibase' (a nil value).
Cônjuge Erro Lua em Módulo:WikidataIB na linha 279: attempt to index field 'wikibase' (a nil value).
Filho(s) Erro Lua em Módulo:WikidataIB na linha 279: attempt to index field 'wikibase' (a nil value).
Irmão(s) Erro Lua em Módulo:WikidataIB na linha 279: attempt to index field 'wikibase' (a nil value).
Alma mater Universidade de Cambridge
Ocupação Erro Lua em Módulo:WikidataIB na linha 279: attempt to index field 'wikibase' (a nil value).
Influências
Prêmios Erro Lua em Módulo:WikidataIB na linha 279: attempt to index field 'wikibase' (a nil value).
Empregador Erro Lua em Módulo:WikidataIB na linha 279: attempt to index field 'wikibase' (a nil value).
Magnum opus Erro Lua em Módulo:WikidataIB na linha 279: attempt to index field 'wikibase' (a nil value).
Movimento estético Erro Lua em Módulo:WikidataIB na linha 279: attempt to index field 'wikibase' (a nil value).
Título Erro Lua em Módulo:WikidataIB na linha 279: attempt to index field 'wikibase' (a nil value).
[[File:Erro Lua em Módulo:WikidataIB na linha 279: attempt to index field 'wikibase' (a nil value).|150px]]
Religião Erro Lua em Módulo:WikidataIB na linha 279: attempt to index field 'wikibase' (a nil value).
Causa da morte Erro Lua em Módulo:WikidataIB na linha 279: attempt to index field 'wikibase' (a nil value).
Página oficial
Erro Lua em Módulo:WikidataIB na linha 279: attempt to index field 'wikibase' (a nil value).
Assinatura
[[File:Erro Lua em Módulo:WikidataIB na linha 279: attempt to index field 'wikibase' (a nil value).|frameless]]
Orientador(es) Martin Hyland
Campo(s) Matemática
Tese 1988: The Dialectica Categories
[[[d:Erro Lua em Módulo:Infobox/Wikidata na linha 169: attempt to index field 'wikibase' (a nil value).|edite no Wikidata]]]

Erro Lua em Módulo:Categorização_AD_e_AB_de_outras_wikis na linha 173: attempt to index field 'wikibase' (a nil value).

Valeria Correa Vaz de Paiva é uma matemática e cientista da computação brasileira até recentemente associada à Samsung Research America. Atualmente é professora Visitante da PUC Rio - Pontifícia Universidade Católica do Rio de Janeiro, e fundadora do Topos Institute, Berkeley, EUA.

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 de programação e teoria dos tipos.[1][2]

Obteve um bacharelado em matemática em 1982,[1] um mestrado em 1984 pela Pontifícia Universidade Católica do Rio de Janeiro e um doutorado em 1988 pela Universidade de Cambridge, UK orientada por Martin Hyland.[3]

Publicações selecionadas[editar]

  • 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. 1,0 1,1 «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, abril de 2015, consultado em 24 de julho de 2015 .
  3. Valeria de Paiva (em inglês) no Mathematics Genealogy Project

Ligações externas[editar]

Erro Lua em Módulo:Controle_de_autoridade na linha 131: attempt to index field 'wikibase' (a nil value).Erro Lua em Módulo:Taxonbar na linha 147: attempt to index field 'wikibase' (a nil value).Erro Lua em Módulo:Medbar na linha 131: attempt to index field 'wikibase' (a nil value).


Este artigo "Valeria de Paiva" é da wikipedia The list of its authors can be seen in its historical and/or the page Edithistory:Valeria de Paiva.



Read or create/edit this page in another language[editar]