Ральф-Йохан Бэк - Ralph-Johan Back
 | Эта биография живого человека требует дополнительных цитаты для проверка. (Январь 2013) (Узнайте, как и когда удалить этот шаблон сообщения) |
Ральф-Йохан Бэк это Финский специалист в области информатики.[1]
Назад возникла исчисление уточнения, важный подход к формальной разработке программ с использованием пошаговых уточнение, в его 1978 кандидат наук диссертация на Университет Хельсинки, О правильности шагов уточнения при разработке программы. Он предпринял много последующих исследований в этой области. Он занимал должности в CWI Амстердам, то Академия Финляндии и Университет Тампере.
С 1983 года он был профессором компьютерных наук в Университет Або Академи в Турку. В 2002–2007 гг. Он был профессором Академии Академия Финляндии. Он является директором CREST (Центр надежных программных технологий) в Åbo Akademi.
Back является членом Academia Europaea.[1]
Его жена, Барбро Бэк, профессор информационных систем, также в Университет Або Академи, и у него трое детей.[нужна цитата ]
использованная литература
- ^ а б "Ральф-Йохан Бэк". Academia Europaea. Получено 20 января 2013.
внешние ссылки
- Ральф-Йохан Назад на главную
- Биография Резюме
- Ральф-Йохан Бэк в DBLP Сервер библиографии
Авторитетный контроль  |
|---|
   | Эта статья о финском ученом - заглушка. Вы можете помочь Википедии расширяя это. |
| P ≟ NP | Эта биографическая статья, относящаяся к специалист в области информатики это заглушка. Вы можете помочь Википедии расширяя это. |