Валерия де Пайва - Valeria de Paiva

Валерия де Пайва
Родившийся
Валерия Корреа Ваз де Пайва
Альма-матерКембриджский университет (Кандидат наук)
Научная карьера
Поля
УчрежденияPARC
Nuance Communications
Бирмингемский университет
ТезисКатегории диалектики  (1988)
ДокторантМартин Хайланд[2]
Интернет сайтvcvpaiva.github.io

Валерия Корреа Ваз де Пайва бразилец математик, логик, и специалист в области информатики связана с Samsung Research America Ее работа включает исследование логических подходов к вычисление, особенно используя теория категорий, представление знаний и естественный язык семантика, и функциональное программирование с акцентом на фонды и теории типов.[3][4][5]

Образование

Де Пайва получил степень бакалавра математики в 1982 году.[3] получил степень магистра в 1984 г. (по чистой алгебре) и докторскую степень в Кембриджский университет в 1988 г. под руководством Мартин Хайланд.[6][2] Ее диссертация представила Диалектические пространства, а категоричный способ построения моделей линейная логика.

Карьера и исследования

Она проработала девять лет в PARC в Пало-Альто, Калифорния, а также работал в Rearden Commerce и Cuil до присоединения к Nuance.[4][7] Она почетная научный сотрудник в информатике в Бирмингемский университет.[1][7] В настоящее время она входит в Совет Отдел логики, методологии и философии науки и техники Международного союза истории и философии науки и технологий (2020-2023).[8]

Избранные публикации

  • Назначение срока для интуиционистской линейной логики. (с Бентоном, Бирманом и Хайландом). Технический отчет 262, Компьютерная лаборатория Кембриджского университета. Август 1992 г.
  • Lineales. (совместно с J.M.E. Хайландом) В "O que nos faz pensar" Special number in Logic "Cadernos do Dept. de Filosofia da PUC", Папский католический университет Рио-де-Жанейро, апрель 1991 г.
  • Диалектическая модель линейной логики. In Proceedings of Category Theory and Computer Science, Манчестер, Великобритания, сентябрь 1989 г. Springer-Verlag LNCS 389 (ред. Д. Питт, Д. Райдехард, П. Дайбьер, А. Питтс и А. Пуань).
  • Категории диалектики. In Proc of Categories in Computer Science and Logic, Boulder, CO, 1987. Contemporary Mathematics, vol 92, American Mathematical Society, 1989 (ред. Дж. Грей и А. Щедров)

Рекомендации

  1. ^ а б Валерия де Пайва публикации, проиндексированные Google ученый Отредактируйте это в Викиданных
  2. ^ а б Валерия де Пайва на Проект "Математическая генеалогия"
  3. ^ а б "Валерия де Пайва", Профили карьеры, Математическая ассоциация Америки, получено 2015-07-24.
  4. ^ а б "Профиль: Валерия де Пайва" (PDF), Месяц знаний по математике, Объединенный политический совет по математике, Апрель 2015 г., получено 2015-07-24.
  5. ^ Валерия де Пайва Официальный веб-сайт
  6. ^ Пайва, Валерия Корреа Ваз де (1988). Категории диалектики (PDF). cl.cam.ac.uk (Кандидатская диссертация). Кембриджский университет. ISSN  1476-2986. OCLC  26346882. EThOS  uk.bl.ethos.315050.UCAM-CL-TR-213
  7. ^ а б Домашняя страница, University of Birmingham, данные получены 24 июля 2015 г.
  8. ^ «Сайт DLMPST: Совет 2020-2023». Получено 16 апреля 2020.