Cristina Sernadas

ORCID iD
https://orcid.org/0000-0002-5510-3512
  • Keywords
  • Show details Hide details
mathematical logic

Sources:
Cristina Sernadas (2013-11-17)

  • Websites
  • Show details Hide details
Homepage at IST ULisboa

Sources:
Cristina Sernadas (2014-07-23)

Homepage at SQIG IT

Sources:
Cristina Sernadas (2014-07-23)

  • Other IDs
  • Show details Hide details
Scopus Author ID: 6603952566

Sources:
Scopus - Elsevier (2013-11-17)

ResearcherID: D-2269-2011

Sources:
ResearcherID (2013-11-17)

Biography

Born in 1951 in Portugal, Cristina Sernadas graduated in Mathematics at the Faculty of Sciences of Lisbon in 1973, got her PhD in Mathematics from the University of London in 1980 and obtained her agregação (habilitation) from the Technical University of Lisbon in 1988. Since 1993 she is Full Professor for Logic and Computation at the Department of Mathematics of IST of the University of Lisbon.
No publications added yet

Record last modified {{lastModifiedDate}}