清華計算機系舉辦本學(xué)期首場學(xué)科發(fā)展研討會

清華新聞網(wǎng)8月29日電 8月24日，作為本學(xué)期系列學(xué)科研討會的第一次活動，清華計算機系在信息科學(xué)技術(shù)大樓圍繞“量子計算和量子軟件”這一前沿學(xué)科方向舉辦研討會。計算機系系主任吳建平院士、張鈸院士、計算機系學(xué)術(shù)委員會成員及師生近120參加了研討會。 

研討會現(xiàn)場。

計算機系主任吳建平談到，國家科研體制正在經(jīng)歷重大革新，計算機系需要積極研究制定規(guī)劃，順勢而行。當(dāng)前是全系發(fā)展的關(guān)鍵時刻，深入討論并不斷完善“十三五”規(guī)劃對全系發(fā)展具有重要意義。以“量子計算和量子軟件”為主題開展的首次學(xué)科研討，對于進一步完善全系“十三五”發(fā)展規(guī)劃，落實全系綜合改革具有重要作用。

 
系主任吳建平院士致辭。

會上，計算機系教授應(yīng)明生做了題為《量子程序研究的最近進展》的學(xué)術(shù)報告，介紹了當(dāng)前國際量子程序研究的現(xiàn)狀，匯報了其研究團隊在量子計算方面從事的研究工作和取得的進展，并和與會師生圍繞量子計算與大數(shù)據(jù)的關(guān)系、量子計算的發(fā)展方向、量子計算科研意義等問題進行了深入而廣泛的探討。

應(yīng)明生所帶領(lǐng)的團隊對量子程序設(shè)計理論和方法這個新興學(xué)科方向的創(chuàng)立做出了重要貢獻。經(jīng)過16年（2000年至今）的努力，提出了自己的理論體系，解決了幾個根本性的問題，包括發(fā)現(xiàn)了量子程序設(shè)計的新Paradigm，建立了量子程序驗證的邏輯基礎(chǔ)，發(fā)展了分布式量子程序設(shè)計的模型。團隊將進一步發(fā)展并實現(xiàn)量子軟件開發(fā)的工具和模擬環(huán)境。

應(yīng)明生教授做報告。

張鈸院士在討論中語重心長地提醒到，量子計算研究正面臨大好機會，信息科研工作者要深入研討清華大學(xué)和計算機系的研究重點，認真思考研究意義，明確要做什么和怎么去做等問題。

 
張鈸院士發(fā)言。

據(jù)悉，本次活動后，計算機系還將針對當(dāng)前其它重要學(xué)科方向陸續(xù)召開專題學(xué)術(shù)研討。

供稿：計算機系 編輯：李華山