Валерия де Пайва

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

• 1 Образование
• 2 Карьера и исследования
  • 2.1 Избранные публикации
• 3 Ссылки

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

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

Выбрано публикации

• Назначение сроков для интуиционистской линейной логики. (с Бентоном, Бирманом и Хайландом). Технический отчет 262, Компьютерная лаборатория Кембриджского университета. Август 1992 г.
• Lineales. (совместно с JME Hyland) В "O que nos faz pensar" Специальный номер в логике "Cadernos do Dept. de Filosofia da PUC", Понтестический католический университет Рио-де-Жанейро, апрель 1991 г.
• A Dialectica-like Модель линейной логики. 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 (ред. Дж. Грей и А. Щедров)