Кристина Сернадас

Мария Кристина Де Сейлс Виана Серодью Сернадс ^[1] (родилась в 1951 году) — португальский математик-логик, чьи исследовательские темы включают объектно-ориентированные языки спецификаций и логику для информационных систем , а также использование теории категорий в сочетании («fibring») нескольких типов логики. Она является профессором логики и вычислений на кафедре математики Технического университета Лиссабона . ^[2]

Сернадас изучала математику в Лиссабонском университете , который окончила в 1973 году, и получила степень доктора философии по математике в 1980 году в Лондонском университете . ^[2] Ее докторская диссертация «Многомерные ветвящиеся процессы » касалась ветвящихся процессов в теории вероятностей и была написана под руководством статистика DJ Bartholomew . ^[3]

В 1988 году она получила степень доктора наук ( agregação ) в Техническом университете Лиссабона и стала там профессором в 1993 году. ^[2]

Книги Сернадаса включают в себя: ^[4]

• Introdução à Teoria da Computação ( Введение в теорию вычислений , редакционное издание, 1993)
• Introdução à Programação em Mathematica ( Введение в программирование в Mathematica , с Дж. Кармо, А. Сернадасом, Ф. М. Дионисио и К. Калейро, IST Press, 1999; 2-е изд., 2004 г.; 3-е изд., 2014 г.)
• Основы логики и теории вычислений (совместно с А. Сернадас, College Publications, 2008; 2-е изд., 2012)
• Анализ и синтез логик: как вырезать и вставлять системы рассуждений (совместно с WA Carnielli , ME Coniglio, D. Gabbay и P. Gouveia, Springer, 2008) ^[5]
• Математический учебник по вычислимости (совместно с А. Сернадас, Дж. Расга и Дж. Рамос, College Publications, 2018) ^[6]
• Математический учебник по линейной оптимизации (совместно с Д. Гомесом, А. Сернадасом, Дж. Расгой и П. Матеусом, College Publications, 2019)
• Разрешимость логических теорий и их комбинации (совместно с Дж. Расгой, Springer, 2020)

• Публикации Кристины Сернадас, проиндексированные Google Scholar