Cristina Sernadas
Maria Cristina De Sales Viana Serôdio Sernadas () é uma lógica matemática portuguesa, cujos temas de investigação incluem linguagens de especificação orientadas a objectos e lógicas para sistemas de informação, e o uso da teoria das categorias na combinação ("fibrição") de vários tipos de lógica. É professora de lógica e computação no Departamento de Matemática da Universidade Técnica de Lisboa. Fornecido pela Wikipedia-
1
-
2