|
Kaisa Sere
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. 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. ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Action System
Action may refer to: * Action (narrative), a literary mode * Action fiction, a type of genre fiction * Action game, a genre of video game Film * Action film, a genre of film * ''Action'' (1921 film), a film by John Ford * ''Action'' (1980 film), a film by Tinto Brass * '' Action 3D'', a 2013 Telugu language film * ''Action'' (2019 film), a Kollywood film. Music * Action (music), a characteristic of a stringed instrument * Action (piano), the mechanism which drops the hammer on the string when a key is pressed * The Action, a 1960s band Albums * ''Action'' (B'z album) (2007) * ''Action!'' (Desmond Dekker album) (1968) * ''Action Action Action'' or ''Action'', a 1965 album by Jackie McLean * ''Action!'' (Oh My God album) (2002) * ''Action'' (Oscar Peterson album) (1968) * ''Action'' (Punchline album) (2004) * ''Action'' (Question Mark & the Mysterians album) (1967) * ''Action'' (Uppermost album) (2011) * ''Action'' (EP), a 2012 EP by NU'EST * ''Action'', a 1984 a ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Lecture Notes In Computer Science
''Lecture Notes in Computer Science'' is a series of computer science books published by Springer Science+Business Media since 1973. Overview The series contains proceedings, post- proceedings, monographs, and Festschrift In academia, a ''Festschrift'' (; plural, ''Festschriften'' ) is a book honoring a respected person, especially an academic, and presented during their lifetime. It generally takes the form of an edited volume, containing contributions from the ...s. In addition, tutorials, state-of-the-art surveys, and "hot topics" are increasingly being included. The series is indexed by DBLP. See also *'' Monographiae Biologicae'', another monograph series published by Springer Science+Business Media *'' Lecture Notes in Physics'' *'' Lecture Notes in Mathematics'' *'' Electronic Workshops in Computing'', published by the British Computer Society References External links * Publications established in 1973 Computer science books Series of non-fiction books ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Michael Butler (computer Scientist)
Michael J. Butler is an Irish computer scientist. As of 2022, he is professor of computer science and Dean of the Faculty of Engineering and Physical Sciences at the University of Southampton, England. Biography Butler was born in Ireland. He received his bachelor's degree in computer science from Trinity College, Dublin in 1988. He then took an MSc (1989) and DPhil (1992) at the Programming Research Group of the University of Oxford, working in the area of communicating sequential processes. He then worked for Broadcom in Dublin and at Åbo Akademi University in Turku, Finland with Ralph-Johan Back on refinement calculus. He joined the University of Southampton in 1995 as a lecturer, rising to reader in 2000 and then professor in the same year. He led the Dependable Systems & Software Engineering group at the School of Electronics and Computer Science, University of Southampton Electronics and Computer Science, generally abbreviated "ECS", at the University of Southampton ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Springer-Verlag
Springer Science+Business Media, commonly known as Springer, is a German multinational publishing company of books, e-books and peer-reviewed journals in science, humanities, technical and medical (STM) publishing. Originally founded in 1842 in Berlin, it expanded internationally in the 1960s, and through mergers in the 1990s and a sale to venture capitalists it fused with Wolters Kluwer and eventually became part of Springer Nature in 2015. Springer has major offices in Berlin, Heidelberg, Dordrecht, and New York City. History Julius Springer founded Springer-Verlag in Berlin in 1842 and his son Ferdinand Springer grew it from a small firm of 4 employees into Germany's then second largest academic publisher with 65 staff in 1872.Chronology ". Springer Science+Business Media. In 1964, Springer expanded its business internationall ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Full Professor
Professor (commonly abbreviated as Prof.) is an academic rank at universities and other post-secondary education and research institutions in most countries. Literally, ''professor'' derives from Latin as a "person who professes". Professors are usually experts in their field and teachers of the highest rank. In most systems of academic ranks, "professor" as an unqualified title refers only to the most senior academic position, sometimes informally known as "full professor". In some countries and institutions, the word "professor" is also used in titles of lower ranks such as associate professor and assistant professor; this is particularly the case in the United States, where the unqualified word is also used colloquially to refer to associate and assistant professors as well. This usage would be considered incorrect among other academic communities. However, the otherwise unqualified title "Professor" designated with a capital letter nearly always refers to a full professo ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Netherlands
) , anthem = ( en, "William of Nassau") , image_map = , map_caption = , subdivision_type = Sovereign state , subdivision_name = Kingdom of the Netherlands , established_title = Before independence , established_date = Spanish Netherlands , established_title2 = Act of Abjuration , established_date2 = 26 July 1581 , established_title3 = Peace of Münster , established_date3 = 30 January 1648 , established_title4 = Kingdom established , established_date4 = 16 March 1815 , established_title5 = Liberation Day (Netherlands), Liberation Day , established_date5 = 5 May 1945 , established_title6 = Charter for the Kingdom of the Netherlands, Kingdom Charter , established_date6 = 15 December 1954 , established_title7 = Dissolution of the Netherlands Antilles, Caribbean reorganisation , established_date7 = 10 October 2010 , official_languages = Dutch language, Dutch , languages_type = Regional languages , languages_sub = yes , languages = , languages2_type = Reco ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
United States
The United States of America (U.S.A. or USA), commonly known as the United States (U.S. or US) or America, is a country primarily located in North America. It consists of 50 U.S. state, states, a Washington, D.C., federal district, five major unincorporated territories, nine United States Minor Outlying Islands, Minor Outlying Islands, and 326 Indian reservations. The United States is also in Compact of Free Association, free association with three Oceania, Pacific Island Sovereign state, sovereign states: the Federated States of Micronesia, the Marshall Islands, and the Palau, Republic of Palau. It is the world's List of countries and dependencies by area, third-largest country by both land and total area. It shares land borders Canada–United States border, with Canada to its north and Mexico–United States border, with Mexico to its south and has maritime borders with the Bahamas, Cuba, Russia, and other nations. With a population of over 333 million, it is the List of ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Turku Centre For Computer Science
Turku Centre for Computer Science (abbr. TUCS, , ) is a joint department of University of Turku and Åbo Akademi University. TUCS was founded on March 21, 1994. The mission of TUCS is to coordinate the education, research and societal interaction of the affiliate Universities in the field of ICT. The TUCS office facilities are located in Turku in the Turku Science Park area. Departments involved in TUCS University of Turku Faculty of Mathematics and Natural Sciences *Department of Information Technology. *Department of Mathematics and Statistics Turku School of Economics *The Institute of Information Systems Sciences Åbo Akademi University Faculty of Natural Sciences and Technology *Computer Science *Computer Engineering Faculty of Social Sciences, Business and Economics *Information Systems Organization Turku Centre for Computer Science coordinates education and research Computer Science (understood in a broad sense) in Turku. TUCS is governed by a board. The Director of ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Europe
Europe is a large peninsula conventionally considered a continent in its own right because of its great physical size and the weight of its history and traditions. Europe is also considered a subcontinent of Eurasia and it is located entirely in the Northern Hemisphere and mostly in the Eastern Hemisphere. Comprising the westernmost peninsulas of Eurasia, it shares the continental landmass of Afro-Eurasia with both Africa and Asia. It is bordered by the Arctic Ocean to the north, the Atlantic Ocean to the west, the Mediterranean Sea to the south and Asia to the east. Europe is commonly considered to be separated from Asia by the watershed of the Ural Mountains, the Ural River, the Caspian Sea, the Greater Caucasus, the Black Sea and the waterways of the Turkish Straits. "Europe" (pp. 68–69); "Asia" (pp. 90–91): "A commonly accepted division between Asia and Europe ... is formed by the Ural Mountains, Ural River, Caspian Sea, Caucasus Mountains, and the Blac ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Ralph-Johan Back
Ralph-Johan Back is a Finnish computer scientist. Back originated the refinement calculus, an important approach to the formal development of programs using stepwise refinement, in his 1978 PhD thesis at the University of Helsinki, ''On the Correctness of Refinement Steps in Program Development''. He has undertaken much subsequent research in this area. He has held positions at CWI Amsterdam, the Academy of Finland and the University of Tampere. Since 1983, he has been Professor of Computer Science at the Åbo Akademi University in Turku. For 2002–2007, he was an Academy Professor at the Academy of Finland. He is Director of CREST (Center for Reliable Software Technology) at Åbo Akademi. Back is a member of Academia Europaea The Academia Europaea is a pan-European Academy of Humanities, Letters, Law, and Sciences. The Academia was founded in 1988 as a functioning Europe-wide Academy that encompasses all fields of scholarly inquiry. It acts as co-ordinator of Europea ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Program Refinement
Refinement is a generic term of computer science that encompasses various approaches for producing correct computer programs and simplifying existing programs to enable their formal verification. Program refinement In formal methods, program refinement is the verifiable transformation of an ''abstract'' (high-level) formal specification into a ''concrete'' (low-level) executable program. ''Stepwise refinement'' allows this process to be done in stages. Logically, refinement normally involves implication, but there can be additional complications. The progressive just-in-time preparation of the product backlog (requirements list) in agile software development approaches, such as Scrum, is also commonly described as refinement. Data refinement Data refinement is used to convert an abstract data model (in terms of sets for example) into implementable data structures (such as arrays). Operation refinement converts a specification of an operation on a system into an implementabl ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
.svg "Click for more on -> Europe")