Ralph-Johan Back is a

Finnish Finnish may refer to: * Something or someone from, or related to Finland * Culture of Finland * Finnish people or Finns, the primary ethnic group in Finland * Finnish language, the national language of the Finnish people * Finnish cuisine See also ...

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 The University of Helsinki ( fi, Helsingin yliopisto, sv, Helsingfors universitet, abbreviated UH) is a public research university located in Helsinki, Finland since 1829, but founded in the city of Turku (in Swedish ''Åbo'') in 1640 as the ...

, ''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 Amsterdam ( , , , lit. ''The Dam on the River Amstel'') is the capital and most populous city of the Netherlands, with The Hague being the seat of government. It has a population of 907,976 within the city proper, 1,558,755 in the urban ar ...

, the Academy of Finland and the

University of Tampere The University of Tampere (UTA) ( fi, Tampereen yliopisto (Tay), ) was a public university in Tampere, Finland that was merged with Tampere University of Technology to create the new Tampere University on 1 January 2019. The university offered u ...

. Since 1983, he has been Professor of Computer Science at the

Åbo Akademi University Åbo Akademi University ( sv, Åbo Akademi , ) is the only exclusively Swedish language multi-faculty university in Finland (or anywhere outside Sweden). It is located mainly in Turku (Åbo is the Swedish name of the city) but has also activiti ...

Turku Turku ( ; ; sv, Åbo, ) is a city and former capital on the southwest coast of Finland at the mouth of the Aura River, in the region of Finland Proper (''Varsinais-Suomi'') and the former Turku and Pori Province (''Turun ja Porin lääni''; ...

. 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 ...

References

External links

Ralph-Johan Back home page
* Year of birth missing (living people) Living people University of Helsinki alumni Academic staff of the University of Tampere Academic staff of Åbo Akademi University Finnish computer scientists Formal methods people {{Compu-scientist-stub