Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Kaisa_Sere> ?p ?o }
- Kaisa_Sere abstract "Kaisa Sere (1954 – 5 December 2012) was a Finnish computer scientist, specialising in research into formal methods.Kaisa Sere was born in Kokkola, Finland. 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 collaborative European research projects. She also supervised 19 PhD students.During 1984–5, Sere was a lecturer at Ohio State University in the United States. 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 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 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.".
- Kaisa_Sere birthDate "1954".
- Kaisa_Sere birthPlace Finland.
- Kaisa_Sere birthPlace Kokkola.
- Kaisa_Sere birthYear "1954".
- Kaisa_Sere deathDate "2012-12-05".
- Kaisa_Sere deathPlace Finland.
- Kaisa_Sere deathYear "2012".
- Kaisa_Sere wikiPageExternalLink kaisa_sere.
- Kaisa_Sere wikiPageExternalLink kaisa.sere.
- Kaisa_Sere wikiPageID "26570366".
- Kaisa_Sere wikiPageLength "3960".
- Kaisa_Sere wikiPageOutDegree "39".
- Kaisa_Sere wikiPageRevisionID "691777814".
- Kaisa_Sere wikiPageWikiLink Academy_of_Finland.
- Kaisa_Sere wikiPageWikiLink Action_system.
- Kaisa_Sere wikiPageWikiLink Artificial_neural_network.
- Kaisa_Sere wikiPageWikiLink Category:1954_births.
- Kaisa_Sere wikiPageWikiLink Category:2012_deaths.
- Kaisa_Sere wikiPageWikiLink Category:20th-century_women_scientists.
- Kaisa_Sere wikiPageWikiLink Category:Finnish_computer_scientists.
- Kaisa_Sere wikiPageWikiLink Category:Formal_methods_people.
- Kaisa_Sere wikiPageWikiLink Category:People_from_Kokkola.
- Kaisa_Sere wikiPageWikiLink Category:Women_computer_scientists.
- Kaisa_Sere wikiPageWikiLink Category:Åbo_Akademi_University_alumni.
- Kaisa_Sere wikiPageWikiLink Category:Åbo_Akademi_University_faculty.
- Kaisa_Sere wikiPageWikiLink Computer_science.
- Kaisa_Sere wikiPageWikiLink Distributed_computing.
- Kaisa_Sere wikiPageWikiLink Europe.
- Kaisa_Sere wikiPageWikiLink Finland.
- Kaisa_Sere wikiPageWikiLink Formal_methods.
- Kaisa_Sere wikiPageWikiLink Kokkola.
- Kaisa_Sere wikiPageWikiLink Lecture_Notes_in_Computer_Science.
- Kaisa_Sere wikiPageWikiLink Mathematics.
- Kaisa_Sere wikiPageWikiLink Michael_Butler_(computer_scientist).
- Kaisa_Sere wikiPageWikiLink Netherlands.
- Kaisa_Sere wikiPageWikiLink Ohio_State_University.
- Kaisa_Sere wikiPageWikiLink Processor_design.
- Kaisa_Sere wikiPageWikiLink Professor.
- Kaisa_Sere wikiPageWikiLink Ralph-Johan_Back.
- Kaisa_Sere wikiPageWikiLink Refinement_(computing).
- Kaisa_Sere wikiPageWikiLink ScientificCommons.
- Kaisa_Sere wikiPageWikiLink Springer_Science+Business_Media.
- Kaisa_Sere wikiPageWikiLink Turku.
- Kaisa_Sere wikiPageWikiLink Turku_Centre_for_Computer_Science.
- Kaisa_Sere wikiPageWikiLink United_States.
- Kaisa_Sere wikiPageWikiLink University_of_Eastern_Finland.
- Kaisa_Sere wikiPageWikiLink Utrecht_University.
- Kaisa_Sere wikiPageWikiLink Åbo_Akademi_University.
- Kaisa_Sere wikiPageWikiLinkText "Kaisa Sere".
- Kaisa_Sere dateOfBirth "1954".
- Kaisa_Sere dateOfDeath "2012-12-05".
- Kaisa_Sere name "Sere, Kaisa".
- Kaisa_Sere placeOfBirth Finland.
- Kaisa_Sere placeOfBirth Kokkola.
- Kaisa_Sere placeOfDeath Finland.
- Kaisa_Sere shortDescription "Computer scientist".
- Kaisa_Sere wikiPageUsesTemplate Template:Authority_control.
- Kaisa_Sere wikiPageUsesTemplate Template:DBLP.
- Kaisa_Sere wikiPageUsesTemplate Template:Official_website.
- Kaisa_Sere wikiPageUsesTemplate Template:Persondata.
- Kaisa_Sere wikiPageUsesTemplate Template:Reflist.
- Kaisa_Sere description "Computer scientist".
- Kaisa_Sere description "Computer scientist".
- Kaisa_Sere subject Category:1954_births.
- Kaisa_Sere subject Category:2012_deaths.
- Kaisa_Sere subject Category:20th-century_women_scientists.
- Kaisa_Sere subject Category:Finnish_computer_scientists.
- Kaisa_Sere subject Category:Formal_methods_people.
- Kaisa_Sere subject Category:People_from_Kokkola.
- Kaisa_Sere subject Category:Women_computer_scientists.
- Kaisa_Sere subject Category:Åbo_Akademi_University_alumni.
- Kaisa_Sere subject Category:Åbo_Akademi_University_faculty.
- Kaisa_Sere hypernym Scientist.
- Kaisa_Sere type Agent.
- Kaisa_Sere type Person.
- Kaisa_Sere type Scientist.
- Kaisa_Sere type Person.
- Kaisa_Sere type Method.
- Kaisa_Sere type Scientist.
- Kaisa_Sere type Agent.
- Kaisa_Sere type NaturalPerson.
- Kaisa_Sere type Thing.
- Kaisa_Sere type Q215627.
- Kaisa_Sere type Q5.
- Kaisa_Sere type Person.
- Kaisa_Sere comment "Kaisa Sere (1954 – 5 December 2012) was a Finnish computer scientist, specialising in research into formal methods.Kaisa Sere was born in Kokkola, Finland. 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.".
- Kaisa_Sere label "Kaisa Sere".
- Kaisa_Sere sameAs Q14239.
- Kaisa_Sere sameAs Kaisa_Sere.
- Kaisa_Sere sameAs Kaisa_Sere.
- Kaisa_Sere sameAs Kaisa_Sere.
- Kaisa_Sere sameAs m.0bh7n6y.
- Kaisa_Sere sameAs Q14239.
- Kaisa_Sere wasDerivedFrom Kaisa_Sere?oldid=691777814.
- Kaisa_Sere givenName "Kaisa".
- Kaisa_Sere homepage kaisa.sere.
- Kaisa_Sere isPrimaryTopicOf Kaisa_Sere.
- Kaisa_Sere name "Kaisa Sere".
- Kaisa_Sere name "Sere, Kaisa".