国产成人在线视频播放_外籍院士名單與簡(jiǎn)介----中國科學(xué)院學(xué)部與院士

院士信息

大衛·哈雷爾（David Harel）

　　大衛?哈雷爾（David Harel），以色列國籍，計算機科學(xué)家。1950年4月出生于英國倫敦。1974年獲以色列巴伊蘭大學(xué)大學(xué)學(xué)士學(xué)位，1976年獲以色列特拉維夫大學(xué)碩士學(xué)位，1978年獲美國麻省理工學(xué)院計算機科學(xué)博士學(xué)位。2015年起擔任以色列人文和自然科學(xué)院副院長(cháng)，2021年9月起擔任以色列人文和自然科學(xué)院院長(cháng)。2010年當選為以色列人文和自然科學(xué)院院士，2014年當選為美國國家工程院外籍院士，2019年當選為美國國家科學(xué)院外籍院士，2020年當選為英國皇家學(xué)會(huì )會(huì )員，2021年當選為中國科學(xué)院外籍院士。

　　哈雷爾教授的主要研究領(lǐng)域是軟件系統與軟件工程。1984年他發(fā)明的狀態(tài)圖（statecharts）語(yǔ)言，對軟件系統開(kāi)發(fā)是一個(gè)革命性貢獻。該語(yǔ)言提供了自然且易于掌握的抽象功能，如層次結構、并發(fā)性和聚合性，用拓撲圖表示，便利了人們對系統動(dòng)態(tài)行為的理解，極大提高了軟件開(kāi)發(fā)人員的生產(chǎn)效率。狀態(tài)圖既支持直接可執行解釋?zhuān)仓С执a自動(dòng)生成，并可通過(guò)算法進(jìn)行形式化分析。他關(guān)于狀態(tài)圖的首篇論文被引用1萬(wàn)多次，產(chǎn)生了巨大學(xué)術(shù)影響。

　　哈雷爾教授創(chuàng )立了I-Logix公司，研發(fā)相應的狀態(tài)圖語(yǔ)言支撐工具Statemate和Rhapsody。在這些工具的支撐下，狀態(tài)圖被成功用于開(kāi)發(fā)各行業(yè)的大型軟件系統，包括航空航天（如通用動(dòng)力、美國國家航空航天局、噴氣推進(jìn)實(shí)驗室、波音、空客）、汽車(chē)（如戴姆勒-克萊斯勒、寶馬、大眾、捷豹、路虎、日產(chǎn)、雷諾、克萊斯勒、通用汽車(chē)）、電子產(chǎn)品（如奧林巴斯、松下、佳能、理光、愛(ài)普生）、電梯系統（如OTIS）、電信和移動(dòng)電話(huà)（如愛(ài)立信、摩托羅拉、諾基亞）、醫療設備（如GE醫療、飛利浦醫療）等。基于此，他獲得了2007年國際計算機協(xié)會(huì )（ACM）軟件系統獎。

　　此外，哈雷爾教授在計算機算法教育、程序邏輯、數據庫查詢(xún)理論、反應式系統以及計算嗅覺(jué)等領(lǐng)域都作出了重要貢獻。

<上一位下一位>