Kaisa Sere (3 June 1954 – 5 December 2012) was a

Finnish Finnish may refer to: * Something or someone from, or related to Finland * Culture of Finland * Finnish people or Finns, the primary ethnic group in Finland * Finnish language, the national language of the Finnish people * Finnish cuisine See also ...

computer scientist, specialising in research into

formal methods In computer science, formal methods are mathematically rigorous techniques for the specification, development, and verification of software and hardware systems. The use of formal methods for software and hardware design is motivated by the exp ...

. Kaisa Sere was born 3 June 1954 in Gamlakarleby. She received an MSc in mathematics in 1979 and a PhD in

computer science Computer science is the study of computation, automation, and information. Computer science spans theoretical disciplines (such as algorithms, theory of computation, information theory, and automation) to practical disciplines (includi ...

in 1990, both from

Åbo Akademi University Åbo Akademi University ( sv, Åbo Akademi , ) is the only exclusively Swedish language multi-faculty university in Finland (or anywhere outside Sweden). It is located mainly in Turku (Åbo is the Swedish name of the city) but has also activiti ...

Turku Turku ( ; ; sv, Åbo, ) is a city and former capital on the southwest coast of Finland at the mouth of the Aura River, in the region of Finland Proper (''Varsinais-Suomi'') and the former Turku and Pori Province (''Turun ja Porin lääni''; ...

, southern Finland. She undertook formal methods research in action systems,

distributed system A distributed system is a system whose components are located on different networked computers, which communicate and coordinate their actions by passing messages to one another from any system. Distributed computing is a field of computer sci ...

hardware design Processor design is a subfield of computer engineering and electronics engineering (fabrication) that deals with creating a processor, a key component of computer hardware. The design process involves choosing an instruction set and a certain exec ...

, neural networks, and program refinement. She undertook joint research with Ralph-Johan Back and was involved in many collaborative

Europe Europe is a large peninsula conventionally considered a continent in its own right because of its great physical size and the weight of its history and traditions. Europe is also considered a subcontinent of Eurasia and it is located entirel ...

an research projects. She also supervised 19 PhD students. During 1984–5, Sere was a lecturer at

Ohio State University The Ohio State University, commonly called Ohio State or OSU, is a public land-grant research university in Columbus, Ohio. A member of the University System of Ohio, it has been ranked by major institutional rankings among the best publ ...

in the

United States The United States of America (U.S.A. or USA), commonly known as the United States (U.S. or US) or America, is a country primarily located in North America. It consists of 50 states, a federal district, five major unincorporated territori ...

. During 1991–2, she was a post-doctoral researcher in the Department of Computer Science at the

Utrecht University Utrecht University (UU; nl, Universiteit Utrecht, formerly ''Rijksuniversiteit Utrecht'') is a public research university in Utrecht, Netherlands. Established , it is one of the oldest universities in the Netherlands. In 2018, it had an enrollme ...

in the

Netherlands ) , anthem = ( en, "William of Nassau") , image_map = , map_caption = , subdivision_type = Sovereign state , subdivision_name = Kingdom of the Netherlands , established_title = Before independence , established_date = Spanish Netherl ...

. During 1993–8, she held an Associate Professorship at the Department of Computer Science and Applied Mathematics in the

University of Kuopio The University of Eastern Finland ( fi, Itä-Suomen yliopisto) is a university in Finland founded in 2010 with campuses in Joensuu and Kuopio. History The Finnish Parliament passed the Universities Act on June 16, 2009, which, among other things ...

in Finland. In 1997, she became a Docent of Computer Science in the same department in 1997. During 1998–9, she held a senior research professorship funded by the Academy of Finland. In 1998, she became a

full professor Professor (commonly abbreviated as Prof.) is an academic rank at universities and other post-secondary education and research institutions in most countries. Literally, ''professor'' derives from Latin as a "person who professes". Professors ...

of Computer Science and Engineering in the Department of Information Technology at Åbo Akademi University. She held a senior researcher position from the Academy of Finland during 2010–11. Sere was also affiliated with the Turku Center for Computer Science (TUCS) and a member of the Research Council for Natural Sciences and Engineering for the Academy of Finland.

Publications

Sere's books included: * Emil Sekerinski and Kaisa Sere, ''Program Development by Refinement: Case Studies Using the B Method''.

Springer-Verlag Springer Science+Business Media, commonly known as Springer, is a German multinational publishing company of books, e-books and peer-reviewed journals in science, humanities, technical and medical (STM) publishing. Originally founded in 1842 ...

, Formal Approaches to Computing and Information Technology (FACIT), 1998. . * Michael Butler, Luigia Petre, and Kaisa Sere (editors), ''Integrated Formal Methods'', Springer-Verlag,

Lecture Notes in Computer Science ''Lecture Notes in Computer Science'' is a series of computer science books published by Springer Science+Business Media since 1973. Overview The series contains proceedings, post-proceedings, monographs, and Festschrifts. In addition, tutorial ...

, Volume 2335, 2002. .

References

External links

* * {{DEFAULTSORT:Sere, Kaisa 1954 births 2012 deaths Åbo Akademi University alumni Academic staff of Åbo Akademi University Formal methods people People from Kokkola Finnish women computer scientists 20th-century women scientists Finnish women academics Place of death missing