Cristina Sernadas

Warning:

Cristina Sernadas moved to CMAF-CIO in September 2015.

For her up-to-date webpage please check here

 

 

Departamento de Matemática
Instituto Superior Técnico
Av. Rovisco Pais 1049-001, Lisboa, Portugal

 

Universidade de Lisboa

 

css@math.ist.utl.pt
csernadas at Skype


Full Professor for Logic and Computation at IST
Founding member of SQIG


Short 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 Section of Logic and Computation of the Department of Mathematics of IST of the Technical University of Lisbon.


Teaching


Research

Most of her research has been focused on combination of logics with special emphasis on fibring. She is co-author of a research monograph on analysis and synthesis of logics (published by Springer), of a textbook on mathematical logic (publised by College Publications) and more than eighty papers.


Projects


Publications