Valéria de Paiva

Valéria de Paiva
Valéria de Paiva
Nascimento 13 de junho de 1959
Rio de Janeiro
Cidadania Brasil
Alma mater
Ocupação matemática, lógica, cientista de computação
Empregador(a) Samsung Electronics, Xerox PARC, Nuance Communications
Página oficial
http://github.com/vcvpaiva

Valeria Correia Vaz de Paiva é uma matemática e cientista da informática brasileira que trabalha com semântica de linguagem natural e de linguagens de programação. Seu trabalho inclui teorias lógicas para computação, especialmente utilizando Teoria de categorias, representação do conhecimento, semântica de linguagem natural, e programação funcional com um foco em fundações e teorias de tipo.[1][2][3] Ela é a terceira matemática brasileira mais procurada nos buscadores da internet.[4]

Licenciou-se em matemática em 1982, obteve o mestrado em 1984 (em álgebra pura) e completou o doutorado pela Universidade de Cambridge em 1988, sob supervisão de Martin Hyland. Sua tese introduziu Espaços Dialecticos, uma maneira categórica de construir modelos de lógica linear.[5][6]

Trabalhou nove anos no Palo Alto Research Center da Xerox PARC, em Palo Alto, Califórnia, e também trabalhou em Rearden Commerce e Cuill antes de se unir a Nuance.[7] Foi docente em computação em várias instituições, tais como a Universidade de Santa Clara e a Universidade de Stanford.[8] Cofundou o Topos Institute em Berkeley, CA, que visa avançar as ciências da conexão e integração observando as estruturas matemáticas da computação.

É membro honorária da Escola de Informática, da Universidade de Birmingham.[7][9] É membro do 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).[10][11] Foi indicada como Embaixadora de Lógica do World Logic Day de 2021.[12]

No Encontro Brasileiro de Mulheres Matemáticas, realizado no IMPA, no Rio de Janeiro, Valéria foi convidada para ser uma das palestrantes especiais e comentou que "nos Estados Unidos, a proporção de mulheres ocupadas nas duas áreas caiu entre 1990 e 2013: passou de 35% para 26%. Na Engenharia, o movimento até foi de crescimento, mas se deu de forma muito tímida, passando de 9% para 12%".[13] Segundo ela, “Já fui em conferência com 70 homens e eu. O cara que abriu a conferência disse: ‘Gentlemen e Valéria’. E os números [de graduadas em computação] no Brasil estão caindo, em vez de melhorar. Isso não pode ser’”.[14]

Algumas publicações

[editar | editar código-fonte]
  • Term Assignment for Intuitionistic Linear Logic (con Benton, Bierman and Hyland). Technical Report 262, University of Cambridge Computer Laboratory. Agosto de 1992.
  • Lineales (con 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 Río de Janeiro, abril de 1991.
  • A Dialectica-like Model of Linear Logic. In Proc. of Category Theory and Computer Science, Manchester, RU, septiembre 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)

Referências

  1. ↑ «Valeria de Paiva», Mathematical Association of America, Career Profiles, consultado em 24 de junho de 2015 
  2. ↑ «Profile: Valeria de Paiva» (PDF), Joint Policy Board for Mathematics, Mathematics Awareness Month, 2015, consultado em 24 de julho de 2015 
  3. ↑ «Search results for `Valeria Correa Vaz De Paiva` - PhilArchive». philarchive.org. Consultado em 17 de outubro de 2022 
  4. ↑ «Bruna Marquezine e Anitta lideram lista de mulheres mais buscadas na web». www.uol.com.br. Consultado em 21 de outubro de 2022 
  5. ↑ Valeria de Paiva
  6. ↑ «Valeria de Paiva - The Mathematics Genealogy Project». www.genealogy.math.ndsu.nodak.edu. Consultado em 17 de outubro de 2022 
  7. ↑ a b «Valeria de Paiva». www.cs.bham.ac.uk. Consultado em 17 de outubro de 2022 
  8. ↑ «Estas são as contribuições de dez mulheres latino-americanas para a ciência». Global Voices em Português. 12 de abril de 2017. Consultado em 17 de outubro de 2022 
  9. ↑ «Valeria Correa Vaz De Paiva (University of Birmingham) - PhilPeople». philpeople.org (em inglês). Consultado em 17 de outubro de 2022 
  10. ↑ «DLMPST». dlmps.org. Consultado em 17 de outubro de 2022 
  11. ↑ «Valeria de Paiva | Mathematical Association of America». www.maa.org. Consultado em 17 de outubro de 2022 
  12. ↑ «World Logic Day» (em inglês). Consultado em 17 de outubro de 2022 
  13. ↑ «'Participação de mulheres na Matemática piorou', diz Paiva». IMPA - Instituto de Matemática Pura e Aplicada. Consultado em 17 de outubro de 2022 
  14. ↑ Maia, Marcel Maggion (2016). «Limites de gênero e presença feminina nos cursos superiores brasileiros do campo da computação». Cadernos Pagu: 223–244. ISSN 0104-8333. doi:10.1590/18094449201600460223. Consultado em 21 de outubro de 2022 
Ícone de esboço Este artigo sobre uma pessoa é um esboço. Você pode ajudar a Wikipédia expandindo-o.