圖靈獎獲得者Leslie Lamport博士訪問計算機科學國家重點實驗室
文章來源： | 發布時間：2015-11-03 | 【打印】 【關閉】
2015年10月26日下午，2013年ACM圖靈獎獲得者、微軟研究院首席研究員Leslie Lamport博士到軟件所訪問，與計算機科學國家重點實驗室的科研人員進行學術座談。座談會由林惠民院士主持。
Lamport博士詳細回答了實驗室科研人員關于并發程序演進條件等問題的提問，聽取了實驗室科研人員在概率模型檢測、混成系統驗證與合成、自動推理、可線性化檢測等方面的工作介紹。
Lamport博士對實驗室在并發數據結構可線性化檢測方面的最新研究成果表現出濃厚的興趣，雙方就相關技術細節，特別是其中基于分支互模擬關系的檢測方法，進行了深入、細致地討論。
座談會現場
交流討論
