首页 > 亚洲 > 以色列人物

大卫·哈雷尔


大卫?哈雷尔(DavidHarel),以色列国籍,计算机科学家。1950年4月出生于英国伦敦。1974年获以色列巴伊兰大学大学学士学位,1976年获以色列特拉维夫大学硕士学位,1978年获美国麻省理工学院计算机科学博士学位。2015年起担任以色列人文和自然科学院副院长,2021年9月起担任以色列人文和自然科学院院长。2010年当选为以色列人文和自然科学院院士,2014年当选为美国国家工程院外籍院士,2019年当选为美国国家科学院外籍院士,2020年当选为英国皇家学会会员,2021年当选为中国科学院外籍院士。

哈- 授的主要研究领域是软件系统与软件工程。1984年他发明的状态图(statecharts)语言,对软件系统开发是一个革命性贡献。该语言提供了自然且易于掌握的抽象功能,如层次结构、并发性和聚合性,用拓扑图表示,便利了人们对系统动态行为的理解,极大提高了软件开发人员的生产效率。状态图既支持直接可执行解释,也支持代码自动生成,并可通过算法进行形式化分析。他关于状态图的首篇论文被引用1万多次,产生了巨大学术影响。

哈- 授创立了I-Logix公司,研发相应的状态图语言支撑工具Statemate和Rhapsody。在这些工具的支撑下,状态图被成功用于开发各行业的大型软件系统,包括航空航天(如通用动力、美国国家航空航天局、喷气推进实验室、波音、空客)、汽车(如戴姆勒-克莱斯勒、宝马、大众、捷豹、路虎、日产、雷诺、克莱斯勒、通用汽车)、电子产品(如奥林巴斯、松下、佳能、理光、爱普生)、电梯系统(如OTIS)、电信和移动电话(如爱立信、摩托罗拉、诺基亚)、医疗设备(如GE医疗、飞利浦医疗)等。基于此,他获得了2007年国际计算机协会(ACM)软件系统奖。

此外,哈- 授在计算机算法教育、程序逻辑、数据库查询理论、反应式系统以及计算嗅觉等领域都作出了重要贡献。

同年(公元1950年)出生的名人:
以色列更多人物
同时期更多人物


下一名人:阿夫拉姆·赫什科

返回电脑版