Valeria de Paiva

Matemático, lógico y informático brasileño.

Valeria Correa Vaz de Paiva es una matemática , lógica y científica informática brasileña . Su trabajo incluye investigaciones sobre enfoques lógicos para la computación , especialmente utilizando la teoría de categorías , la representación del conocimiento y la semántica del lenguaje natural , y la programación funcional con un enfoque en los fundamentos y las teorías de tipos . ^{[3] [4] [5]}

Educación

De Paiva obtuvo una licenciatura en matemáticas en 1982, ^[3] una maestría en 1984 (en álgebra pura ) y completó un doctorado en la Universidad de Cambridge en 1988, bajo la supervisión de Martin Hyland . ^{[6] [2]} Su tesis introdujo los espacios de Dialéctica , una forma categórica de construir modelos de lógica lineal , basada en la interpretación de Dialéctica de Kurt Gödel .

Carrera e investigación

Trabajó durante nueve años en PARC en Palo Alto, California , y también trabajó en Rearden Commerce y Cuil antes de unirse a Nuance. ^{[4] [7]} Es investigadora honoraria en informática en la Universidad de Birmingham . ^{[1] [7]} Actualmente forma parte del Consejo de la División de Lógica, Metodología y Filosofía de la Ciencia y la Tecnología de la Unión Internacional de Historia y Filosofía de la Ciencia y la Tecnología (2020-2023). ^[8]

Publicaciones seleccionadas

• Teoría de categorías aplicada a la química, la informática y las redes sociales . (con Baez, Cho, Ciccala y Otter). Notices of the American Mathematical Society, vol. 69, número 2, febrero de 2022.
• Trabajo final de curso sobre lógica lineal intuicionista (con Benton, Bierman y Hyland). Informe técnico 262, Laboratorio de Computación de la Universidad de Cambridge . Agosto de 1992.
• Lineales . (con JME Hyland) En "O que nos faz pensar" Número especial en Lógica de "Cadernos do Dept. de Filosofia da PUC", Pontificia Universidad Católica de Río de Janeiro, abril de 1991.
• Un modelo de lógica lineal similar al de la dialéctica . En Proceedings of Category Theory and Computer Science, Manchester, Reino Unido, septiembre de 1989. Springer-Verlag LNCS 389 (eds. D. Pitt, D. Rydeheard, P. Dybjer, A. Pitts y A. Poigne).
• Las categorías de la dialéctica . En Proc of Categories in Computer Science and Logic, Boulder, CO, 1987. Contemporary Mathematics, vol. 92, American Mathematical Society, 1989 (eds. J. Gray y A. Scedrov)

Referencias

1. Publicaciones de Valeria de Paiva indexadas por Google Scholar
2. Valeria de Paiva en el Proyecto de Genealogía Matemática
3. "Valeria de Paiva", Career Profiles , Asociación Matemática de América , consultado el 24 de julio de 2015.
4. "Perfil: Valeria de Paiva" (PDF) , Mes de Concientización sobre las Matemáticas , Joint Policy Board for Mathematics , abril de 2015 , consultado el 24 de julio de 2015.
5. Valeria de Paiva Sitio web oficial
6. Paiva, Valeria Correa Vaz de (1988). Las categorías dialécticas (PDF) . cl.cam.ac.uk (tesis doctoral). Universidad de Cambridge. ISSN  1476-2986. OCLC  26346882. EThOS  uk.bl.ethos.315050.UCAM-CL-TR-213
7. Página de inicio, Universidad de Birmingham, consultado el 24 de julio de 2015.
8. "Sitio web de DLMPST: Consejo 2020-2023" . Consultado el 16 de abril de 2020 .