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