Cristina Sernadas


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



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.