그레그 넬슨(컴퓨터 과학자)

Greg Nelson (computer scientist)
그레그 넬슨
태어난
찰스 그레고리 넬슨

(1953-03-27)1953년 3월 27일
죽은2015년 2월 2일(2015-02-02) (61)
교육B.A, 하버드 대학교 (1976년)
스탠퍼드대 박사(1980년)
로 알려져 있다.만족도 모듈로 이론
확장 정적 검사
프로그램 검증
모둘라-3 위원회
ESC/Java 정리 간소화
수상허브랜드상(2013년)
과학 경력
기관제록스 팔로 알토 연구소(PARC)
DEC(Digital Equipment Corporation) 시스템 연구 센터(SRC)
휴렛패커드 연구소
논문프로그램 검증 기법 (1980)
박사학위 자문위원로버트 타르잔

찰스 그레고리 넬슨(Charles Gregory Nelson, 1953년 3월 27일 ~ 2015년 2월 2일)은 미국의 컴퓨터 과학자였다.[1][2]

전기

넬슨은 호놀룰루에서 자랐다.소년 시절에 그는 체조와 테니스에 뛰어났다.그는 대학 실험실 학교에 다녔다.그는 1976년 하버드 대학교에서 수학 학사 학위를 받았다.그는 1980년 로버트 타르잔의 감독으로 스탠포드 대학에서 컴퓨터 공학 박사학위를 받았다.그는 알래스카 주노에서 1년 동안 살다가 샌프란시스코 만 지역에 영구 정착했다.

주목할 만한 작품

그의 논문, 프로그램 Verification,[3]기술, 그 지역을 지금 그가 결정 절차를 결합하기 위해서 기술 기부했다 만족시킬 수 있음 과학 이론뿐만 아니라, 일차 논리에quantifier-free 제약 조건을 위한 효율적인 결정 절차 및 명명된 특히 둘 다 프로그램 검증 및 자동화된 정리 증명에 영향을 미쳤다. 착륙m 대수학그는 2013년에 허브랜드 상을 받았다.[4]

만족도 절차와 빠른 응결성 폐쇄 알고리즘의 조합에 관한 데릭 오펜과의 정합적 연구, 매우 영향력 있는 정리 프로베러의 개발, 그리고 확장된 정적 점검의 분야를 창조하는데 있어서 그의 역할과 같은, 정리 증명과 프로그램 검증에 대한 그의 선구적인 공헌을 위해서.

그는 ESC/Java가 사용하는 Simplified 정리 프로베러를 개발하는 데 도움이 되었다.그는 다른 여러 분야에서 상당한 공헌을 했다.모둘라-3 위원회의 일원으로서 프로그래밍 언어 디자인 분야에 공헌하였다.분산형 시스템에서 그는 네트워크 개체에 기여했다.제약에 기반을 둔 그래픽 편집자(주노와 주노-2), 윈도잉 시스템(트레슬), 최적의 코드 생성(데날리), 멀티스레드 프로그래밍(Eraser) 등으로 선구적인 공헌을 했다.

참고 항목

참조

  1. ^ Perl, Sharon (February 2015). "Greg Nelson: 27 March 1953 – 2 February 2015". Palo Alto Online. Palo Alto, California. Retrieved 2021-04-15.
  2. ^ Perl, Sharon (March 4, 2015). "Greg Nelson". Honolulu Star-Advertiser: Obituaries. Honolulu, Hawaii. Retrieved 2021-04-15.
  3. ^ Nelson, Greg (1980–1981). Techniques for Program Verification (PDF). Department of Electrical Engineering and Computer Sciences (PhD). University of California Berkeley. Retrieved 2021-04-13.
  4. ^ Montmirail, Valentin; Sutcliffe, Geoff (June 2013). "Herbrand Award: for Distinguished Contributions to Automated Reasoning". Conference on Automated Deduction. Retrieved 2021-04-13.