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... Wikipedia