주리스 하트마니스

Juris Hartmanis
주리스 하트마니스
Juris Hartmanis(2002).jpg
태어난(102-07-05)1928년 7월 5일
리가, 라트비아
죽은2022년 7월 29일(2022-07-29)(94)
모교
어워드튜링상(1993)
과학 경력
필드컴퓨터 공학
기관
박사 어드바이저로버트 P.딜워스
박사과정 학생앨런 보로딘(1969), 덱스터 코젠(1977), 닐 이머만(1980), 진이카이(1986)[1]

Juris Hartmanis(Juris Hartmanis, 1928년 7월 5일 ~ 2022년 7월 29일)는 라트비아 태생의 미국 컴퓨터 과학자, 컴퓨터 이론가로 리처드 E와 함께 활동했습니다. 스턴스는 1993년 ACM 튜링상을 수상했으며, "계산 복잡도 이론 분야의 기초를 확립한 그들의 중요한 논문을 인정받아"

인생과 경력

하트마니스는 1928년 [2]7월 5일 라트비아에서 태어났다.그는 라트비아 육군 장군 마르티시 하르트마니스[LV][3]의 아들이자 시인 아스트리드 이바스크의 형제였다.1940년 소련이 라트비아를 점령한 후, 마르티시 하트마니스는 소련에 의해 체포되어 감옥에서 사망했다.제2차 세계대전 후반, 마르티시 하트마니스의 아내와 아이들은 1944년 소련이 라트비아를 다시 [6][7]점령할 것을 우려하여 난민으로 라트비아를 떠났다.

그들은 처음에 독일로 이주했고, 그곳에서 Juris Hartmanis는 Marburg 대학에서 물리학 석사 학위를 받았다.그 후 미국으로 건너가 1951년 캔자스시티 대학(현 미주리 대학 캔자스시티로 알려짐)에서 응용 수학 석사 학위를 받았고 1955년 로버트 P.의 감독 아래 캘리포니아 공대에서 수학 박사 학위를 받았습니다. 딜워스.[8]미주리 대학 캔자스 시티는 1999년 [9]5월에 그에게 명예 휴먼 레터 박사 학위를 수여했습니다.코넬 대학교와 오하이오 주립 대학교에서 수학을 가르친 후, 하트마니스는 1958년에 제너럴 일렉트릭 연구소에 입사했다.제너럴 일렉트릭에 재직하는 동안 그는 계산 복잡도 [15]이론의 많은 원리를 개발했습니다.1965년, 그는 코넬 대학의 교수가 되었다.그는 설립자 중 한 명이며 컴퓨터 과학 부서의 첫 번째 학과장이었다.[16]

Hartmanis는 많은 면에서 컴퓨터 공학(CS&E)을 발전시키기 위한 국가적 노력에 기여했다.가장 중요한 것은 1992년 출판물 Computing the Future – A Broad Agenda for Computer Science and [17]Engineering의 연구 의장을 맡은 것입니다.이 연구에서는 CS&E의 핵심적 노력을 지속하고 분야를 넓히고 CS&E의 학부 교육을 개선하기 위한 우선 순위에 따라 권장사항을 제시했습니다.1996년부터 1998년까지 National Science Foundation(NSF; 전미과학재단) 컴퓨터정보과학엔지니어링국(CISE)[18]의 부국장을 역임했습니다.

1989년, Hartmanis는 계산 복잡성 이론과 컴퓨팅 연구 및 교육에 대한 기본적인 공헌을 인정받아 미국 공학 아카데미의 회원으로 선출되었습니다.그는 컴퓨터 기계 협회와 미국 수학 [19]협회의 펠로우였으며, 미국 과학 [20]아카데미의 회원이기도 했습니다.그는 또한 라트비아 [21]과학 아카데미의 외국인 회원으로서 컴퓨터 [22]과학에 기여한 공로로 2001년에 그랜드 메달[lv]을 수여했습니다.

