Валерия де Пайва ⇐ Васина Википедия

[wiki_de]

Валерия Корреа Вас де Пайва (родилась 13 июня 1959 года в Посу-Алегри, Бразилия) — бразильский математик и ученый-компьютерщик. Она была профессором Бирмингемского университета и работала в ведущих отраслевых лабораториях обработки естественного языка (НЛП), включая Samsung Research America, Nuance, Deem, Cuil и в течение многих лет в Xerox PARC.
== Жизнь и работа ==
Де Павиа вырос в Рио-де-Жанейро и начал изучать журналистику и право. Затем она изучала математику в Папском католическом университете (PUC) в Рио-де-Жанейро, где получила степень бакалавра чистой математики в 1982 году и степень магистра алгебры в 1984 году, защитив диссертацию «Преобразования Гурвица-Радона». Докторскую степень она получила в Кембриджском университете в 1988 году вместе с Мартином Хайландом, защитив диссертацию «Категории диалектики». В ее диссертации определена концепция диалектных пространств, нового метода построения моделей линейной логики, логической формы, которая оказала влияние на такие области, как лингвистика, языки программирования и квантовая физика.
С 1982 по 1990 год она была доцентом PUC, а с 1996 по 2000 год — доцентом Школы компьютерных наук Бирмингемского университета. Затем она проводила исследования в ведущих лабораториях НЛП в промышленности США, в том числе в Xerox PARC | Исследовательском центре Пало-Альто (PARC) до 2008 года, в Nuance Communications-Саннивейл до 2018 года и в Samsung Research America-Mountain View. С 2020 года она является старшим научным сотрудником Института Топос в Беркли, исследовательской лаборатории математики и информатики.

Она является членом Консультативного совета Департамента логики, методологии и философии науки и преподает курс «Введение в логику и спецификации» в Университете Санта-Клары.
Она возглавляет коллектив «Женщины в логике» с группой в Facebook и блогом, поддерживает стипендиальную программу «ACM-W» и инициирует международный семинар «Женщины в логике».
* [https://scholar.google.com/citations?user=AYdo1hMAAAAJ Профиль Академии Google]
* [https://www.researchgate.net/profile/Профиль Valeria-De-Paiva Researchgate]
* [https://vcvpaiva.github.io/ Персональный сайт [англ.)]
* [https://impa.br/notices/participacao-de ... diz-paiva/ Участие женщин в занятиях математикой ухудшилось (португальский)]



Категория:Математики (20 век)
Категория:Математики (21 век)
Категория:Ученый-компьютерщик
Категория:Родился в 1959 году
Категория:Бразильский
Категория:Женщины



Подробнее: https://de.wikipedia.org/wiki/Valeria_de_Paiva