하랄드 간징거

하랄트 간징거(Haralt Ganzinger, 1950년 10월 31일 베르넥 ~ 2004년 6월 3일 자르브뤼켄)는 독일의 컴퓨터 과학자로 레오 바흐메어와 함께 (2007년 현재) 대부분의 최첨단 자동 정리 프로버에서 1차 논리학을 위해 사용되는 중첩 미적분을 개발했다.

그는 1978년 뮌헨 공과대학에서 박사학위를 받았다.1991년 이전에는 도르트문트 대학의 컴퓨터 공학 교수였습니다.그리고 나서 그는 1991년 설립된 직후 자르브뤼켄에 있는 막스 플랑크 컴퓨터 과학 연구소에 합류했다.2004년까지 막스 플랑크 컴퓨터 과학 연구소 프로그래밍 로직스 학과장이자 자르랜드 대학의 명예 교수였습니다.그의 연구 그룹은 SPASS 자동 정리 분석기를 만들었다.

그는 자동 정리 증명에 중요한 공헌을 한 공로로 2004년(사후) 허브랜드 상을 받았습니다.

레퍼런스

• 선택과 단순화를 통한 재작성 기반 등식 정리 증명, Leo Bachmair와 Harald Ganzinger, Journal of Logic and Computation, 1994.

외부 링크

• Harald Ganzinger 개인 홈페이지 - 2013년 12월 7일 버전 archive.org에 저장

독일의 한 컴퓨터 전문가에 대한 이 기사는 엉터리이다.위키피디아를 확장함으로써 위키피디아를 도울 수 있습니다.

• v
• t