R.E. Stearns와 함께, Hartmanis는 시간 복잡도 클래스 TIME(f(n)를 도입하고 시간 계층 [13]정리를 증명한 논문으로 1993년 튜링상을 받았다.1977년에 발표된 하트마니스의 레너드 버만과의 또 다른 논문은 모든 NP-완전 언어가 다항 시간 동형이라는 [23]아직 풀리지 않은 버만-하트마니스 추측을 소개했다.

하트마니스는 2022년 [24][25]7월 29일에 사망했다.

어워드

선택한 출판물

책들
  • 순차[37] 기계의 대수 구조 이론 1966 (R.E. Stearns와 함께)
  • 실현 가능한 계산과 입증 가능한 복잡도 특성[38] 1978
  • 계산 복잡도 이론(ed.[39] 1989)
  • 미래 컴퓨팅: 컴퓨터 과학 및 엔지니어링에 관한 폭넓은 어젠다(ed.)[40] 1992 (Herbert Lin과 함께)
선택된 기사
  • 1964년 "재귀 [10]시퀀스의 계산 복잡도" (R.E. Stearns 사용)
  • 1965년 "시간 [11]및 메모리 요건에 따른 계산 분류" (PM과 함께)루이스와 R.E. 스턴스)
  • 1965년 "메모리 계층 제한 연산"[12] (PM과 함께)루이스와 R.E. 스턴스)
  • "[13]알고리즘의 계산 복잡성에 대하여" 1965년 (R.E. Stearns와 함께)
  • 문맥이 없는 문맥 의존형[41] 언어 인식용 메모리 경계 1965(PM 사용).루이스와 R.E. 스턴스)
  • 1977년 "NP 및 기타 완전 [23]집합의 동형 및 밀도에 대하여" (L. Berman과 함께)
  • "이론 컴퓨터 공학의 [14]발전에 대한 관찰" 1981
  • "Gödel, von Neumann, and P =? NP 문제"[42] 1989

인터뷰

Juris Hartmanis는 4번이나 인터뷰를 했다.그 중 두 명이 비디오를 볼 수 있습니다.가장 큰 영향을 미치는 것은 William Aspray의 작품입니다.

  • William Aspray가 ACM Oral History [4]인터뷰를 위해 Hartmanis와 인터뷰, 2009
  • David Gries가 Cornell ecommons [43]컬렉션을 위해 Hartmanis와 인터뷰,
  • Len Shustek은 Communications of the ACM,[44] 2015 기사에서 Hartmanis를 인터뷰했습니다.
  • David Gries가 2018년 ACM Turing [5]Award 수상자로 Hartmanis와 인터뷰

