Team
Full Member
Department & Location
Contacts
cristina.sernadas
+351 218 417 151
CURRENT POSITIONS
- Professor of Mathematics at IST (retired)
- President of the Portuguese Logic Society
Cristina Sernadas
Born in 1951 in Portugal, Cristina Sernadas graduated in Mathematics at the Faculty of Sciences of Lisbon in 1973, got her PhD in Mathematics from the University of London in 1980 and obtained her agregação (habilitation) from the Technical University of Lisbon in 1988. Since 1993 she is Full Professor for Logic and Computation at the Department of Mathematics of IST of the University of Lisbon.
Her research focuses on the combination of logics, fibring and meet-combination, complexity of proofs, conservative translations and reduction, preservation properties, labelled proof theory, probability and quantum logics, categorical techniques, and abduction.
Her research focuses on the combination of logics, fibring and meet-combination, complexity of proofs, conservative translations and reduction, preservation properties, labelled proof theory, probability and quantum logics, categorical techniques, and abduction.
Publications
Selected publications and profiles:
Projects
Recent project:
Supervision
Supervised PhD theses:
PhD Students
K. G. Roggia
Fusion of General Modal Logics Labelled with Truth Values (2012 - IST)
P. Baltazar
Probabilization of Logic Systems (2010 - IST)
J. Rasga
Fibring Labelled First-order Based Logics (2003 - IST)
P. Mateus
Interconnection of Probabilistic Systems (2000 - IST)
P. Gouveia
Abductive Reasoning over Temporal Specifications of Objects (1998 - IST)
Books used in graduate and undergraduate courses lectured over the years:
Decidability of Logical Theories and Their Combination
J. Rasga and C. Sernadas
Springer-Birkhäuser, 2020.
A Mathematical Primer on Linear Optimization
D. Gomes, A. Sernadas, C. Sernadas, J. Rasga and P. Mateus
College Publications, 2019.
A Mathematical Primer on Computability
A. Sernadas, C. Sernadas, J. Rasga and J. Ramos
College Publications, 2018.
Introdução à Programação em Mathematica
J. Carmo, A. Sernadas, C. Sernadas, F. M. Dionísio and C. Caleiro
IST Press, 2014 (Terceira Edição).
Foundations of Logic and Theory of Computation
A. Sernadas and C. Sernadas
College Publications, 2012 (Second Edition).
Introdução à Teoria da Computação
C. Sernadas
Editorial Presença, 1993.