데이비드 그리즈

David Gries
데이비드 그리즈
태어난 (1939-04-26) 1939년 4월 26일(83)
시민권미국
교육퀸즈 칼리지(1960년)
일리노이 대학교 어바나 샴페인 석사(1963년)
Rer. Nat 박사;뮌헨 공과대학 (1966년)
로 알려져 있다프로그래밍의 과학 (책)
이산 수학에 대한 논리적 접근법(책)
배우자일레인
어워드미국정보처리학회연맹 교육상(1986년)
컴퓨터 사이언스 교육에 대한 탁월한 공헌에 대한 ACMSIGCSE 상(1991년)
전기기술자협회 테일러 L. 부스 교육상(1994년)
ACM Karl V. Karlstrom 우수 교육자상
과학 경력
필드컴퓨터 공학 교육
기관미국 해군 무기 연구소
스탠퍼드 대학교
조지아 대학교
코넬 대학교 공과대학
박사 어드바이저프리드리히 바우어
요제프 스토어
웹 사이트www.cs.cornell.edu/gries

데이비드 그리스(David Gries, 1939년 4월 26일 ~ )는 미국 코넬 대학컴퓨터 과학자로, 주로 프로그래밍의 과학(1981년)과 이산 수학의 논리적 접근(1993년 프레드 B와 함께)으로 잘 알려져 있습니다. 슈나이더).

2003년부터 2011년까지 코넬 대학 공대 학부 프로그램 부학장을 역임했습니다.그의 연구 관심사는 프로그래밍 방법론 및 프로그래밍 언어, 관련 의미론 및 논리학과 같은 관련 영역을 포함합니다.그의 아들인 폴 그리스는 Python 언어를 사용하는 컴퓨터 프로그래밍 입문 교재의 공동 저자로 토론토 대학 컴퓨터 과학부의 교수입니다.

인생

Gries는 1960년에 Queens College에서 학사 학위를 취득했습니다.그는 이후 2년간 미 해군 무기 연구소에서 프로그래머 겸 수학자로 일하며 부인 일레인을 만났다.

그는 1963년 일리노이 대학교 어바나 샴페인에서 수학 석사 학위를 취득했습니다.일리노이주에 있는 동안 그리스는 "Manfred Paul". Rueiger Wiehle은 IBM 7090 메인프레임 컴퓨터용 ALGOL 60 언어용 전체 컴파일러를 작성했습니다.그는 1966년 뮌헨 대학에서 프리드리히 L. 바우어와 요제프 스토어 에서 공부하며 박사학위를 취득했다.

Gries는 프로그래머의 프로그램 작성 능력을 높이는 것을 목적으로 하는 명예회원으로, IFIP WG2.3 멤버에 의한 프로그래밍 방법론: 기사 모음의 편집자이며, 이 그룹의 첫 10년간의 작업을 강조하였습니다.

그리스는 1966년부터 1969년까지 스탠포드 대학조교수로 재직했고, 그 후 뉴욕 이타카에 있는 코넬 대학의 조교수가 되었다.그는 1982년부터 1987년까지 컴퓨터 과학부 학과장으로서의 시간을 포함하여 이후 30년을 그곳에서 보냈다.그는 1984-1985년에 구겐하임 펠로우쉽을 가졌다.그는 1999년부터 2002년까지 아테네 조지아 대학에서 지냈고 2003년 1월에 코넬로 돌아왔다.

그는 7개의 교과서와 75개의 연구 논문의 저자, 공동 저자 또는 편집자이다.2021년 현재 는 뉴욕 이타카에 살고 있다.

