Cristina Sernadas

Maria Cristina De Sales Viana Serôdio Sernadas ^{[1] (nacida en 1951) es una} lógica matemática portuguesa cuyos temas de investigación han incluido lenguajes de especificación orientados a objetos y lógicas para sistemas de información , y el uso de la teoría de categorías en la combinación ("fibring") de múltiples tipos de lógica. Es profesora de Lógica y Computación en el Departamento de Matemáticas de la Universidad Técnica de Lisboa . ^[2]

Sernadas estudió matemáticas en la Universidad de Lisboa , donde se graduó en 1973, y obtuvo un doctorado en matemáticas en 1980 en la Universidad de Londres . ^[2] Su tesis doctoral, Procesos de ramificación multivariante , se centró en los procesos de ramificación en la teoría de la probabilidad , y fue supervisada por el estadístico DJ Bartholomew . ^[3]

En 1988 completó una habilitación ( agregação ) en la Universidad Técnica de Lisboa, y se convirtió en profesora titular allí en 1993. ^[2]

Los libros de Sernadas incluyen: ^[4]

• Introdução à Teoria da Computação ( Introducción a la Teoría de la Computación , Editorial Presença, 1993)
• Introdução à Programação em Mathematica ( Introducción a la programación en Mathematica , con J. Carmo, A. Sernadas, FM Dionísio y C. Caleiro, IST Press, 1999; 2.ª ed., 2004; 3.ª ed., 2014)
• Fundamentos de lógica y teoría de la computación (con A. Sernadas, College Publications, 2008; 2.ª ed., 2012)
• Análisis y síntesis de lógicas: cómo cortar y pegar sistemas de razonamiento (con WA Carnielli , ME Coniglio, D. Gabbay y P. Gouveia, Springer, 2008) ^[5]
• Una introducción matemática a la computabilidad (con A. Sernadas, J. Rasga y J. Ramos, College Publications, 2018) ^[6]
• Introducción matemática a la optimización lineal (con D. Gomes, A. Sernadas, J. Rasga y P. Mateus, College Publications, 2019)
• Decidibilidad de las teorías lógicas y su combinación (con J. Rasga, Springer, 2020)

• Publicaciones de Cristina Sernadas indexadas en Google Scholar