應北京大學信息科學技術學院的邀請，法國著名計算機科學家、2007年度圖靈獎獲得者Joseph Sifakis教授於10月28日下午訪問北大，並蒞臨北京大學“信息技術與信息化”名家講壇，為信息學院師生做了題為“嵌入式係統設計——科學挑戰與未來方向”的精彩報告。

   Joseph Sifakis教授是全球知名的計算機科學家。由於在“將模型檢查發展為被硬件和軟件業中所廣泛采納的高效驗證”技術上的貢獻
，於2007年獲得計算機科學領域最高獎——ACM圖靈獎。作為法國的知名科學家，他是法國國家科研中心（CNRS）的研究總監，法國國家科研中心2001年銀質獎章的獲得者。同時，他也是位於法國Grenoble的頂尖嵌入式係統研究中心Verimag實驗室的創始人。

   Joseph Sifakis教授首先與梅宏院長進行了會談。梅宏院長向Sifakis教授介紹了信息科學技術學院的基本情況以及正在進行的重大研究課題，雙方就相關研究領域的熱點研究課題交換了意見。Sifakis教(jiao)授(shou)建(jian)議(yi)北(bei)京(jing)大(da)學(xue)與(yu)歐(ou)洲(zhou)的(de)科(ke)研(yan)院(yuan)所(suo)在(zai)信(xin)息(xi)技(ji)術(shu)領(ling)域(yu)進(jin)行(xing)更(geng)加(jia)深(shen)入(ru)的(de)合(he)作(zuo)。雙(shuang)方(fang)初(chu)步(bu)商(shang)定(ding)由(you)北(bei)京(jing)大(da)學(xue)高(gao)可(ke)信(xin)軟(ruan)件(jian)技(ji)術(shu)教(jiao)育(yu)部(bu)重(zhong)點(dian)實(shi)驗(yan)室(shi)承(cheng)辦(ban)由(you)歐(ou)洲(zhou)嵌(qian)入(ru)式(shi)係(xi)統(tong)設(she)計(ji)研(yan)究(jiu)聯(lian)盟(meng)ARTIST發起的2010年“嵌入式係統暑期學校”。隨後，Sifakis教授與軟件研究所相關研究領域的師生就一些正在開展的研究問題進行了座談。

   座談會結束後，Sifakis教授為北大師生奉獻了題為《嵌入式係統設計——科學挑戰與未來方向》的精彩演講。報告中闡述了現代信息社會所麵臨的挑戰
，嵌入式係統設計所麵臨的技術瓶頸以及解決方法。演講結束之後，Sifakis教授與在場的師生就嵌入式係統的設計、正確性驗證和未來發展方向等問題進行了熱烈的討論。

   Joseph Sifakis教授在雅典技術大學獲得電機工程學位，在Grenoble大學獲得計算機科學博士學位。作為歐洲“卓越網絡”（Network of Excellence）嵌入式係統設計研究聯盟“ARTIST2 Embedded Systems Design”的技術協調人，他主要對35個歐洲研究小組的研究進行協調
，以便對用於具有高性能和高可靠性的嵌入式係統設計的理論和實際應用成果進行開發。

   Sifakis教授的研究工作具有開創性價值並且引導出了新的軟件規範的創建
、新xin的de檢jian測ce算suan法fa以yi及ji傑jie出chu的de理li論lun結jie果guo。這zhe項xiang技ji術shu今jin天tian被bei應ying用yong於yu集ji成cheng電dian路lu工gong業ye中zhong以yi便bian設she計ji複fu雜za的de係xi統tong並bing能neng夠gou使shi其qi保bao證zheng符fu合he預yu設she的de規gui範fan。模mo型xing檢jian查zha在zai嵌qian入ru式shi處chu理li器qi和he關guan鍵jian係xi統tong方fang麵mian的de產chan業ye影ying響xiang在zai未wei來lai的de幾ji年nian裏li將jiang會hui更geng加jia顯xian著zhu。