Ralph-Johan Back

Last updated
Ralph-Johan Back
Nationality Finnish
Alma mater University of Helsinki
OccupationComputer scientist

Ralph-Johan Back is a Finnish computer scientist. [1] 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.[ citation needed ]

Back is a member of Academia Europaea. [1]

Related Research Articles

<span class="mw-page-title-main">Royal Academy of Turku</span> University in Finland (1640 to 1828); now the University of Helsinki

The Royal Academy of Turku or the Royal Academy of Åbo was the first university in Finland, and the only Finnish university that was founded when the country still was a part of Sweden. It was founded in 1640. In 1809, after Finland became a Grand Duchy under the suzerainty of the Russian czar, it was renamed the Imperial Academy of Turku. In 1828, after the Great Fire of Turku, the institution was moved to Helsinki, in line with the relocation of the Grand Duchy's capital. It was finally renamed the University of Helsinki when Finland became a sovereign nation-state in 1917.

<span class="mw-page-title-main">University of Helsinki</span> University in Helsinki, Finland

The University of Helsinki is a public research university located in Helsinki, Finland, since 1829, but founded in the city of Turku in 1640 as the Royal Academy of Åbo, at that time part of the Swedish Empire. It is the oldest and largest university in Finland with the widest range of disciplines available. In 2020, around 31,600 students were enrolled in the degree programs of the university spread across 11 faculties and 11 research institutes.

<span class="mw-page-title-main">Åbo Akademi University</span> Finnish university

Åbo Akademi University is the only exclusively Swedish language multi-faculty university in Finland. It is located mainly in Turku but has also activities in Vaasa. Åbo Akademi should not be confused with the Royal Academy of Åbo, which was founded in 1640, but moved to Helsinki after the Turku fire of 1827 and is today known as the University of Helsinki.

<span class="mw-page-title-main">University of Turku</span> University in Turku, Finland

The University of Turku, located in Turku in southwestern Finland, is the third largest university in the country as measured by student enrollment, after the University of Helsinki and Tampere University. It is a multidisciplinary university with eight faculties. It was established in 1920 and also has facilities at Rauma, Pori, Kevo and Seili. The university is a member of the Coimbra Group and the European Campus of City-Universities (EC2U).

<span class="mw-page-title-main">John Vikström</span>

John Edvin Vikström is a Finnish priest. He served as the Archbishop emeritus of Turku and Finland from 1982 to 1998.

<span class="mw-page-title-main">Johan Gadolin</span> Finnish chemist, physicist and mineralogist (1760–1852)

Johan Gadolin was a Finnish chemist, physicist and mineralogist. Gadolin discovered a "new earth" containing the first rare-earth compound yttrium, which was later determined to be a chemical element. He is also considered the founder of Finnish chemistry research, as the second holder of the Chair of Chemistry at the Royal Academy of Turku. Gadolin was ennobled for his achievements and awarded the Order of Saint Vladimir and the Order of Saint Anna.

<span class="mw-page-title-main">Fred Karlsson</span> Linguistics professor at the University of Helsinki (born 1946)

Fred Göran Karlsson is a professor emeritus of general linguistics at the University of Helsinki.

<span class="mw-page-title-main">Carl Reinhold Sahlberg</span> Finnish naturalist

Carl Reinhold Sahlberg was a Finnish naturalist, primarily an entomologist specializing in beetles. He was the father of entomologist Reinhold Ferdinand Sahlberg (1811-1874), grandfather of entomologist Johan Reinhold Sahlberg (1845-1920), and great grandfather of Uunio Saalas (1882-1969).

<span class="mw-page-title-main">Michael Butler (computer scientist)</span>

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.

Johan Peder Olsen is a Norwegian political scientist, and professor emeritus in political science at the University of Bergen, known for his work on new institutionalism.

Jan Östen Hjärpe is a Swedish Islamicist and a professor emeritus in Islamic studies at the Centre for Theology and Religious Studies at Lund University.

<span class="mw-page-title-main">Kurt Mehlhorn</span> German computer scientist (born 1949)

Kurt Mehlhorn is a German theoretical computer scientist. He has been a vice president of the Max Planck Society and is director of the Max Planck Institute for Computer Science.

Turku Centre for Computer Science 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.

<span class="mw-page-title-main">Grzegorz Rozenberg</span> Polish and Dutch computer scientist

Grzegorz Rozenberg is a Polish and Dutch computer scientist.

Kaisa Sere was a Finnish computer scientist, specialising in research into formal methods.

For mathematics education, Structured derivations (SD) is a logic-based format for presenting mathematical solutions and proofs created by Prof. Ralph-Johan Back and Joakim von Wright at Åbo Akademi University, Turku, Finland. The format was originally introduced as a way for presenting proofs in programming logic, but was later adapted to provide a practical approach to presenting proofs and derivations in mathematics education including exact formalisms. A structured derivation has a precise mathematical interpretation, and the syntax and the layout are precisely defined. The standardized syntax renders the format suitable for presenting and manipulating mathematics digitally.

Karl Vilhelm Helmer Ringgren, was a Swedish theologian.

<span class="mw-page-title-main">Lars Erik Taxell</span>

Lars Erik Taxell, was a Finnish legal scholar and politician. He was the leader of the Swedish People's Party of Finland in 1956–1966. He was also the Rector of the Åbo Akademi University in Turku, Finland, in the 1950s and its chancellor in the 1980s.

Ulf Arne Söderblom was a Finnish conductor and music professor. He was the principal conductor of the Finnish National Opera from 1973 to 1993 and was a key figure in the revival of the Savonlinna Opera Festival. A champion of Finnish music, he has conducted the world premieres of several works by Finnish composers including Kokkonen's The Last Temptations and Sallinen's Kullervo and The Horseman.

<span class="mw-page-title-main">Sibelius Museum</span>

The Sibelius Museum is a museum of music, named after the Finnish composer Jean Sibelius. The museum is located close to Turku Cathedral in the historical city centre of Turku on the southwest coast of Finland. It is the only museum devoted to music in Finland. The museum houses a wide collection of historical music instruments from around the world. The archives of the museum include documents The museum was first founded during the 1920s as a seminar for the Department of Musicology at Åbo Akademi University, and has later developed into its own department. The Museum is currently organised and funded by the Åbo Akademi Foundation. The current building was built and opened in 1968 and it was designed by architect Woldemar Baeckman.

References

  1. 1 2 "Ralph-Johan Back". Academia Europaea . Retrieved 20 January 2013.