Ralph-Johan Back
Ralph-Johan Back | |
---|---|
Nationality | Finnish |
Alma mater | University of Helsinki |
Occupation | Computer 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]
References
- ^ a b "Ralph-Johan Back". Academia Europaea. Retrieved 20 January 2013.
External links
- Ralph-Johan Back home page
- Ralph-Johan Back at DBLP Bibliography Server
- Articles with short description
- Short description is different from Wikidata
- Articles with hCards
- BLP articles lacking sources from January 2013
- All BLP articles lacking sources
- All articles with unsourced statements
- Articles with unsourced statements from May 2022
- Articles with ISNI identifiers
- Articles with VIAF identifiers
- Articles with WorldCat Entities identifiers
- Articles with BNF identifiers
- Articles with BNFdata identifiers
- Articles with J9U identifiers
- Articles with KANTO identifiers
- Articles with LCCN identifiers
- Articles with NKC identifiers
- Articles with NTA identifiers
- Articles with ACM-DL identifiers
- Articles with DBLP identifiers
- Articles with ZBMATH identifiers
- Articles with SUDOC identifiers
- 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
- All stub articles
- Finnish scientist stubs
- Computer scientist stubs