프로그래밍 연구 그룹

Programming Research Group

프로그래밍 연구 그룹(PRG)은 2011년 OCLF가 컴퓨터 과학 학부가 될 때까지 수치 분석 그룹과 함께 영국 옥스포드 대학 컴퓨팅 연구소(OCLF)의 일부였다.[1]

PRG는 1965년 크리스토퍼 스트레이치(1916~1975)에 의해 설립되었다.원래는 밴버리 로드 45번지에 위치해 있었다.[3]

1977년부터 1999년까지 PRG의 리더였던 토니 호어

Strachey의 때아닌 죽음, C.A.R. Hoare, FRS가 1977년에 지도부를 인수했다.[4]PRG 정신은 Tony Hoare가 PRG에 도착한 후 발견하여 공포한 Strachey의 다음과 같은 인용구로 요약된다.

실용적이고 이론적인 작업의 분리는 인위적이고 유해하다는 것이 오랫동안 나의 개인적인 견해였다.소프트웨어와 하드웨어 설계 모두에서 컴퓨터 작업에서 행해지는 실제 작업의 상당 부분은 작업자의 기본적인 설계 원리에 대한 명확한 이해가 없기 때문에 불안정하고 서툴다.추상적인 수학적 이론적 작업은 대부분 실제 컴퓨팅과 접점이 없기 때문에 무균상태다.교육연구그룹으로서 프로그래밍연구그룹의 중점목표 중 하나는 이러한 분리가 일어날 수 없는 분위기를 조성하는 것이었다.[4][5]

PRG는 1984년에 8-11 케블 로드로 이동했다.1980년대 후반과 1990년대 초반에는 조지프 고갱(1988~1996년 PRG에 있었던 사람)을 포함하여 일부 PRG 회원들이 사우스 파크 로드 2곳에 수용되었다.토니 호어는 1999년에 은퇴했고 PRG는 2000년부터 샘슨 에이브럼스키가 이끌었다.PRG는 2011년 6월 1일 PRG의 전 회원인 빌 로스코의 주도하에 옥스퍼드 대학 컴퓨팅 연구소가 컴퓨터 과학부로 개명될 때까지 계속되었다.[1]

PRG는 공식적인 방법의 분야에서 우수성의 중심지로서 Z 표기법(Jean-Raymond Abrial 방문에 의해 시작됨)[6]과 CSP(관련된 오캄 프로그래밍 언어와 함께)의 개발에 주도적인 역할을 했다.IBM, Inmos와 함께 퀸즈 어워드를 수상하였다.

참조

  1. ^ a b "About the Department of Computer Science". UK: Department of Computer Science, University of Oxford. Retrieved 7 September 2020.
  2. ^ "Christopher Strachey (1916–1975)". Virtual Museum of Computing. Internet Archive. 2007. Archived from the original on September 26, 2007. Retrieved 3 May 2013.
  3. ^ "Expenditure for house occupied by the Programming Research Group, 1966–1968". Bodleian Archives & Manuscripts. UK: Bodleian Library, University of Oxford. MS. Eng. misc. b. 255/B.25. Retrieved 7 September 2020.
  4. ^ a b "History and Structure". Oxford University Computing Laboratory, Internet Archive. 2007. Archived from the original on June 18, 2007. Retrieved 3 May 2013.
  5. ^ "Undergraduate handbook 2006–07". Oxford University Computing Laboratory, Internet Archive. 2007. Archived from the original on July 20, 2007. Retrieved 3 May 2013.
  6. ^ Jones, Cliff B.; Thomas, Martyn (11 June 2020). "The development and deployment of formal methods in the UK". arXiv:2006.06327 [cs.SE].

외부 링크

좌표:51°45′35″N 1°15′31″w/51.7598°N 1.285°W/ 51.7598; -1.2585


Stub icon

이 형식적인 방법 관련 기사는 단조롭다.위키피디아를 확장하여 도울 수 있다.