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

Валерия де Пайва
Рожденный	Валерия Корреа Вас де Пайва
Альма-матер	Кембриджский университет (доктор философии)
Научная карьера
Поля	Математика Теория категорий Теория доказательств Типовые системы Семантика
Учреждения	ПАРК Нюанс Коммуникации Университет Бирмингема
Диссертация	Категории диалектики   (1988)
Докторантура	Мартин Хайланд
Веб-сайт	vcvpaiva .github .что

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

Образование

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

и

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

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

• Прикладная теория категорий в химии, информатике и социальных сетях . (с Баэзом, Чо, Чиккалой и Выдрой). Уведомления Американского математического общества, том. 69, № 2, февраль 2022 г.
• Назначение терминов для интуиционистской линейной логики . (с Бентоном, Бирманом и Хайландом). Технический отчет 262, Компьютерная лаборатория Кембриджского университета . Август 1992 года.
• Линеалес . (совместно с Дж.М.Э. Хайландом) В специальном номере «Что заставляет нас думать» по логике «Cadernos do Dept. de Filosofia da PUC», Папский католический университет Рио-де-Жанейро, апрель 1991 г.
• Модель линейной логики, подобная диалектике . В Proceedings of Category Theory and Computer Science, Манчестер, Великобритания, сентябрь 1989 г. Springer-Verlag LNCS 389 (ред. Д. Питт, Д. Райдхард, П. Дибьер, А. Питтс и А. Пуань).
• Категории диалектики . В сборнике категорий информатики и логики, Боулдер, Колорадо, 1987. Современная математика, том 92, Американское математическое общество, 1989 (ред. Дж. Грей и А. Скедров).