Maria Cristina De Sales Viana Serôdio Sernadas (born 1951) is a Portuguese

mathematical logic Mathematical logic is the study of logic, formal logic within mathematics. Major subareas include model theory, proof theory, set theory, and recursion theory. Research in mathematical logic commonly addresses the mathematical properties of for ...

ian whose research topics have included

object-oriented Object-oriented programming (OOP) is a programming paradigm based on the concept of "objects", which can contain data and code. The data is in the form of fields (often known as attributes or ''properties''), and the code is in the form of pro ...

specification language A specification language is a formal language in computer science used during systems analysis, requirements analysis, and systems design to describe a system at a much higher level than a programming language, which is used to produce the executa ...

s and logics for

information system An information system (IS) is a formal, sociotechnical, organizational system designed to collect, process, store, and distribute information. From a sociotechnical perspective, information systems are composed by four components: task, people ...

s, and the use of

category theory Category theory is a general theory of mathematical structures and their relations that was introduced by Samuel Eilenberg and Saunders Mac Lane in the middle of the 20th century in their foundational work on algebraic topology. Nowadays, cate ...

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 The Technical University of Lisbon (UTL; pt, Universidade Técnica de Lisboa, ) was a Portuguese public university. It was created in 1930 in Lisbon, as a confederation of preexisting schools, and comprised the faculties and institutes of veter ...

Education and career

Sernadas studied mathematics at the

University of Lisbon The University of Lisbon (ULisboa; pt, Universidade de Lisboa, ) is a public research university in Lisbon, and the largest university in Portugal. It was founded in 2013, from the merger of two previous public universities located in Lisbon, th ...

, graduating in 1973, and earned a Ph.D. in mathematics in 1980 from the

University of London The University of London (UoL; abbreviated as Lond or more rarely Londin in post-nominals) is a federal public research university located in London, England, United Kingdom. The university was established by royal charter in 1836 as a degree ...

. Her doctoral dissertation, ''Multivariate Branching Processes'', concerned

branching process In probability theory, a branching process is a type of mathematical object known as a stochastic process, which consists of collections of random variables. The random variables of a stochastic process are indexed by the natural numbers. The origi ...

es in

probability theory Probability theory is the branch of mathematics concerned with probability. Although there are several different probability interpretations, probability theory treats the concept in a rigorous mathematical manner by expressing it through a set o ...

, and was supervised by statistician D. J. Bartholomew. In 1988 she completed a

habilitation Habilitation is the highest university degree, or the procedure by which it is achieved, in many European countries. The candidate fulfills a university's set criteria of excellence in research, teaching and further education, usually including a ...

(''agregação'') 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'' (''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 Dov M. Gabbay (; born October 23, 1945) is an Israeli logician. He is Augustus De Morgan Professor Emeritus of Logic at the Group of Logic, Language and Computation, Department of Computer Science, King's College London. Work Gabbay has authore ...

, and P. Gouveia, Springer, 2008) *''A Mathematical Primer on Computability'' (with A. Sernadas, J. Rasga and J. Ramos, College Publications, 2018) *''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

External links

* {{DEFAULTSORT:Sernadas, Cristina 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