Kaisa Sere (3 June 1954 – 5 December 2012[1]) was a Finnish computer scientist, specialising in research into formal methods.
[1] 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.
[3] During 1991–2, she was a post-doctoral researcher in the Department of Computer Science at the Utrecht University in the Netherlands.
During 1993–8, she held an Associate Professorship at the Department of Computer Science and Applied Mathematics in the University of Kuopio in Finland.
In 1998, she became a full professor of Computer Science and Engineering in the Department of Information Technology at Åbo Akademi University.