清華計(jì)算機(jī)系舉辦本學(xué)期首場(chǎng)學(xué)科發(fā)展研討會(huì)

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

研討會(huì)現(xiàn)場(chǎng)。

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

 
系主任吳建平院士致辭。

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

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

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

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

 
張鈸院士發(fā)言。

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

供稿：計(jì)算機(jī)系 編輯：李華山