Ralph-Johan Atrás - Ralph-Johan Back

Ralph-Johan Back es un informático finlandés .

Back originó el cálculo de refinamiento , un enfoque importante para el desarrollo formal de programas utilizando refinamiento gradual , en su tesis doctoral de 1978 en la Universidad de Helsinki , Sobre la corrección de los pasos de refinamiento en el desarrollo de programas . Ha realizado muchas investigaciones posteriores en esta área. Ha ocupado cargos en CWI Amsterdam , la Academia de Finlandia y la Universidad de Tampere .

Desde 1983 es profesor de informática en la Universidad Åbo Akademi de Turku . Durante 2002-2007, fue profesor de la Academia de la Academia de Finlandia . Es director de CREST (Centro de tecnología de software confiable) en Åbo Akademi.

Back es miembro de la Academia Europaea .

Su esposa, Barbro Back, es profesora de sistemas de información, también en la Universidad Åbo Akademi , y tiene tres hijos.