Cristina Sernadas
Maria Cristina De Sales Viana Serôdio Sernadas (ur. 1951) jest portugalską logiką matematyczną , której tematy badawcze obejmowały zorientowane obiektowo języki specyfikacji i logikę systemów informacyjnych oraz wykorzystanie teorii kategorii w połączeniu („fibring”) wielu typów logika. Jest profesorem logiki i obliczeń na Wydziale Matematyki Politechniki Lizbońskiej .
Edukacja i kariera
Sernadas studiował matematykę na Uniwersytecie w Lizbonie , którą ukończył w 1973 roku i uzyskał stopień doktora. w 1980 roku z matematyki na Uniwersytecie Londyńskim . Jej rozprawa doktorska Multivariate Branching Processes dotyczyła procesów rozgałęzień w teorii prawdopodobieństwa i była nadzorowana przez statystyka DJ Bartholomew .
W 1988 uzyskała habilitację ( agregação ) na Politechnice w Lizbonie i została tam profesorem zwyczajnym w 1993.
Książki
Książki Sernadasa obejmują:
- Introdução à Teoria da Computação ( Wprowadzenie do teorii informatyki , redakcja Presença, 1993)
- Introdução à Programação em Mathematica ( Wprowadzenie do programowania w Mathematica , z J. Carmo, A. Sernadasem, FM Dionísio i C. Caleiro, IST Press, 1999; wyd. 2, 2004; wyd. 3, 2014)
- Foundations of Logic and Theory of Computation (z A. Sernadasem, College Publications, 2008; wyd. 2, 2012)
- Analiza i synteza logiki: jak wycinać i wklejać systemy rozumowania (z WA Carnielli , ME Coniglio, D. Gabbay i P. Gouveia, Springer, 2008)
- A Mathematical Primer on Computability (z A. Sernadasem, J. Rasgą i J. Ramosem, College Publications, 2018)
- A Mathematical Primer on Linear Optimization (z D. Gomesem, A. Sernadasem, J. Rasgą i P. Mateusem, College Publications, 2019)
- Rozstrzygalność teorii logicznych i ich kombinacja (z J. Rasgą, Springer, 2020)
Linki zewnętrzne
- Cristiny Sernadas indeksowane przez Google Scholar