Cristina Sernadas
About
Maria Cristina De Sales Viana Serôdio Sernadas is a Portuguese mathematical logician whose research topics have included object-oriented specification languages and logics for information systems, and the use of category theory in the combination ("fibring") of multiple types of logic. She is Professor for Logic and Computation in the Department of Mathematics of the Technical University of Lisbon.