Cristina Sernadas

Cristina Sernadas

neda

Sex or gender	female
Country of citizenship	Portugal
Given name	Cristina
Date of birth	1951
Occupation	researcher, mathematician
Doctoral advisor	D.J. Bartholomew
Doctoral student	Paulo Mateus
Award received	Mulheres na Ciência

A Maria Cristina De Sales Viana Serôdio Sernadas (sẽn dog yʋʋm 1951) yaa Portiwgal matematiks logik bãngd a sẽn maan vaeesg n bao n bãng bũmb nins sẽn kẽed ne zuloees la logik sẽn kẽed ne bãngrã wɛɛngẽ, la a sẽn tũnugd ne kategorisi wã sẽn kẽed ne logik buud toor-toor lagengã wɛɛngẽ. A yaa karẽn-saamb ne Logik la Kompiytɛɛr Lisbõ Tekinik Inivɛrsite Matematika Kẽerẽ w

Karengã la a tʋʋmã

A Sernadas zãmsa matematiksã Lisbõ Inivɛrsite, n paam a diplome yʋʋmd 1973, la a paam a Ph.D. matematiksã wɛɛngẽ yʋʋmd 1980 London Inivɛrsite. A doktɛɛr sebre, sẽn boond tɩ Multivariate Branching Processes, sẽn kẽed ne tʋʋm-noy sẽn kẽed ne probability theory, la a statistical D. J. A Bartelemi.

Yʋʋmd 1988 soabã pʋgẽ, a paama a habilitation (agregação) Lisbõ Tekinik Inivɛrsite wã, la a lebga karen-saamb wakat fãa be yʋʋmd 1993.

Sebr dãmba

A Sernadas sɛbã yaa:

• 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)