About Ralph-Johan Back
Born 1949. Ralph-Johan Back is a Finnish computer scientist, engineer, information scientist and university teacher.
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.
Don’t just read it —
keep it.
Full-length biographies made to live with: read them, listen on the way to work, watch them tonight.
- E-book
- Audio
- Video
Instant download · yours to keep · every purchase keeps this site free
Important facts
Related people
Same field, nearest in time
Contemporaries
People whose lives overlapped Ralph-Johan Back's
Frequently asked questions
Who is Ralph-Johan Back?
computer scientist
When was Ralph-Johan Back born?
Ralph-Johan Back was born on 26 February 1949 in Finland.
What is Ralph-Johan Back's occupation?
Ralph-Johan Back is a computer scientist, engineer, information scientist and university teacher.
What nationality is Ralph-Johan Back?
Ralph-Johan Back is Finnish.
Sources & further reading
· Wikipedia: Ralph-Johan Back
Cite this page
APA: Biography.guide. (2026). Ralph-Johan Back. https://biography.guide/ralph-johan-back/
MLA: "Ralph-Johan Back." Biography.guide, https://biography.guide/ralph-johan-back/.
Chicago: "Ralph-Johan Back." Biography.guide. https://biography.guide/ralph-johan-back/.
Data last updated: 2026-09-22 · Spot an error? Report a correction.
Page generated 2026-09-27 05:05 UTC