제러미 기븐스
Jeremy Gibbons제러미 기븐스 | |
---|---|
![]() | |
시민권 | 영국 |
교육 | 에든버러 대학교 (B)문장 이해, 1987) 옥스퍼드 대학교(D)필, 1991년) |
과학 경력 | |
필드 | 컴퓨터 공학 |
기관 | 오클랜드 대학교 옥스퍼드 브룩스 대학교 옥스퍼드 대학교 |
논문 | 트리 알고리즘용 알헤브라스 (1991) |
웹사이트 | www |
제레미 기븐스는 컴퓨터 과학자로 옥스퍼드 대학의 컴퓨터 교수다.[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년부터 의장을 맡고 있다.
참조
- ^ "Six members of the Department become professors". Department of Computer Science. University of Oxford. 28 July 2011. Retrieved 5 August 2020.
- ^ Gibbons, Jeremy. "Jeremy Gibbons". Department of Computer Science. University of Oxford. Retrieved 5 August 2020.
- ^ a b c d e "Software Engineering at Oxford: Jeremy Gibbons". Department of Computer Science. University of Oxford. Retrieved 5 August 2020.
- ^ "Professor Jeremy Gibbons becomes Pro-Proctor". Department of Computer Science. University of Oxford. 23 March 2016. Retrieved 5 August 2020.
- ^ Gibbons, Jeremy (1 July 2020). "Jeremy Gibbons: Publications". Department of Computer Science. University of Oxford. Retrieved 5 August 2020.
- ^ Gibbons, Jeremy (1 September 2007). "Jeremy Gibbons: Publications". Software Engineering Programme. University of Oxford. Retrieved 5 August 2020.
- ^ Jeuring, Johan; Meertens, Lambert; Guttmann, Walter (17 August 2016). "Profile of IFIP Working Group 2.1". Foswiki. Retrieved 6 September 2020.
- ^ Swierstra, Doaitse; Gibbons, Jeremy; Meertens, Lambert (2 March 2011). "ScopeEtc: IFIP21: Foswiki". Foswiki. Retrieved 6 September 2020.
외부 링크
- 공식 웹사이트, 학술 사이트
- 기능 프로그래밍의 패턴 – 그의 블로그