Cristina Sernadas

Maria Cristina De Sales Viana Serôdio Sernadas (born 1951) 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. Provided by Wikipedia