Cristina Sernadas
Maria Cristina De Sales Viana Serôdio Sernadas is a Portuguese mathematical logician whose research topics have included object-oriented specification languages and logics for information systems, and the use of category theory in the combination of multiple types of logic. She is Professor for Logic and Computation in the Department of Mathematics of the Technical [University of Lisbon].
Education and career
Sernadas studied mathematics at the University of Lisbon, graduating in 1973, and earned a Ph.D. in mathematics in 1980 from the University of London. Her doctoral dissertation, Multivariate Branching Processes, concerned branching processes in probability theory, and was supervised by statistician D. J. Bartholomew.In 1988 she completed a habilitation at the Technical University of Lisbon, and became a full professor there in 1993.
Books
Sernadas's books include:- Introdução à Teoria da Computação
- Introdução à Programação em Mathematica
- Foundations of Logic and Theory of Computation
- Analysis and Synthesis of Logics: How To Cut And Paste Reasoning Systems
- A Mathematical Primer on Computability
- A Mathematical Primer on Linear Optimization
- ''Decidability of Logical Theories and Their Combination''