Powrót Ralpha-Johana

Powrót Ralpha-Johana
Narodowość fiński
Zawód Informatyk

Ralph-Johan Back jest fińskim informatykiem . Back zapoczątkował rachunek udoskonalania , ważne podejście do formalnego rozwoju programów wykorzystujących udoskonalanie stopniowe , w swojej rozprawie doktorskiej z 1978 roku na Uniwersytecie w Helsinkach , O poprawności kroków udoskonalania w opracowywaniu programów . Podjął wiele późniejszych badań w tej dziedzinie. Zajmował stanowiska w CWI Amsterdam , Akademii Fińskiej i Uniwersytecie w Tampere .

Od 1983 roku jest profesorem informatyki na Uniwersytecie Åbo Akademi w Turku . W latach 2002-2007 był profesorem Akademii w Akademii Fińskiej . Jest dyrektorem CREST (Centrum niezawodnej technologii oprogramowania) w Åbo Akademi. [ potrzebne źródło ]

Back jest członkiem Academia Europaea .

Linki zewnętrzne

Pobrano z „ https://en.wikipedia.org/w/index.php?title=Ralph-Johan_Back&oldid=1133138184 ”