Ralph-Johan Zpět - Ralph-Johan Back

Tento životopis živé osoby potřebuje další citace pro ověření. Pomozte prosím přidáním spolehlivé zdroje. Sporný materiál o žijících osobách, který není získáván nebo má špatné zdroje musí být okamžitě odstraněny, zvláště pokud potenciálně hanlivý nebo škodlivé. Najít zdroje: „Ralph-Johan Back“  – zprávy  · noviny  · knihy  · učenec  · JSTOR (Leden 2013) (Zjistěte, jak a kdy odstranit tuto zprávu šablony)

Ralph-Johan Zpět je Finština počítačový vědec.^[1]

Zpět vznikl kalkulátor upřesnění, důležitý přístup k formálnímu rozvoji programů pomocí postupného upřesnění, v jeho 1978 PhD práce na University of Helsinki, O správnosti kroků zdokonalení při vývoji programu. V této oblasti provedl mnoho následných výzkumů. Zastával pozice v CWI Amsterdam, Finská akademie a University of Tampere.

Od roku 1983 působí jako profesor informatiky na VŠE Åbo Akademi University v Turku. V letech 2002–2007 působil jako akademický profesor na Finská akademie. Je ředitelem CREST (Center for Reliable Software Technology) ve společnosti Åbo Akademi.

Zpět je členem Academia Europaea.^[1]

Jeho manželka, Barbro Back, je profesorem informačních systémů, také na Åbo Akademi University a má tři děti.^{[Citace je zapotřebí ]}

Reference

externí odkazy

• Ralph-Johan Zpět na domovskou stránku
• Životopis
• Ralph-Johan Zpět na DBLP Bibliografický server

Tento článek o finském vědci je pahýl. Wikipedii můžete pomoci pomocí rozšiřovat to.