Ralph-Johan Back

Ralph-Johan Back es un científico informático finlandés . ^{[ 1 ]} Back fue el creador del cálculo de refinamiento , un enfoque importante para el desarrollo formal de programas mediante refinamiento por pasos , en su tesis doctoral de 1978 en la Universidad de Helsinki , titulada "Sobre la corrección de los pasos de refinamiento en el desarrollo de programas" . Ha realizado numerosas investigaciones posteriores en este campo. Ha ocupado cargos en el CWI de Ámsterdam , la Academia de Finlandia y la Universidad de Tampere .

Desde 1983, es catedrático de Informática en la Universidad Åbo Akademi de Turku . Entre 2002 y 2007, fue profesor titular en la Academia de Finlandia . Actualmente, dirige CREST (Centro de Tecnología de Software Confiable) en la Universidad Åbo Akademi.

Back es miembro de la Academia Europaea . ^{[ 1 ]}

• Ralph-Johan Volver a la página principal
• Ralph-Johan regresa al servidor de bibliografía DBLP.