Ralph-Johan Back

Ralph-Johan Back
Nationalitet finska
Ockupation Datorvetenskapsman

Ralph-Johan Back är en finländsk datavetare . Tillbaka uppstod förfiningskalkylen , ett viktigt tillvägagångssätt för den formella utvecklingen av program som använder stegvis förfining , i hans doktorsavhandling 1978 vid Helsingfors universitet , On the Correctness of Refinement Steps in Program Development . Han har gjort mycket efterföljande forskning inom detta område. Han har haft befattningar vid CWI Amsterdam , Finlands Akademi och Tammerfors universitet .

Sedan 1983 är han professor i datavetenskap vid Åbo Akademi i Åbo . 2002–2007 var han akademiprofessor vid Finlands Akademi . Han är direktör för CREST (Center for Reliable Software Technology) vid Åbo Akademi. [ citat behövs ]

Back är medlem i Academia Europaea .

externa länkar

Hämtad från " https://en.wikipedia.org/w/index.php?title=Ralph-Johan_Back&oldid=1133138184 "