선정된 작품

  • Gries, D. (1971). Compiler Construction for Digital Computers (in English, Spanish, Japanese, Chinese, Italian, and Russian). New York: John Wiley and Sons. ISBN 0-471-32776-X. The first text on compiler writing.[2]
  • Gries, D.; Conway, R. (1973). An Introduction to Programming: a structured approach, Edition 1. Cambridge: Winthrop.
  • Gries, D., ed. (1979) 프로그래밍 방법론: IFIP WG2[1].3 회원들에 의한 기사 모음
  • Gries, D. (1981). The Science of Programming. Monographs in Computer Science (in English, Russian, and Japanese). New York: Springer Verlag.
  • Gries, D.; Feijen, W.H.J.; van Gasteren, A.J.M.; Misra, J., eds. (1990). Beauty is our Business. Monographs in Computer Science. New York: Springer Verlag.
  • Gries, D.; Owicki, S.(1976) "병행 프로그램의 특성 검증: 자명한 접근법"[3]
  • Gries, D.; Owicki, S.(1976) "병렬 프로그램을 위한 자명한 증명 기술 I"

어워드

  • ACM[3] Programming Systems and Languages Paper Award with Susan Owicki [5](ACM 프로그래밍 시스템과 언어)논문 부문 수상(1977년)
  • CRA 인정 서비스상(1991년)
  • T.V. 라만의 고문으로 박사학위 논문을[8] 연차 수상(1995년)
  • Amity Booker Prize with Paul Gries (2016)
  • ACM[9][10] SIGCSE 테크니컬 심포지엄에서 가장 오래된 논문(2019년)
  • 미국 버지니아주 달그렌 해군병기연구소 우수공로상(1961년)
  • 코넬 대학교상
    • 컴퓨터 사이언스부 올해의 교수(ACSU)(2017, 1999, 1996)
    • Clarke Award for Excellence of Arts & Science of Arts & Sciences
    • 2019년 클래스상 '비범한 성과와 공로를 인정받아...'(2019년)
    • Weiss Presidental[14] Fellow – 최초 10명의 펠로우 중 (1995년)
    • 타우 베타 파이 올해의[15] 교수(2022년)
    • Cornell Bowers CIS 평생교육[16] 공로상(2022년)

레퍼런스

  1. ^ a b Gries, D., ed. (1979). Programming Methodology: a Collection of Articles by Members of IFIP WG2.3. Monographs in Computer Science. New York: Springer Verlag.
  2. ^ "IBM Punch cards on which the book was written are in the Stanford Museum". Retrieved 11 July 2022.
  3. ^ a b Owicki, Susan; Gries, David (1976). "Verifying properties of parallel programs: an axiomatic approach". CACM. 19 (5): 279–285. doi:10.1145/360051.360224.
  4. ^ Owicki, Susan; Gries, David (25 June 1976). "An axiomatic proof technique for parallel programs I". Acta Informatica. Berlin: Springer (Germany). 6 (4): 319–340. doi:10.1007/BF00268134.
  5. ^ "ACM Programming Systems and Languages Paper Award". ACM. 1977. Retrieved 2022-07-07.
  6. ^ "David Gries - John Simon Guggenheim Memorial Foundation". 1983. Retrieved 2022-07-10.
  7. ^ "Distinguished Service Award". CRA. Retrieved July 10, 2022.
  8. ^ "Audio System for Technical Readings" (PDF) (PhD thesis). Retrieved 2022-07-09.
  9. ^ "ACM SIGCSE Technical Symposium Top Ten Papers of All Time Award". SIGCSE. Retrieved July 10, 2022.
  10. ^ Gries, David (February 1974). "What should we teach in an introductory programming course?". ACM SIGCSE Bulletin. 6 (1): 81–89. doi:10.1145/953057.810447.
  11. ^ "ACM Fellows". ACM. 1994. Retrieved 2022-07-09.
  12. ^ "David Gries: ACM Fellow". ACM. 1994. Retrieved 2022-07-09.
  13. ^ "Historic Fellows, AAAS". AAAS. Retrieved 2022-07-10.
  14. ^ "Weiss Presidential Fellow (for contributions to undergraduate education)". Cornell. Retrieved 2022-07-10.
  15. ^ "Tau Beta Pi Professor of the Year". CEAA Alumni Association, College of Engineering, Cornell. Retrieved 2022-07-10.
  16. ^ "Lifetime Achievement Award for Teaching". Cornell Bowers CIS, Cornell. Retrieved 2022-07-10.

외부 링크