제러미 기븐스

Jeremy Gibbons
제러미 기븐스
Jeremy Gibbons.jpg
시민권영국
교육에든버러 대학교 (B)문장 이해, 1987)
옥스퍼드 대학교(D)필, 1991년)
과학 경력
필드컴퓨터 공학
기관오클랜드 대학교
옥스퍼드 브룩스 대학교
옥스퍼드 대학교
논문트리 알고리즘용 알헤브라스 (1991)
웹사이트www.comlab.ox.ac.uk/jeremy.gibbons

제레미 기븐스는 컴퓨터 과학자로 옥스퍼드 대학의 컴퓨터 교수다.[1] 그는 컴퓨터 공학부의 소프트웨어 엔지니어링 프로그램 부국장, 켈로그 칼리지의[2][3] 이사회 펠로우, 옥스퍼드 대학의 프로 프록터 등을 역임하고 있다.[4]

학문적

기번스 교수는 에든버러 대학교(1983–1987)에서 컴퓨터 공학 학사(BSC) (Hons)[3]를, 옥스퍼드 대학교에서 연산 철학 박사 (DPHIL)를 취득했다.

현 직책을 맡기 전에는 우선 컴퓨터 공학 강사, 오클랜드 대학(1991~1996), 다음으로 컴퓨터 분야의 강사 겸 수석 강사, 옥스퍼드 브루크스 대학(1996~1999), 그 후 옥스퍼드 대학 소프트웨어 공학 독자를 지냈다.[3]

그의 연구 활동은 프로그래밍 언어와 방법, 기능 프로그래밍, 일반 프로그래밍, 객체 기술, 프로그램 사양, 파생 및 변환을 포함한다.[3]

그의 현재 프로젝트에는 CancerGrid; 데이터 유형-Generic Programming; 소프트웨어 구성요소의 자동 생성; 암 생물정보학을 위한 Workflow가 포함된다.[3]

그의 출판물은 일반 프로그래밍, 기능 프로그래밍, 형식 방법, 계산 생물학 및 생물정보학을 다루고 있다.[5][6]

그는 알고리즘 언어와 캘커리에 관한 국제정보처리연맹(IFIP) IFIP 2.1 작업 그룹의 일원으로,[7] 프로그래밍 언어 ALGOL 60과 ALGOL 68을 지정, 유지, 지원한다.[8] 2009년부터 의장을 맡고 있다.

참조

  1. ^ "Six members of the Department become professors". Department of Computer Science. University of Oxford. 28 July 2011. Retrieved 5 August 2020.
  2. ^ Gibbons, Jeremy. "Jeremy Gibbons". Department of Computer Science. University of Oxford. Retrieved 5 August 2020.
  3. ^ a b c d e "Software Engineering at Oxford: Jeremy Gibbons". Department of Computer Science. University of Oxford. Retrieved 5 August 2020.
  4. ^ "Professor Jeremy Gibbons becomes Pro-Proctor". Department of Computer Science. University of Oxford. 23 March 2016. Retrieved 5 August 2020.
  5. ^ Gibbons, Jeremy (1 July 2020). "Jeremy Gibbons: Publications". Department of Computer Science. University of Oxford. Retrieved 5 August 2020.
  6. ^ Gibbons, Jeremy (1 September 2007). "Jeremy Gibbons: Publications". Software Engineering Programme. University of Oxford. Retrieved 5 August 2020.
  7. ^ Jeuring, Johan; Meertens, Lambert; Guttmann, Walter (17 August 2016). "Profile of IFIP Working Group 2.1". Foswiki. Retrieved 6 September 2020.
  8. ^ Swierstra, Doaitse; Gibbons, Jeremy; Meertens, Lambert (2 March 2011). "ScopeEtc: IFIP21: Foswiki". Foswiki. Retrieved 6 September 2020.

외부 링크