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

mathematical logic Mathematical logic is the study of Logic#Formal logic, formal logic within mathematics. Major subareas include model theory, proof theory, set theory, and recursion theory (also known as computability theory). Research in mathematical logic com ...

ian whose research topics have included

object-oriented Object-oriented programming (OOP) is a programming paradigm based on the concept of '' objects''. Objects can contain data (called fields, attributes or properties) and have actions they can perform (called procedures or methods and impleme ...

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 exec ...

s and logics for

information system An information system (IS) is a formal, sociotechnical, organizational system designed to collect, process, Information Processing and Management, store, and information distribution, distribute information. From a sociotechnical perspective, info ...

s, and the use of

category theory Category theory is a general theory of mathematical structures and their relations. It was introduced by Samuel Eilenberg and Saunders Mac Lane in the middle of the 20th century in their foundational work on algebraic topology. 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 The Technical University of Lisbon (UTL; , ) 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 veterinary medicine; agricultural scienc ...

Education and career

Sernadas studied mathematics at the

University of Lisbon The University of Lisbon (ULisboa; ) is a public university, public research university in Lisbon, and Portugal's largest university. It was founded in 1911, but the university's present structure dates to the 2013 merger of the former Universit ...

, 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-nominal letters, post-nominals) is a collegiate university, federal Public university, public research university located in London, England, United Kingdom. The ...

. 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 indexed by some set, usually natural or non-negative real numbers. The original purpose of ...

es in

probability theory Probability theory or probability calculus 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 expre ...

, and was supervised by statistician

D. J. Bartholomew David John Bartholomew (6 August 1931 – 16 October 2017) was a British statistician who was president of the Royal Statistical Society between 1993 and 1995.''Who Was Who'', Published by A&C Black Limited, an imprint of Bloomsbury Publishing ...

. In 1988 she completed a

habilitation Habilitation is the highest university degree, or the procedure by which it is achieved, in Germany, France, Italy, Poland and some other European and non-English-speaking countries. The candidate fulfills a university's set criteria of excelle ...

(''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, 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