레퍼런스

  1. ^ "Juris Hartmanis". mathgenealogy.org. Mathematics Genealogy Project. Retrieved August 4, 2022.
  2. ^ Selman, Alan L., ed. (1990). Complexity Theory Retrospective : In Honor of Juris Hartmanis on the Occasion of His Sixtieth Birthday, July 5, 1988. New York, NY: Springer New York. doi:10.1007/978-1-4612-4478-3. ISBN 978-1-4612-4478-3. S2CID 31789744. Retrieved August 4, 2022.
  3. ^ 발트어에서 자기 이름은 어휘 상수가 아니라 문법적인 형태가 다르다.Hartmanis는 Hartman-is로 이해되어야 하며, Hartmanis는 동명의 어간이며, 접미사 -는 라트비아어에서 남성적인 문법 형태를 나타낸다.예를 들어, 비슷한 방식으로, 철학자 칸트는 리투아니아어로 칸타스로 알려져 있다.
  4. ^ a b Hartmanis, Juris (July 26, 2009). "Dr. Juris Hartmanis Interview" (text). Interviewed by William Aspray. Ithaca, New York: ACM Oral History interviews. doi:10.1145/1141880.1775727.
  5. ^ a b Hartmanis, Juris (May 17, 2018). "Juris Hartmanis, 1993 ACM Turing Award Recipient" (video). Interviewed by David Gries. Ithaca, New York: ACM.
  6. ^ 2개의 interviews[4][5]에 섹션)인터뷰에 인용한, 그의 아버지 재산이 주어졌다 그의 인생 Lestene 이 기간의 세부 사항으로 그 러시아 라트비아를 점령했다 Hartmanis 회담;, 떨어져 있으며, Lestene을 압수했다;그 독일인과 그의 가족에게 Lestene의 일부 회복했다 한번 더를 인수했다, 가정은 G에 라트비아 떠나 버린 아버지가 걸렸다erman러시아군이 라트비아를 다시 침략하기 전.
  7. ^ "A Tribute to Astrid Ivask: A Literary Light". World Literature Today. April 2, 2015. Retrieved August 4, 2022.
  8. ^ Hartmanis, Juris (1955). Some embedding theorems for lattices (PhD thesis). Cal Tech. doi:10.7907/40KS-0T27.
  9. ^ a b "University of Missouri Honorary Degrees". University of Missouri.
  10. ^ a b —; Stearns, R.E. (November 11, 1964). Computational complexity of recursive sequences. 5th Ann. Symp. on Switching Circuit Theory and Logical Design. Princeton, New Jersey: IEEE. pp. 82–90. doi:10.1109/SWCT.1964.6.
  11. ^ a b —; Lewis, P.M.; Stearns, R.E. (May 24, 1963). Wayne A. Kalenich (ed.). Classifications of computations by time and memory requirements. Proc. IFIP Congress 65. New York City: Spartan Books, Inc., Washington, D.C. pp. 31–35. doi:10.2307/2272795. JSTOR 2272795.
  12. ^ a b —; Lewis, P.M.; Stearns, R.E. (October 6, 1965). Hierarchies of memory limited computations. FOCS 65: Proc. Sixth Ann. Symp Switching Circuit Theory and Logical Design. New York: IEEE. pp. 179–190. doi:10.1109/FOCS.1965.11.
  13. ^ a b c —; Stearns, R. E. (1965), "On the computational complexity of algorithms", Transactions of the AMS, 117: 285–306, doi:10.2307/1994208, JSTOR 1994208, MR 0170805
  14. ^ a b — (1981), "Observations about the development of theoretical computer science", IEEE Annals of the History of Computing, 3 (1): 42–51, doi:10.1109/MAHC.1981.10005, hdl:1813/6244, ISSN 1058-6180
  15. ^ 이러한 초기 논문들은 계산 복잡성 [10][11][12][13]이론의 많은 원리들을 발전시켰다.Hartmanis의 1981년 조사 논문은 계산 복잡성 [14]이론의 연구에 대한 광범위한 정보를 제공한다.
  16. ^ 퍼듀 대학교는 1962년에 최초의 CS 학부를 만들었고, 스탠포드, 카네기 멜론, 그리고 몇몇 다른 대학들과 마찬가지로 1965년에 CS 학부를 설립했습니다.
  17. ^ Hartmanis, Juris; Lin, Herbert, eds. (1992). Computing the Future: A broader agenda for computer science and engineering. Washington, DC: National Academies Press. p. 288. doi:10.17226/1982. ISBN 978-0-309-04740-1.
  18. ^ "Juris Hartmanis to Lead NSF's Directorate for CISE". NSF. September 5, 1996. Retrieved August 2, 2022.
  19. ^ a b 2013년 1월 19일 취득된 미국 수학회 펠로우 목록.
  20. ^ 2013년 5월 27일 국립과학아카데미 웨이백머신에서 선출된 국립과학아카데미 회원 및 해외 협력사 기록.
  21. ^ a b "Foreign members". Latvian Academy of Sciences. 1990. Retrieved July 30, 2022.
  22. ^ a b "Lielā medaļa" [Grand Medal]. www.lza.lv (in Latvian). Latvian Academy of Sciences. Archived from the original on January 6, 2022. Retrieved August 4, 2022. 2001 ... Juris Hartmanis, par izcilu ieguldījumu datorzinātņu attīstībā. [2001 ... Juris Hartmanis, for his outstanding contribution to the development of computer science.]
  23. ^ a b Berman, L.; — (1977), "On isomorphisms and density of NP and other complete sets" (PDF), SIAM Journal on Computing, 6 (2): 305–322, doi:10.1137/0206023, hdl:1813/7101, MR 0455536
  24. ^ 新智元 [Xin Zhi Yuan] (July 31, 2022). "图灵奖得主，"计算复杂性"理论奠基人Juris Hartmanis逝世，享年94岁" [Turing Award winner and founder of "computational complexity" theory, Juris Hartmanis, dies at 94]. 新浪 finance.sina.com.cn (in Simplified Chinese). Retrieved August 4, 2022.
  25. ^ Waldron, Patricia (August 4, 2022). "Juris Hartmanis, first CS department chair, dies at 94". Cornell Chronicle. Retrieved August 5, 2022.
  26. ^ "Fellows". American Association for the Advancement of Science. 1981. Retrieved July 30, 2022.
  27. ^ "NAE Website – Dr. Juris Hartmanis". National Academy of Engineering.
  28. ^ "Members". American Academy of Arts and Sciences. 1992. Retrieved July 30, 2022.
  29. ^ "Turing Award". ACM. 1993. Retrieved July 30, 2022.
  30. ^ "Alexander von Humboldt Foundation, Juris Hartmanis". Alexander von Humboldt Foundation. 1993.
  31. ^ "ACM Fellows". ACM. 1994. Retrieved July 30, 2022.
  32. ^ "Juris Hartmanis: ACM Fellow". 1994. Retrieved July 9, 2022.
  33. ^ "Distinguished Service Award". Computing Research Association. CRA. January 16, 2015. Retrieved July 30, 2022.
  34. ^ "ACM Distinguished Service Award". ACM. 2013. Retrieved July 30, 2022.
  35. ^ "Juris Hartmanis: Distinguished Service Award". 2013. Retrieved July 30, 2022.
  36. ^ "Member Emeritus". National Academy of Sciences (NAS). Retrieved July 31, 2022.
  37. ^ —; Richard E., Stearns (1966). Algebraic Structure Theory of Sequential Machines. Englewood Cliffs, N.J.: Prentice-Hall. p. 211. ISBN 0130222771.
  38. ^ — (1978). Feasible Computations and Provable Complexity Properties. Philadelphia, PA: Society for Industrial and Applied Mathematics (SIAM). p. 62. ISBN 978-0-898710-27-4.
  39. ^ —, ed. (1989). Computational Complexity Theory. AMS. p. 128. ISBN 978-0-8218-0131-4.
  40. ^ —; Lin, Herbert, eds. (1992). Computing the Future: A broader agenda for computer science and engineering. Washington, DC: The National Academies Press. p. 288. doi:10.17226/1982. ISBN 978-0-309-04740-1.
  41. ^ Lewis, P.M.; Stearns, R.E.; — (October 6, 1965). Memory bounds for recognition of context-free and context-sensitive languages. FOCS 65: Proc. Sixth Ann. Symp Switching Circuit Theory and Logical Design. Ann Arbor, Michigan: IEEE. pp. 191–202. doi:10.1109/FOCS.1965.14.
  42. ^ Hartmanis, Juris (1989). "Gödel, von Neumann, and the P =? NP problem". Bulletin of the European Association for Theoretical Computer Science. 38: 101–107.
  43. ^ Hartmanis, Juris (March 31, 2010). "A Conversation with Juris Hartmanis" (video). Interviewed by David Gries. Ithaca, New York: Internet-First University Press.
  44. ^ Shustek, Len (2015). "An interview with Juris Hartmanis". CACM. 58 (4): 33–37. doi:10.1145/2736346. S2CID 35051248.

외부 링크