尤里斯·哈特馬尼斯 - 簡介
尤里斯·哈特馬尼斯Hartmanis生于1928年7月7日于前蘇聯(lián)拉脫維亞(Latvia)共和國。二戰(zhàn)后，Hartmanis移民到德國，并在University of Marburg獲得其物理學(xué)士學(xué)位。然后Hartmanis移民美國，并從University of Kansas City(目前的University of Missouri-Kansas City)獲得其應(yīng)用數(shù)學(xué)的碩士學(xué)位。然后，1955年， Hartmanis從加州理工獲得其數(shù)學(xué)博士學(xué)位。在通用電器(General Electric)研究實(shí)驗(yàn)室工作一段時(shí)間之后，1965年，Hartmanis稱為康乃爾大學(xué)(Cornell)的教授，并工作到2001年5月退休。在Cornell其間，Hartmanis參與了組建其計(jì)算機(jī)科學(xué)系，從出任其第一任系主任。
尤里斯·哈特馬尼斯 - 經(jīng)歷
哈特馬尼斯是拉脫維亞人，生于1928年。二戰(zhàn)期間，為躲避戰(zhàn)火，哈特馬尼斯一家人背井離鄉(xiāng)，淪為“流民”(displaced person)。哈特馬尼斯的中學(xué)學(xué)業(yè)就是在德國哈瑙(Hanau)的難民營中完成的。之后他進(jìn)入德國馬爾布克大學(xué)學(xué)習(xí)物理(Marburg是一座大學(xué)城，離法蘭克福不遠(yuǎn))。兩年半之后的1950年，哈特馬尼斯獲得資助，來到美國，進(jìn)入堪薩斯城大學(xué)攻讀碩士學(xué)位。但由于該校沒有物理學(xué)的研究生課程，哈特馬尼斯只得改學(xué)數(shù)學(xué)。他用了一年時(shí)間取得碩士學(xué)位，并被加利福尼亞理工學(xué)院接收為博士研究生，從事格論(latticetheory)的研究。4年后，哈特馬尼斯完成博士論文，1955年取得博士學(xué)位，進(jìn)入康乃爾大學(xué)數(shù)學(xué)系任教。但他在那里只工作了一年多，就轉(zhuǎn)入通用電氣公司設(shè)在紐約州斯克內(nèi)克塔迪(Schenectady)的研究實(shí)驗(yàn)室，因?yàn)槟抢镄陆⒘艘粋�(gè)“信息研究部”，主任是理查德·舒伊(Richard Shuey)博士，開展有關(guān)計(jì)算機(jī)和信息學(xué)的研究，這一新的領(lǐng)域激發(fā)起了哈特馬尼斯極大的興趣和熱情。
Juris和Audrey 當(dāng)時(shí)，香農(nóng)(Claude Elwood Shanon)的信息論問世不久，香農(nóng)給出了一個(gè)公式，可以計(jì)算在一定的信號(hào)和噪聲平均功率之下，給定帶寬的信道在單位時(shí)間內(nèi)的最大信息傳輸量(這個(gè)公式被叫做“香農(nóng)公式”)。念過物理的哈特馬尼斯受此啟發(fā)，敏銳地想到，抽象的計(jì)算過程也應(yīng)該有精確的定量法則，以確定為了對(duì)每一個(gè)問題求得解答，需要多少計(jì)算工作量。圍繞這一設(shè)想哈特馬尼斯和曾是普林斯頓大學(xué)的研究生，暑假到公司打過工，后來成為他的同事的斯特恩斯合作，開展了深入的研究，其結(jié)果就是那篇著名的論文“論算法的計(jì)算復(fù)雜性”(On the computational complexity Of algorithms，Trans．Amer．Math．Soc．，177(1965)，285-306頁)。這篇論文開辟了計(jì)算機(jī)科學(xué)的一個(gè)新的研究領(lǐng)域，即“計(jì)算復(fù)雜性”，并奠定了它的理論基礎(chǔ)。
尤里斯·哈特馬尼斯 - 籌建計(jì)算機(jī)科學(xué)系
Juris Hartmanis 哈特馬尼斯于1965年離開通用電氣公司，重返康乃爾大學(xué)，但不是回到數(shù)學(xué)系，而是負(fù)責(zé)籌建計(jì)算機(jī)科學(xué)系。由于他的眼光和魄力，也由于他的民主作風(fēng)，康乃爾大學(xué)的計(jì)算機(jī)科學(xué)系吸引了一批著名學(xué)者加盟，成為美國大學(xué)中水平最高、影響最大的計(jì)算機(jī)科學(xué)系之一。這些學(xué)者中包括霍普克洛夫特(J．E．Hopcroft，1986年圖靈獎(jiǎng)得主)、格利斯(D．Giles，1995年ACM優(yōu)秀計(jì)算機(jī)教育獎(jiǎng)獲得者)、霍洛維茨(E．Horowitz)、韋格納(P．Wegner)和肖(A．Shaw)等。
20世紀(jì)90年代，哈特馬尼斯曾經(jīng)完成一項(xiàng)重要的工作。1990年4月，美國科學(xué)研究委員會(huì)(National Research Council)的計(jì)算機(jī)科學(xué)與技術(shù)部(現(xiàn)已改為計(jì)算機(jī)科學(xué)與通信部，縮寫CSTB)建立了一個(gè)由16名專家組成的委員會(huì)，負(fù)責(zé)對(duì)計(jì)算機(jī)科學(xué)與技術(shù)在未來的21世紀(jì)中的發(fā)展方向和研究領(lǐng)域進(jìn)行評(píng)估(Committee to Assess the Scope and Direction of Computer Science and Technology)。哈特馬尼斯受命擔(dān)任該委員會(huì)主席。委員中包括另外兩名圖靈獎(jiǎng)獲得者雷迪(R．Red—dy)和格雷(J．Gray)。哈特馬尼斯組織委員會(huì)委員和來自全美的120余名學(xué)者共同努力，于1992年編寫出版了《未來的計(jì)算——計(jì)算機(jī)科學(xué)與技術(shù)的廣泛議題》(Computing the Future--- A Broader Agendafor Computer Science and Engineering)一書。本書對(duì)21世紀(jì)計(jì)算機(jī)科學(xué)與工程的研究、教育等重大課題進(jìn)行了分析，對(duì)政府、產(chǎn)、學(xué)、研各部門如何適應(yīng)新形勢(shì)提出了一系列重要意見和看法，很值得我國科研管理部門和信息產(chǎn)業(yè)高層決策者重視。這本書和我們前面曾經(jīng)提到的由米爾納(R．Milner，1991年圖靈獎(jiǎng)獲得者)等主編的《明天的計(jì)算：計(jì)算機(jī)科學(xué)未來的研究方向》(Computing Tomorrow：Future ResearchDirections in Computer Science，Combridge Uni．pr，1996)可以看作是姊妹篇。
尤里斯·哈特馬尼斯 - 著作
Juris Hartmanis 哈特馬尼斯論著極多，除大量發(fā)表于雜志和會(huì)議的論文外，出版的主要著作有：
《時(shí)序機(jī)的代數(shù)結(jié)構(gòu)理論》(Algebraic Structure Theory of Sequential Machines，Prentice-Hall，1966)
《可行計(jì)算和可證明的復(fù)雜性性質(zhì)》(Feasible Computations andProvable Complexity Properties，SIAM，1978)
《計(jì)算復(fù)雜性理論》(Computational Complexity Theory，AMS，1989)
哈特馬尼斯還是著名的Spfinger出版社的《計(jì)算機(jī)科學(xué)講課筆記》(Lecture Notes in Computer Science)系列叢書的主編，這套叢書從20世紀(jì)70年代問世以來，至今已推出2 000多種專著，許多重要的計(jì)算機(jī)科學(xué)理論問題和新概念、新技術(shù)、新方法都是由這套叢書首先提出并展開與深入的，對(duì)推動(dòng)計(jì)算機(jī)科學(xué)技術(shù)的發(fā)展起了重要作用。
尤里斯·哈特馬尼斯 - 家庭
哈特馬尼斯于30歲結(jié)婚，妻子也是拉脫維亞人，但出生在德國。他們有3個(gè)子女。1988年哈特馬尼斯60壽辰時(shí)，由塞爾曼(A．L．Selman)編輯出版了一本紀(jì)念文集《復(fù)雜性理論回顧》(Complexity The-ory Retrospective，Springer，1988)，其中包括若干對(duì)哈特馬尼斯的生平和成就的介紹文章。
尤里斯·哈特馬尼斯 - 授聘
“愛因斯坦講席教授”學(xué)術(shù)報(bào)告會(huì)在中科院研究生院中關(guān)村和玉泉路園區(qū)舉行。美國康奈爾大學(xué)教授、1993年“圖靈獎(jiǎng)”獲得者尤里斯·哈特馬尼斯，以“計(jì)算機(jī)科學(xué)的本質(zhì)——影響和未來”為題做報(bào)告。中科院國際合作局副局長曹京華主持報(bào)告會(huì)并為哈特馬尼斯教授頒發(fā)中科院“愛因斯坦講席教授”聘書。
詼諧的開場(chǎng)，激情的演講，這位來自美國康奈爾大學(xué)的學(xué)者，給中國科學(xué)院的科研人員和學(xué)生帶來了一場(chǎng)生動(dòng)而又富有啟發(fā)的學(xué)術(shù)報(bào)告。報(bào)告生動(dòng)的詮釋了計(jì)算機(jī)的本質(zhì)，精辟的闡述了計(jì)算機(jī)未來的發(fā)展。演講結(jié)束，科學(xué)院的科研人員和學(xué)生紛紛向這位圖靈獎(jiǎng)大師詢問各種問題，并把報(bào)告會(huì)的氣氛推向了高潮。
