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.

PropertyValue
dbpprop:abstract
  • 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 is an Academy Professor at the Academy of Finland. He is Director of CREST (Center for Reliable Software Technology) at Åbo Akademi. His wife, Barbro Back, is Professor of Information Systems, also at Åbo Akademi University, and he has three children.
  • Ralph-Johan Back on suomalainen tietojenkäsittelytieteilijä. Back on ollut Åbo Akademin professori vuodesta 1983 ja Suomen Akatemian akatemiaprofessori vuosina 2002-2007. Hän on myös toiminut Amsterdamilaisessa CWI:ssä sekä Åbo Akademin ja Turun yliopiston yhteisen, Turun tietotekniikan tutkimus- ja koulutuskeskukseen kuuluvan CREST-keskuksen (Center for Reliable Software Technology) johtajana. Ralph-Johanin vaimo Barbro Back on myös Åbo Akademin professori. Heillä on kolme lasta.
dbpprop:hasPhotoCollection
dbpprop:reference
rdf:type
rdfs:comment
  • 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.
  • Ralph-Johan Back on suomalainen tietojenkäsittelytieteilijä. Back on ollut Åbo Akademin professori vuodesta 1983 ja Suomen Akatemian akatemiaprofessori vuosina 2002-2007. Hän on myös toiminut Amsterdamilaisessa CWI:ssä sekä Åbo Akademin ja Turun yliopiston yhteisen, Turun tietotekniikan tutkimus- ja koulutuskeskukseen kuuluvan CREST-keskuksen (Center for Reliable Software Technology) johtajana. Ralph-Johanin vaimo Barbro Back on myös Åbo Akademin professori. Heillä on kolme lasta.
rdfs:label
  • Ralph-Johan Back
  • Ralph-Johan Back
owl:sameAs
skos:subject
foaf:page
is dbpprop:disambiguates of
is dbpprop:redirect of
is owl:sameAs of