Kaisa Sere
id:
kaisa-sere-321-14502164
title:
Kaisa Sere
text:
Kaisa Sere was a Finnish computer scientist, specialising in research into formal methods. Kaisa Sere was born 3 June 1954 in Gamlakarleby. She received an MSc in mathematics in 1979 and a PhD in computer science in 1990, both from Åbo Akademi University in Turku, southern Finland. She undertook formal methods research in action systems, distributed systems, hardware design, neural networks, and program refinement. She undertook joint research with Ralph-Johan Back and was involved in many colla
brand slug:
wiki
category slug:
encyclopedia
description:
Finnish computer scientist
original url:
https://en.wikipedia.org/wiki/Kaisa_Sere
date created:
date modified:
2023-10-15T09:26:25Z
main entity:
{"identifier":"Q14239","url":"https://www.wikidata.org/entity/Q14239"}
image:
fields total:
13
integrity:
14