Jump to content

Ralph-Johan Back

From Wikipedia, the free encyclopedia

This is an old revision of this page, as edited by 50.53.1.33 (talk) at 21:59, 17 October 2016 (DBLP). The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.

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.

Back is a member of Academia Europaea.[1]

His wife, Barbro Back, is Professor of Information Systems, also at Åbo Akademi University, and he has three children.[citation needed]

References

  1. ^ a b "Ralph-Johan Back". Academia Europaea. Retrieved 20 January 2013.


Flag of FinlandScientist icon Stub icon

This article about a Finnish scientist is a stub. You can help Wikipedia by expanding it.

P ≟ NP 

This biographical article relating to a computer scientist is a stub. You can help Wikipedia by expanding it.

Retrieved from "https://en.wikipedia.org/w/index.php?title=Ralph-Johan_Back&oldid=744862961"