Valeria de Paiva
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 | Lista
|
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,0 1,1 «Valeria de Paiva», Mathematical Association of America, Career Profiles, consultado em 24 de julho de 2015.
- ↑ «Profile: Valeria de Paiva» (PDF), Joint Policy Board for Mathematics, Mathematics Awareness Month, abril de 2015, consultado em 24 de julho de 2015.
- ↑ Valeria de Paiva (em inglês) no Mathematics Genealogy Project
Ligações externas[editar]
- Sítio oficial
- Google scholar profile
- PUC-Rio - Professora Visitante
- Palestra Especial no Encontro Brasileiro de Mulheres Matemáticas
- Entrevista no IMPA
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.
- Pessoas mortas
- Matemáticas
- Mulheres cientistas da computação
- Lógicos do Brasil
- Matemáticos do Rio de Janeiro
- Matemáticos dos Estados Unidos
- Cientistas da computação do Brasil
- Cientistas da computação dos Estados Unidos
- Matemáticos do século XX
- Matemáticos do século XXI
- Alunos da Universidade de Cambridge
- Pessoas vivas