Background
Back, Ralph-Johan Reinhold was born on February 26, 1949 in Helsinki, Finland. Son of Karl Johan and Gunnel Anita Back.
Back, Ralph-Johan Reinhold was born on February 26, 1949 in Helsinki, Finland. Son of Karl Johan and Gunnel Anita Back.
Back originated the refinement calculus, an important approach to the formal development of programs using stepwise refinement, in his 1978 Doctor of Philosophy 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.
Foreign 2002–2007, he was an Academy Professor at the Academy of Finland.
He is Director of Centre for Renewable Energy Systems Technology (Center for Reliable Software Technology) at Åbo Akademi.
Back is a member of Academia Europaea.
Married Barbro Christina Nyberg, July 2, 1974. Children: Pia Wilhelmina Hardy, Johan Rasmus, Ida Annika Rönnlund.