Cristina Sernadas
id:
cristina-sernadas-238-8928016
title:
Cristina Sernadas
text:
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.
brand slug:
wiki
category slug:
encyclopedia
description:
Portuguese logician (born 1951)
original url:
https://en.wikipedia.org/wiki/Cristina_Sernadas
date created:
date modified:
2023-12-25T01:54:11Z
main entity:
{"identifier":"Q62067666","url":"https://www.wikidata.org/entity/Q62067666"}
image:
fields total:
13
integrity:
14