Ralph-Johan Back es un informático finlandés . [1] Back originó el cálculo de refinamiento , un enfoque importante para el desarrollo formal de programas utilizando el refinamiento por pasos , 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 mucha investigación posterior en esta área. Ha ocupado puestos 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 . Entre 2002 y 2007 fue profesor de la Academia de Finlandia . Actualmente es director del CREST (Centro de Tecnología de Software Fiable) en la Åbo Akademi. [ cita requerida ]
Back es miembro de la Academia Europaea . [1]