Juris Hartmanis

Article

August 8, 2022

Juris Hartmanis(1928년 7월 5일 – 2022년 7월 29일)는 라트비아 태생의 미국 컴퓨터 과학자이자 계산 이론가로 Richard E. Stearns와 함께 계산 복잡도 이론의 분야".

삶과 경력

Hartmanis는 1928년 7월 5일 라트비아에서 태어났습니다. 그는 라트비아 군대의 장군인 Mārtiņš Hartmanis의 아들이자 시인 Astrid Ivask의 형제였습니다. 1940년 소련이 라트비아를 점령한 후, 마르티쉬 하르트마니스는 소련에 체포되어 감옥에서 사망했습니다. 제2차 세계 대전 말기, 마르티시 하르트마니스의 아내와 아이들은 1944년에 난민으로 라트비아를 떠났고, 소련이 다시 라트비아를 점령할 경우 그들의 안전을 두려워했습니다. 그들은 처음 독일로 이주했으며, 그곳에서 Juris Hartmanis는 석사 학위와 동등한 학위를 받았습니다. Marburg 대학에서 물리학. 그 후 그는 미국으로 건너가 1951년 University of Kansas City(현재 University of Missouri–Kansas City로 알려짐)에서 응용 수학 석사 학위를, 1955년에 박사 학위를 받았습니다. Robert P. Dilworth의 감독하에 Caltech에서 수학을 전공했습니다. University of Missouri–Kansas City는 1999년 5월에 그를 명예 인문학 박사 학위로 수여했습니다. Cornell University와 Ohio State University에서 수학을 가르친 후 Hartmanis는 1958년에 General Electric Research Laboratory에 합류했습니다. General Electric에서 그는 계산 복잡성 이론의 많은 원리를 개발했습니다. 1965년 코넬대학교 교수가 되었다. 그는 창립자 중 한 명이자 컴퓨터 과학 부서(세계 최초의 컴퓨터 과학 부서 중 하나)의 초대 의장이었습니다. Hartmanis는 컴퓨터 과학 및 엔지니어링(CS&E)을 여러 방면으로 발전시키기 위한 국가적 노력에 기여했습니다. 가장 의미심장하게도 그는 1992년 발간된 National Research Council의 연구를 주도하여 CS&E의 핵심 노력을 지속하고 분야를 넓히기 위한 우선 순위에 따라 권장 사항을 제시한 Computing Future – A Broad Agenda for Computer Science and Engineering을 발표했습니다. CS&E의 학부 교육을 개선합니다. 그는 1996년부터 1998년까지 NSF(National Science Foundation) 컴퓨터 및 정보 과학 및 엔지니어링(CISE) 국장을 역임했습니다. 1989년 Hartmanis는 계산 복잡성 이론과 컴퓨팅 연구 및 교육에 대한 근본적인 기여를 인정받아 National Academy of Engineering의 회원으로 선출되었습니다. 그는 컴퓨터 기계 협회(Association for Computing Machinery) 및 미국 수학 학회(American Mathematical Society)의 회원이자 국립 과학 아카데미(National Academy of Sciences)의 회원이었습니다. 그는 또한 라트비아 과학 아카데미의 외국인 회원이었으며, 컴퓨터 과학에 대한 그의 공헌으로 2001년에 그에게 그랜드 메달을 수여했습니다. R.E. Stearns, Hartmanis는 시간 복잡도 클래스 TIME(f(n))을 도입하고 시간 계층 정리를 증명한 논문으로 1993년 튜링 상을 받았습니다. 1977년 Hartmanis가 Leonard Berman과 함께 작성한 또 다른 논문에서는 모든 NP 완성 언어가 다항 시간 동형이라는 아직 해결되지 않은 Berman-Hartmanis 추측을 소개했습니다. Hartmanis는 2022년 7월 29일에 사망했습니다. 그의 세 자녀 Reneta, Martin , 그리고 오드리.

수상

펠로우, 미국과학진흥협회(AAAS), 1981 1989년 국립 공학 아카데미 회원 회원(외국인): 1990년 라트비아 과학 아카데미 1992년 미국 예술 과학 아카데미 회원 1993년 ACM 튜링상 1993년 훔볼트 재단 연구상 차터 펠로우, ACM, 1994 1999년 명예 인문학 박사 2000년 CRA(Computing Research Association) Distinguished Service Award 2001년 라트비아 과학 아카데미 최우수상 2013년 ACM 공로상 2013년 미국수학회 초대펠로우 2013년 국립과학원 회원

선택한 출판물

서적 선택한 기사 인터뷰