Valeria Correa Vaz de Paiva es un brasileño matemático , lógico y científico de la computación . Su trabajo incluye investigación sobre enfoques lógicos de 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]
Valeria de Paiva | |
---|---|
Nació | Valeria Correa Vaz de Paiva |
alma mater | Universidad de Cambridge (PhD) |
Carrera científica | |
Campos | |
Instituciones | PARC Nuance Communications Universidad de Birmingham |
Tesis | Las categorías de dialéctica (1988) |
Asesor de doctorado | Martin Hyland [2] |
Sitio web | vcvpaiva |
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 .
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 ciencias de la computación en la Universidad de Birmingham . [1] [7] Actualmente es miembro del Consejo de la División de Lógica, Metodología y Filosofía de la Ciencia y Tecnología de la Unión Internacional de Historia y Filosofía de la Ciencia y la Tecnología (2020-2023). [8]
Publicaciones Seleccionadas
- Asignación de términos para 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 Rio de Janeiro, Abril 1991.
- Un modelo de lógica lineal similar a 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 Dialectica . 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
- ^ a b Publicaciones de Valeria de Paiva indexadas por Google Scholar
- ^ a b Valeria de Paiva en el Proyecto de genealogía matemática
- ^ a b "Valeria de Paiva" , Perfiles de carrera , Asociación Matemática de América , consultado el 24 de julio de 2015.
- ^ a b "Perfil: Valeria de Paiva" (PDF) , Mes de la concientización sobre las matemáticas , Junta de política conjunta para las matemáticas , abril de 2015 , consultado el 24 de julio de 2015.
- ^ Sitio web oficial de Valeria de Paiva
- ^ Paiva, Valeria Correa Vaz de (1988). Las categorías de dialéctica (PDF) . cl.cam.ac.uk (tesis doctoral). Universidad de Cambridge. ISSN 1476-2986 . OCLC 26346882 . EThOS uk.bl.ethos.315050 . UCAM-CL-TR-213
- ^ a b Página de inicio , Universidad de Birmingham, consultado el 24 de julio de 2015.
- ^ "Sitio web DLMPST: Consejo 2020-2023" . Consultado el 16 de abril de 2020 .