Valeria Correa Vaz de Paiva (nacida el 13 de junio de 1959 en Pouso Alegre, Brasil) es una matemática e informática brasileña. Fue profesora en la Universidad de Birmingham y trabajó en laboratorios de procesamiento del lenguaje natural (PLN) líderes en la industria, incluidos Samsung Research America, Nuance, Deem, Cuil y durante muchos años en Xerox PARC.
== Vida y trabajo ==
De Pavia creció en Río de Janeiro y comenzó a estudiar periodismo y derecho. Luego estudió matemáticas en la Pontificia Universidad Católica (PUC) de Río de Janeiro, donde se licenció en matemáticas puras en 1982 y obtuvo una maestría en álgebra en 1984 con la tesis ''Las transformaciones de Hurwitz-Radón''. Se doctoró en la Universidad de Cambridge en 1988 con Martin Hyland con la disertación “The Dialectica Categorys”. Su disertación definió el concepto de espacios dialectales, un nuevo método para construir modelos de lógica lineal, una forma lógica que ha sido influyente en campos como la lingüística, los lenguajes de programación y la física cuántica.
De 1982 a 1990 fue profesora asistente en la PUC y de 1996 a 2000 fue profesora asistente en la Facultad de Ciencias de la Computación de la Universidad de Birmingham. Luego realizó investigaciones en laboratorios de PNL líderes en la industria estadounidense, incluido el Centro de Investigación de Palo Alto (PARC) de Xerox PARC hasta 2008, en Nuance Communications-Sunnyvale hasta 2018 y en Samsung Research America-Mountain View. Desde 2020, es científica senior en el Instituto Topos de Berkeley, un laboratorio de investigación en matemáticas e informática.
[h4] Valeria Correa Vaz de Paiva (nacida el 13 de junio de 1959 en Pouso Alegre, Brasil) es una matemática e informática brasileña. Fue profesora en la Universidad de Birmingham y trabajó en laboratorios de procesamiento del lenguaje natural (PLN) líderes en la industria, incluidos Samsung Research America, Nuance, Deem, Cuil y durante muchos años en Xerox PARC. == Vida y trabajo == De Pavia creció en Río de Janeiro y comenzó a estudiar periodismo y derecho. Luego estudió matemáticas en la Pontificia Universidad Católica (PUC) de Río de Janeiro, donde se licenció en matemáticas puras en 1982 y obtuvo una maestría en álgebra en 1984 con la tesis ''Las transformaciones de Hurwitz-Radón''. Se doctoró en la Universidad de Cambridge en 1988 con Martin Hyland con la disertación “The Dialectica Categorys”. Su disertación definió el concepto de espacios dialectales, un nuevo método [url=viewtopic.php?t=2398]para construir[/url] modelos de lógica lineal, una forma lógica que ha sido influyente en campos como la lingüística, los lenguajes de programación y la física cuántica. De 1982 a 1990 fue profesora asistente en la PUC y de 1996 a 2000 fue profesora asistente en la Facultad de Ciencias de la Computación de la Universidad de Birmingham. Luego realizó investigaciones en laboratorios de PNL líderes en la industria estadounidense, incluido el Centro de Investigación de Palo Alto (PARC) de Xerox PARC hasta 2008, en Nuance Communications-Sunnyvale hasta 2018 y en Samsung Research America-Mountain View. Desde 2020, es científica senior en el Instituto Topos de Berkeley, un laboratorio de investigación en matemáticas e informática.
Es miembro del Consejo Asesor del Departamento de Lógica, Metodología y Filosofía de la Ciencia y es profesora de Introducción a la Lógica y Especificaciones en la Universidad de Santa Clara. Lidera el colectivo ''Mujeres en Lógica'' con un grupo de Facebook y un blog, apoya el programa de becas ''ACM-W'' e inició el taller internacional ''Mujeres en Lógica''. * [https://scholar.google.com/citations?user=AYdo1hMAAAAJ Perfil de Google Scholar] * [https://www.researchgate.net/profile/Valeria-De-Paiva Perfil de Researchgate] * [https://vcvpaiva.github.io/ Sitio web personal [inglés)] * [https://impa.br/notices/participacao-de-mulheres-na-matematica-piorou-diz-paiva/ La participación de las mujeres en matemáticas se ha deteriorado (portugués)]
'''Alcides de Barros Paiva''' (nacido el 5 de septiembre de 1894 en Río de Janeiro, † el 5 de diciembre de 1959) fue un jugador brasileño de waterpolo.
Valeria Buldini es una modelo italiana de ascendencia rusa.
== Vida temprana y carrera ==
Valeria Buldini nació en Budrio, provincia de Bolonia, de madre rusa y padre italiano. Después de ganar el...
'''Valeriia Trifonova''' (
== Carrera ==
Trifonova comenzó su carrera de lucha libre en 2015, ganando el campeonato ruso de colegialas en la categoría de 70 kg. Se convirtió en campeona nacional...
Mobile version