랠프 조한 백

Ralph-Johan Back


랠프 조한 백
국적핀란드어
직업컴퓨터 과학자

Ralph-Johan Back은 핀란드의 컴퓨터 과학자다.[1]백은 1978년 헬싱키 대학 박사학위 논문 '프로그램 개발에서 정교화 단계의 정확성에 관한 연구'에서 단계적 정교화를 이용한 프로그램 공식 개발에 대한 중요한 접근법인 정교화 미적분학을 발기했다.그는 이 분야에서 많은 후속 연구에 착수했다.그는 CWI 암스테르담, 핀란드 아카데미, 탐페레 대학에서 재직했다.

1983년부터 투르쿠의 bo보 아카데미 대학 컴퓨터과학과 교수로 재직하고 있다.2002~2007년에는 핀란드 아카데미 교수로 재직했다.그는 Evbo Akademi의 신뢰할 수 있는 소프트웨어 기술 센터(Center for Consident Software Technology) 이사다.

백은 Europaea 학회의 회원이다.[1]

그의 아내 바브로 백은 또한 bo보 아카데미 대학 정보 시스템 교수로, 그는 세 명의 자녀를 두고 있다.[citation needed]

참조

  1. ^ a b "Ralph-Johan Back". Academia Europaea. Retrieved 20 January 2013.

외부 링크


Flag of FinlandScientist icon Stub icon

이 기사는 핀란드 과학자에 관한 것이다.위키피디아를 확장하여 도울 수 있다.

P ≟ NP

컴퓨터 과학자와 관련된 이 전기 기사는 단조롭다.위키피디아를 확장하여 도울 수 있다.