Cristina Sernadas

Cristina Sernadas is a Full Professor in the Department of Mathematics at Instituto Superior Técnico, Universidade de Lisboa, Portugal, holding this position since May 1993 after progressing through academic ranks from Assistant Professor (1986-1989) to Associate Professor (1989-1993). She currently serves as President of the Sociedade Portuguesa de Lógica (SPL) since July 2022 and previously led the Centro de Lógica e Computação (2003-2008) and Centro de Matemática Aplicada (1999-2001) at IST. Her career spans over four decades with foundational contributions to mathematical logic and theoretical computer science.

Her educational background includes:

• Licenciatura in Mathematics, Faculdade de Ciências da Universidade de Lisboa, 1973
• PhD in Mathematics, University of London, UK, 1980 (supported by Fundação Calouste Gulbenkian)
• Agregação in Mathematics, Universidade Técnica de Lisboa, 1988

Sernadas' research centers on the combination of logics, including fibring and meet operations, complexity of proofs, conservative translations, preservation properties, labelled proof theory, probability and quantum logics, categorical techniques, and abduction. Her work establishes rigorous frameworks for integrating heterogeneous logical systems with applications in quantum computing, evidence-based reasoning, and fault-tolerant circuit design. She has authored influential books such as Decidability of Logical Theories and Their Combination (2020) and Foundations of Logic and Theory of Computation (2012), shaping the theoretical landscape of logic and computation.

Analysis of her 15 most recent publications (2014-2022) reveals three dominant research trajectories: (1) structural analysis of proof complexity and decidability in combined logical systems, (2) quantum logic applications with probabilistic reasoning for quantum observations, and (3) evidence-based temporal logics for time-stamped event reasoning. Her work consistently bridges abstract logical theory with practical computational applications, particularly in unreliable computing environments and quantum information systems.

Sernadas has supervised five PhD students:

• K. G. Roggia (2012): Fusion of General Modal Logics Labelled with Truth Values
• P. Baltazar (2010): Probabilization of Logic Systems
• J. Rasga (2003): Fibring Labelled First-order Based Logics
• P. Mateus (2000): Interconnection of Probabilistic Systems
• P. Gouveia (1998): Abductive Reasoning over Temporal Specifications of Objects

She maintains active academic leadership as Co-editor of Cadernos de Lógica e Computação (College Publications, since 2012), Editorial Board Member of Logics MDPI (since 2022), and organizer of the 2023 Special Issue on Combination of Logics and Theories. Her teaching portfolio includes advanced courses in Mathematical Logic, Category Theory, Theory of Computation, and Quantum Logic at IST.

Sernadas leads the Logic and Computation research group within IST's Department of Mathematics, fostering collaborations on categorical logic frameworks, quantum computational models, and evidence-based reasoning systems. Her team maintains strong international partnerships through the Sociedade Portuguesa de Lógica and participates in European research networks focused on foundational aspects of computer science.