Matches in DBpedia 2016-04 for { <http://wikidata.dbpedia.org/resource/Q14239> ?p ?o }
Showing triples 1 to 78 of
78
with 100 triples per page.
- Q14239 description "Computer scientist".
- Q14239 description "Computer scientist".
- Q14239 subject Q13283531.
- Q14239 subject Q1706791.
- Q14239 subject Q21503314.
- Q14239 subject Q6573202.
- Q14239 subject Q7031573.
- Q14239 subject Q8466127.
- Q14239 subject Q8959720.
- Q14239 subject Q8959723.
- Q14239 subject Q9651963.
- Q14239 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.".
- Q14239 birthDate "1954".
- Q14239 birthPlace Q207891.
- Q14239 birthPlace Q33.
- Q14239 birthYear "1954".
- Q14239 deathDate "2012-12-05".
- Q14239 deathPlace Q33.
- Q14239 deathYear "2012".
- Q14239 wikiPageExternalLink kaisa_sere.
- Q14239 wikiPageExternalLink kaisa.sere.
- Q14239 wikiPageWikiLink Q1049183.
- Q14239 wikiPageWikiLink Q121594.
- Q14239 wikiPageWikiLink Q1303814.
- Q14239 wikiPageWikiLink Q13283531.
- Q14239 wikiPageWikiLink Q1706791.
- Q14239 wikiPageWikiLink Q176916.
- Q14239 wikiPageWikiLink Q180634.
- Q14239 wikiPageWikiLink Q192776.
- Q14239 wikiPageWikiLink Q207891.
- Q14239 wikiPageWikiLink Q2093139.
- Q14239 wikiPageWikiLink Q21198.
- Q14239 wikiPageWikiLink Q21503314.
- Q14239 wikiPageWikiLink Q221653.
- Q14239 wikiPageWikiLink Q30.
- Q14239 wikiPageWikiLink Q309331.
- Q14239 wikiPageWikiLink Q33.
- Q14239 wikiPageWikiLink Q3417382.
- Q14239 wikiPageWikiLink Q38511.
- Q14239 wikiPageWikiLink Q395.
- Q14239 wikiPageWikiLink Q414422.
- Q14239 wikiPageWikiLink Q4411694.
- Q14239 wikiPageWikiLink Q46.
- Q14239 wikiPageWikiLink Q499089.
- Q14239 wikiPageWikiLink Q55.
- Q14239 wikiPageWikiLink Q6573202.
- Q14239 wikiPageWikiLink Q6828969.
- Q14239 wikiPageWikiLink Q7031573.
- Q14239 wikiPageWikiLink Q7287124.
- Q14239 wikiPageWikiLink Q8466127.
- Q14239 wikiPageWikiLink Q8959720.
- Q14239 wikiPageWikiLink Q8959723.
- Q14239 wikiPageWikiLink Q917874.
- Q14239 wikiPageWikiLink Q924044.
- Q14239 wikiPageWikiLink Q9651963.
- Q14239 dateOfBirth "1954".
- Q14239 dateOfDeath "2012-12-05".
- Q14239 name "Sere, Kaisa".
- Q14239 placeOfBirth Q207891.
- Q14239 placeOfBirth Q33.
- Q14239 placeOfDeath Q33.
- Q14239 shortDescription "Computer scientist".
- Q14239 type Person.
- Q14239 type Agent.
- Q14239 type Person.
- Q14239 type Agent.
- Q14239 type NaturalPerson.
- Q14239 type Thing.
- Q14239 type Q215627.
- Q14239 type Q5.
- Q14239 type Person.
- Q14239 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.".
- Q14239 label "Kaisa Sere".
- Q14239 givenName "Kaisa".
- Q14239 homepage kaisa.sere.
- Q14239 name "Kaisa Sere".
- Q14239 name "Sere, Kaisa".
- Q14239 surname "Sere".