應(yīng)北京大學(xué)信息科學(xué)技術(shù)學(xué)院的邀請，法國著名計(jì)算機(jī)科學(xué)家、2007年度圖靈獎獲得者Joseph Sifakis教授于10月28日下午訪問北大，并蒞臨北京大學(xué)“信息技術(shù)與信息化”名家講壇，為信息學(xué)院師生做了題為“嵌入式系統(tǒng)設(shè)計(jì)——科學(xué)挑戰(zhàn)與未來方向”的精彩報(bào)告。 Joseph Sifakis教授是全球知名的計(jì)算機(jī)科學(xué)家。由于在“將模型檢查發(fā)展為被硬件和軟件業(yè)中所廣泛采納的高效驗(yàn)證”技術(shù)上的貢獻(xiàn)，于2007年獲得計(jì)算機(jī)科學(xué)領(lǐng)域最高獎——ACM圖靈獎。作為法國的知名科學(xué)家，他是法國國家科研中心（CNRS）的研究總監(jiān)，法國國家科研中心2001年銀質(zhì)獎?wù)碌墨@得者。同時，他也是位于法國Grenoble的頂尖嵌入式系統(tǒng)研究中心Verimag實(shí)驗(yàn)室的創(chuàng)始人。 Joseph Sifakis教授首先與梅宏院長進(jìn)行了會談。梅宏院長向Sifakis教授介紹了信息科學(xué)技術(shù)學(xué)院的基本情況以及正在進(jìn)行的重大研究課題，雙方就相關(guān)研究領(lǐng)域的熱點(diǎn)研究課題交換了意見。Sifakis教授建議北京大學(xué)與歐洲的科研院所在信息技術(shù)領(lǐng)域進(jìn)行更加深入的合作。雙方初步商定由北京大學(xué)高可信軟件技術(shù)教育部重點(diǎn)實(shí)驗(yàn)室承辦由歐洲嵌入式系統(tǒng)設(shè)計(jì)研究聯(lián)盟ARTIST發(fā)起的2010年“嵌入式系統(tǒng)暑期學(xué)校”。隨后，Sifakis教授與軟件研究所相關(guān)研究領(lǐng)域的師生就一些正在開展的研究問題進(jìn)行了座談。 座談會結(jié)束后，Sifakis教授為北大師生奉獻(xiàn)了題為《嵌入式系統(tǒng)設(shè)計(jì)——科學(xué)挑戰(zhàn)與未來方向》的精彩演講。報(bào)告中闡述了現(xiàn)代信息社會所面臨的挑戰(zhàn)，嵌入式系統(tǒng)設(shè)計(jì)所面臨的技術(shù)瓶頸以及解決方法。演講結(jié)束之后，Sifakis教授與在場的師生就嵌入式系統(tǒng)的設(shè)計(jì)、正確性驗(yàn)證和未來發(fā)展方向等問題進(jìn)行了熱烈的討論。 Joseph Sifakis教授在雅典技術(shù)大學(xué)獲得電機(jī)工程學(xué)位，在Grenoble大學(xué)獲得計(jì)算機(jī)科學(xué)博士學(xué)位。作為歐洲“卓越網(wǎng)絡(luò)”（Network of Excellence）嵌入式系統(tǒng)設(shè)計(jì)研究聯(lián)盟“ARTIST2 Embedded Systems Design”的技術(shù)協(xié)調(diào)人，他主要對35個歐洲研究小組的研究進(jìn)行協(xié)調(diào)，以便對用于具有高性能和高可靠性的嵌入式系統(tǒng)設(shè)計(jì)的理論和實(shí)際應(yīng)用成果進(jìn)行開發(fā)。 Sifakis教授的研究工作具有開創(chuàng)性價值并且引導(dǎo)出了新的軟件規(guī)范的創(chuàng)建、新的檢測算法以及杰出的理論結(jié)果。這項(xiàng)技術(shù)今天被應(yīng)用于集成電路工業(yè)中以便設(shè)計(jì)復(fù)雜的系統(tǒng)并能夠使其保證符合預(yù)設(shè)的規(guī)范。模型檢查在嵌入式處理器和關(guān)鍵系統(tǒng)方面的產(chǎn)業(yè)影響在未來的幾年里將會更加顯著。