Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Kaisa_Sere> ?p ?o. }
Showing items 1 to 73 of
73
with 100 items per page.
- 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 viafId "38689559".
- Kaisa_Sere wikiPageExternalLink kaisa_sere.
- Kaisa_Sere wikiPageExternalLink kaisa.sere.
- Kaisa_Sere wikiPageID "26570366".
- Kaisa_Sere wikiPageRevisionID "591694698".
- Kaisa_Sere dateOfBirth "1954".
- Kaisa_Sere dateOfDeath "2012-12-05".
- Kaisa_Sere hasPhotoCollection Kaisa_Sere.
- Kaisa_Sere name "Sere, Kaisa".
- Kaisa_Sere placeOfBirth Finland.
- Kaisa_Sere placeOfBirth Kokkola.
- Kaisa_Sere placeOfDeath Finland.
- Kaisa_Sere shortDescription "Computer scientist".
- 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: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 type %C3%85boAkademiUniversityAlumni.
- Kaisa_Sere type Alumnus109786338.
- Kaisa_Sere type CausalAgent100007347.
- Kaisa_Sere type ComputerScientist109951070.
- Kaisa_Sere type ComputerUser109951274.
- Kaisa_Sere type FinnishComputerScientists.
- Kaisa_Sere type FormalMethodsPeople.
- Kaisa_Sere type Intellectual109621545.
- Kaisa_Sere type LivingPeople.
- Kaisa_Sere type LivingThing100004258.
- Kaisa_Sere type Object100002684.
- Kaisa_Sere type Organism100004475.
- Kaisa_Sere type Person100007846.
- Kaisa_Sere type PhysicalEntity100001930.
- Kaisa_Sere type Scholar110557854.
- Kaisa_Sere type Scientist110560637.
- Kaisa_Sere type Whole100003553.
- Kaisa_Sere type WomenComputerScientists.
- Kaisa_Sere type YagoLegalActor.
- Kaisa_Sere type YagoLegalActorGeo.
- Kaisa_Sere type Agent.
- Kaisa_Sere type Person.
- Kaisa_Sere type Person.
- Kaisa_Sere type Q215627.
- Kaisa_Sere type Q5.
- Kaisa_Sere type Agent.
- Kaisa_Sere type NaturalPerson.
- Kaisa_Sere type Thing.
- 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 m.0bh7n6y.
- Kaisa_Sere sameAs Q14239.
- Kaisa_Sere sameAs Q14239.
- Kaisa_Sere sameAs Kaisa_Sere.
- Kaisa_Sere wasDerivedFrom Kaisa_Sere?oldid=591694698.
- Kaisa_Sere givenName "Kaisa".
- Kaisa_Sere homepage kaisa.sere.
- Kaisa_Sere isPrimaryTopicOf Kaisa_Sere.
- Kaisa_Sere name "Kaisa Sere".
- Kaisa_Sere name "Sere, Kaisa".
- Kaisa_Sere surname "Sere".