Usuário(a):Gat-ergódico/Valeria de Paiva

Origem: Wikipédia, a enciclopédia livre.
Gat-ergódico/Valeria de Paiva

Valeria Correa Vaz de Paiva é uma matemática, lógica e cientista da computação brasileira. Seu trabalho inclui pesquisas sobre abordagens lógicas da computação, especialmente através da teoria das categorias, representação de conhecimento e semântica de linguagem natural, e programação funcional focada em fundamentos e teoria dos tipos. [1] [2] [3]

Educação[editar | editar código-fonte]

De Paiva obteve o título de bacharel em matemática em 1982, [1] um mestrado em 1984 (em álgebra pura) e concluiu o doutorado na Universidade de Cambridge em 1988, sob a supervisão de Martin Hyland. [4] Sua tese introduziu os espaços Dialectica, uma forma categórica de construir modelos de lógica linear.

Carreira e pesquisa[editar | editar código-fonte]

De Paiva trabalhou por nove anos no PARC em Palo Alto, Califórnia, e também trabalhou na Rearden Commerce e Cuil antes de ingressar na Nuance. [2] Ela é pesquisadora honorária em ciência da computação na Universidade de Birmingham, [5] [6] e está atualmente no Conselho da Divisão de Lógica, Metodologia e Filosofia da Ciência e Tecnologia da União Internacional de História e Filosofia da Ciência e Tecnologia (2020-2023). [7]

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

  • Term Assignment for Intuitionistic Linear Logic . (com Benton, Bierman e Hyland). Technical Report 262, University of Cambridge Computer Laboratory. Agosto de 1992.
  • Lineales . (com JME Hyland) Em "O que nos faz pensar" Número especial em Lógica dos "Cadernos do Dept. de Filosofia da PUC", Pontifícia Universidade Católica do Rio de Janeiro, abril de 1991.
  • A Dialectica-like Model of Linear Logic . Em Proceedings of Category Theory and Computer Science, Manchester, UK, setembro de 1989. Springer-Verlag LNCS 389 (eds. D. Pitt, D. Rydeheard, P. Dybjer, A. Pitts e A. Poigne).
  • The Dialectica Categories. Em Proc of Categories in Computer Science and Logic, Boulder, CO, 1987. Contemporary Mathematics, vol 92, American Mathematical Society, 1989 (eds. J. Gray e A. Scedrov)

Referências[editar | editar código-fonte]

  1. ↑ a b «Valeria de Paiva», Mathematical Association of America, Career Profiles, consultado em 24 de julho de 2015 .
  2. ↑ a b «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 Sítio oficial
  4. ↑ cl.cam.ac.uk (PDF) (PhD). ISSN 1476-2986. EThOS uk.bl.ethos.315050 https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-213.pdf  |nome1= sem |sobrenome1= em Authors list (ajuda); Em falta ou vazio |título= (ajuda) UCAM-CL-TR-213
  5. ↑ Gat-ergódico/Valeria de Paiva, publicações indexadas pelo Google Scholar
  6. ↑ Home page, University of Birmingham, retrieved 2015-07-24.
  7. ↑ «DLMPST Website: Council 2020-2023». Consultado em 16 April 2020  Verifique data em: |acessodata= (ajuda)

[[Categoria:Matemáticas do século XXI]] [[Categoria:Matemáticas do século XX]] [[Categoria:Matemáticos dos Estados Unidos do século XXI]] [[Categoria:Matemáticos dos Estados Unidos do século XX]] [[Categoria:Lógicos do Brasil]] [[Categoria:Alunos da Universidade de Cambridge]] [[Categoria:Mulheres cientistas da computação do Brasil]] [[Categoria:Matemáticas dos Estados Unidos]] [[Categoria:Cientistas da computação dos Estados Unidos]] [[Categoria:Cientistas da computação do Brasil]] [[Categoria:Matemáticos do Brasil]] [[Categoria:Pessoas vivas]] [[Categoria:Mulheres do século XXI]] [[Categoria:Mulheres do século XX]] [[Categoria:Teóricos de categorias]]

Obtida de "https://pt.wikipedia.org/w/index.php?title=Usuário(a):Gat-ergódico/Valeria_de_Paiva&oldid=61628439"