Kaisa Sere (3 June 1954 – 5 December 2012) was a Finnish computer scientist, specialising in research into formal methods. Kaisa Sere was born 3 June 1954 in Gamlakarleby (present-day 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 , 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.
| Property |
Value |
| dbo:abstract |
Kaisa Sere (3 June 1954 – 5 December 2012) was a Finnish computer scientist, specialising in research into formal methods. Kaisa Sere was born 3 June 1954 in Gamlakarleby (present-day 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 , 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. (en) |
| dbo:birthDate |
1954-06-03 (xsd:date) |
| dbo:nationality |
dbr:Finland |
| dbo:wikiPageExternalLink |
http://users.abo.fi/kaisa.sere/ |
| dbo:wikiPageID |
26570366 (xsd:integer) |
| dbo:wikiPageLength |
5915 (xsd:nonNegativeInteger) |
| dbo:wikiPageRevisionID |
1104276077 (xsd:integer) |
| dbo:wikiPageWikiLink |
dbr:Neural_network dbr:Turku_Center_for_Computer_Science dbc:People_from_Kokkola dbr:United_States dbr:Utrecht_University dbc:1954_births dbc:2012_deaths dbc:Place_of_death_missing dbr:Mathematics dbr:Computer_science dbr:Åbo_Akademi_University dbc:Finnish_women_computer_scientists dbr:Ralph-Johan_Back dbc:20th-century_women_scientists dbc:Finnish_women_academics dbr:Turku dbr:Lecture_Notes_in_Computer_Science dbr:Europe dbr:Finland dbr:Formal_methods dbr:Academy_of_Finland dbc:Formal_methods_people dbc:Academic_personnel_of_the_Åbo_Akademi_University dbc:Åbo_Akademi_University_alumni dbr:Kokkola dbr:Michael_Butler_(computer_scientist) dbr:Netherlands dbr:Ohio_State_University dbr:Springer-Verlag dbr:Gamlakarleby dbr:Hardware_design dbr:Full_professor dbr:Distributed_system dbr:University_of_Kuopio dbr:Program_refinement dbr:Action_system |
| dbp:almaMater |
dbr:Åbo_Akademi_University |
| dbp:birthDate |
1954-06-03 (xsd:date) |
| dbp:birthPlace |
dbr:Gamlakarleby |
| dbp:deathDate |
2012-12-05 (xsd:date) |
| dbp:discipline |
dbr:Computer_science |
| dbp:nationality |
Finnish (en) |
| dbp:subDiscipline |
dbr:Formal_methods |
| dbp:wikiPageUsesTemplate |
dbt:DBLP dbt:Authority_control dbt:Birth_date dbt:Fact dbt:ISBN dbt:Reflist dbt:Short_description dbt:Use_dmy_dates dbt:Death_date_and_age dbt:Infobox_academic |
| dbp:workplaces |
dbr:Turku_Center_for_Computer_Science dbr:Utrecht_University dbr:Åbo_Akademi_University dbr:Academy_of_Finland dbr:Ohio_State_University dbr:University_of_Kuopio |
| dcterms:subject |
dbc:People_from_Kokkola dbc:1954_births dbc:2012_deaths dbc:Place_of_death_missing dbc:Finnish_women_computer_scientists dbc:20th-century_women_scientists dbc:Finnish_women_academics dbc:Formal_methods_people dbc:Academic_personnel_of_the_Åbo_Akademi_University dbc:Åbo_Akademi_University_alumni |
| gold:hypernym |
dbr:Scientist |
| schema:sameAs |
http://viaf.org/viaf/38689559 |
| rdf:type |
owl:Thing foaf:Person dbo:Person dul:NaturalPerson wikidata:Q19088 wikidata:Q215627 wikidata:Q5 wikidata:Q729 dbo:Academic dbo:Animal dbo:Eukaryote dbo:Species schema:Person yago:WikicatWomenComputerScientists yago:WikicatPeopleFromKokkola yago:Alumnus109786338 yago:CausalAgent100007347 yago:ComputerScientist109951070 yago:ComputerUser109951274 yago:Intellectual109621545 yago:LivingThing100004258 yago:Object100002684 yago:Organism100004475 yago:Person100007846 yago:PhysicalEntity100001930 yago:WikicatÅboAkademiUniversityAlumni yago:YagoLegalActor yago:YagoLegalActorGeo yago:Scholar110557854 yago:Scientist110560637 yago:Whole100003553 yago:WikicatFinnishComputerScientists yago:WikicatFormalMethodsPeople |
| rdfs:comment |
Kaisa Sere (3 June 1954 – 5 December 2012) was a Finnish computer scientist, specialising in research into formal methods. Kaisa Sere was born 3 June 1954 in Gamlakarleby (present-day 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 , 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. (en) |
| rdfs:label |
Kaisa Sere (en) |
| owl:sameAs |
freebase:Kaisa Sere yago-res:Kaisa Sere http://viaf.org/viaf/38689559 http://d-nb.info/gnd/151774137 https://dblp.org/pid/s/KaisaSere wikidata:Kaisa Sere http://data.bibliotheken.nl/id/thes/p087526239 dbpedia-fi:Kaisa Sere http://mg.dbpedia.org/resource/Kaisa_Sere https://global.dbpedia.org/id/RqS7 |
| prov:wasDerivedFrom |
wikipedia-en:Kaisa_Sere?oldid=1104276077&ns=0 |
| foaf:isPrimaryTopicOf |
wikipedia-en:Kaisa_Sere |
| is dbo:wikiPageWikiLink of |
dbr:Deaths_in_December_2012 dbr:Index_of_women_scientists_articles dbr:Kaisa_(name) dbr:Sere_(name) |
| is foaf:primaryTopic of |
wikipedia-en:Kaisa_Sere |