Ральф-Йохан Бэк
Ральф-Йохан Бэк | |
|---|---|
| Национальность | финский |
| Альма-матер | Университет Хельсинки |
| Занятие | Ученый-компьютерщик |
 |
Ральф-Йохан Бэк — финский ученый-компьютерщик . [1] Бэк зародил уточняющее исчисление , важный подход к формальной разработке программ с использованием поэтапного уточнения , в своей докторской диссертации 1978 года в Хельсинкском университете « О правильности этапов уточнения при разработке программ» . Он провел множество последующих исследований в этой области. Он занимал должности в CWI Амстердама , Академии Финляндии и Университете Тампере .
С 1983 года он является профессором компьютерных наук в Университете Або Академи в Турку . В 2002–2007 годах он был профессором Академии Финляндии . Он является директором CREST (Центра надежных программных технологий) в Або Академи. [ нужна ссылка ]
Бэк является членом Европейской Академии . [1]
Ссылки
[ редактировать ]- ^ Перейти обратно: а б «Ральф-Йохан вернулся» . Европейская академия . Проверено 20 января 2013 г.
Внешние ссылки
[ редактировать ]- Ральф-Йохан Назад на главную страницу
- Ральф-Йохан снова на DBLP библиографическом сервере
| Международный | |
|---|---|
| Национальный | |
| академики | |
| Другой | |
   | Эта статья о финском ученом незавершена . Вы можете помочь Википедии, расширив ее . |