Ralph-Johan Voltar - Ralph-Johan Back

Ralph-Johan Back é um cientista da computação finlandês .

Back originou o cálculo de refinamento , uma abordagem importante para o desenvolvimento formal de programas usando refinamento gradual , em sua tese de doutorado de 1978 na Universidade de Helsinque , On the Correctness of Refinement Steps in Program Development . Ele empreendeu muitas pesquisas subsequentes nesta área. Ele ocupou cargos no CWI Amsterdam , na Academia da Finlândia e na Universidade de Tampere .

Desde 1983, ele é Professor de Ciência da Computação na Åbo Akademi University em Turku . Para 2002-2007, ele foi um professor da Academia na Academia da Finlândia . Ele é Diretor do CREST (Centro de Tecnologia de Software Confiável) em Åbo Akademi.

Back é membro da Academia Europaea .

Sua esposa, Barbro Back, é professora de Sistemas de Informação, também na Åbo Akademi University , e ele tem três filhos.