Cristina Sernadas
Maria Cristina De Sales Viana Serôdio Sernadas[1] (born 1951) 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 ("fibring") of multiple types of logic. She is Professor for Logic and Computation in the Department of Mathematics of the Technical University of Lisbon.[2]
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.[2] Her doctoral dissertation, Multivariate Branching Processes, concerned branching processes in probability theory, and was supervised by statistician D. J. Bartholomew.[3]
In 1988 she completed a habilitation (agregação) at the Technical University of Lisbon, and became a full professor there in 1993.[2]
Books
Sernadas's books include:[4]
- Introdução à Teoria da Computação (Introduction to the Theory of Computing, Editorial Presença, 1993)
- Introdução à Programação em Mathematica (Introduction to Programming in Mathematica, with J. Carmo, A. Sernadas, F. M. Dionísio, and C. Caleiro, IST Press, 1999; 2nd ed., 2004; 3rd ed., 2014)
- Foundations of Logic and Theory of Computation (with A. Sernadas, College Publications, 2008; 2nd ed., 2012)
- Analysis and Synthesis of Logics: How To Cut And Paste Reasoning Systems (with W. A. Carnielli, M. E. Coniglio, D. Gabbay, and P. Gouveia, Springer, 2008)[5]
- A Mathematical Primer on Computability (with A. Sernadas, J. Rasga and J. Ramos, College Publications, 2018)[6]
- A Mathematical Primer on Linear Optimization (with D. Gomes, A. Sernadas, J. Rasga and P. Mateus, College Publications, 2019)
- Decidability of Logical Theories and Their Combination (with J. Rasga, Springer, 2020)
References
- ^ Full name from home page, retrieved 2021-12-23
- ^ a b c "Cristina Sernadas", Instituto de telecomunicações, Technical University of Lisbon, retrieved 2021-12-23
- ^ Cristina Sernadas at the Mathematics Genealogy Project
- ^ "Books authored by Sernadas", Instituto de telecomunicações, Technical University of Lisbon, retrieved 2021-12-23
- ^ Reviews of Analysis and Synthesis of Logics:
- Branislav Boričić, Zbl 1137.03001
- Alexandre Costa-Leite, MR2378708
- ^ Review of A Mathematical Primer on Computability: Liang Yu, Zbl 1422.68001
External links
- Cristina Sernadas publications indexed by Google Scholar
- Articles with short description
- Short description is different from Wikidata
- Use dmy dates from December 2021
- Use list-defined references from December 2021
- Articles with VIAF identifiers
- Articles with J9U identifiers
- Articles with PLWABN identifiers
- Articles with ACM-DL identifiers
- Articles with DBLP identifiers
- Articles with Google Scholar identifiers
- Articles with MATHSN identifiers
- Articles with MGP identifiers
- Articles with ORCID identifiers
- Articles with RID identifiers
- Articles with Scopus identifiers
- Articles with SUDOC identifiers
- 1951 births
- Living people
- 20th-century Portuguese mathematicians
- Mathematical logicians
- Women logicians
- Women mathematicians
- University of Lisbon alumni
- Alumni of the University of London
- Academic staff of the Technical University of Lisbon
- 21st-century Portuguese mathematicians