Juris Hartmanis

Article

August 9, 2022

Juris Hartmanis (5 tháng 7 năm 1928 - 29 tháng 7 năm 2022) là một nhà khoa học máy tính và nhà lý thuyết tính toán người Mỹ gốc Latvia, cùng với Richard E. Stearns, đã nhận được Giải thưởng ACM Turing năm 1993 "để công nhận bài báo của họ đã thiết lập nền tảng cho lĩnh vực lý thuyết độ phức tạp tính toán ”.

Cuộc đời và sự nghiệp

Hartmanis sinh ra tại Latvia vào ngày 5 tháng 7 năm 1928. Ông là con trai của Mārtiņš Hartmanis, một vị tướng trong Quân đội Latvia, và là anh trai của nhà thơ Astrid Ivask. Sau khi Liên Xô chiếm Latvia năm 1940, Mārtiņš Hartmanis bị Liên Xô bắt và chết trong nhà tù. Sau đó trong Thế chiến thứ hai, vợ và con của Mārtiņš Hartmanis rời Latvia đi tị nạn vào năm 1944, lo sợ cho sự an toàn của họ nếu Liên Xô tiếp quản Latvia lần nữa. vật lý từ Đại học Marburg. Sau đó ông chuyển đến Hoa Kỳ, nơi ông nhận bằng thạc sĩ toán ứng dụng vào năm 1951 tại Đại học Kansas City (nay là Đại học Missouri – Kansas City) và năm 1955 nhận bằng Tiến sĩ. trong toán học từ Caltech dưới sự giám sát của Robert P. Dilworth. Đại học Missouri – Kansas City đã vinh danh ông bằng Tiến sĩ Danh dự về Chữ nhân đạo vào tháng 5 năm 1999. Sau khi giảng dạy toán học tại Đại học Cornell và Đại học Bang Ohio, Hartmanis gia nhập Phòng thí nghiệm Nghiên cứu Điện chung vào năm 1958. Trong thời gian tại General Electric, ông đã phát triển nhiều nguyên tắc của lý thuyết độ phức tạp tính toán. Năm 1965, ông trở thành giáo sư tại Đại học Cornell. Ông là một trong những người sáng lập và là chủ tịch đầu tiên của khoa khoa học máy tính (một trong những khoa khoa học máy tính đầu tiên trên thế giới) .Hartmanis đã đóng góp vào những nỗ lực quốc gia nhằm phát triển khoa học máy tính và kỹ thuật (CS&E) theo nhiều cách. Đáng chú ý nhất, ông chủ trì nghiên cứu của Hội đồng Nghiên cứu Quốc gia dẫn đến xuất bản năm 1992 Computing the Future - A Broad Agenda for Computer Science and Engineering, đưa ra các khuyến nghị dựa trên các ưu tiên của mình để duy trì nỗ lực cốt lõi trong CS&E, nhằm mở rộng lĩnh vực này, và để cải thiện giáo dục đại học về CS&E. Ông là trợ lý giám đốc Ban Khoa học và Kỹ thuật Máy tính và Thông tin (CISE) của Quỹ Khoa học Quốc gia (NSF) từ năm 1996 đến 1998. Năm 1989, Hartmanis được bầu làm thành viên của Học viện Kỹ thuật Quốc gia vì những đóng góp cơ bản cho lý thuyết độ phức tạp tính toán cũng như nghiên cứu và giáo dục về máy tính. Ông là thành viên của Hiệp hội Máy tính và của Hiệp hội Toán học Hoa Kỳ, cũng là thành viên của Viện Hàn lâm Khoa học Quốc gia. Ông cũng là một thành viên nước ngoài của Viện Hàn lâm Khoa học Latvia, nơi đã trao cho ông Huân chương lớn của họ vào năm 2001 vì những đóng góp của ông cho khoa học máy tính. Stearns, Hartmanis đã nhận được Giải thưởng Turing năm 1993 cho một bài báo trong đó họ giới thiệu các lớp phức tạp thời gian TIME (f (n)) và chứng minh định lý phân cấp thời gian. Một bài báo khác của Hartmanis từ năm 1977, với Leonard Berman, đưa ra phỏng đoán Berman – Hartmanis vẫn chưa được giải đáp rằng tất cả các ngôn ngữ hoàn chỉnh NP đều là đồng phân thời gian đa thức.

Giải thưởng

Fellow, Hiệp hội vì sự tiến bộ của khoa học Hoa Kỳ (AAAS), 1981 Thành viên, Học viện Kỹ thuật Quốc gia, 1989 Thành viên (nước ngoài): Viện Hàn lâm Khoa học Latvia, 1990 Thành viên, Viện Hàn lâm Khoa học và Nghệ thuật Hoa Kỳ, 1992 ACM Turing Award 1993 Giải thưởng Nghiên cứu của Quỹ Humboldt, 1993 Thành viên Điều lệ, ACM, 1994 Tiến sĩ danh dự về chữ nhân đạo, 1999 Giải thưởng Dịch vụ Xuất sắc của Hiệp hội Nghiên cứu Máy tính (CRA), 2000 Huân chương lớn của Viện Hàn lâm Khoa học Latvia, 2001 Giải thưởng Dịch vụ Xuất sắc ACM, 2013 Thành viên nhậm chức, Hiệp hội Toán học Hoa Kỳ, 2013 Thành viên, Viện Hàn lâm Khoa học Quốc gia, 2013

Các ấn phẩm được chọn

Sách Các bài báo đã chọn

Các cuộc phỏng vấn

Juris Hartmanis đã bốn lần được phỏng vấn. Video là một