大卫·哈雷尔
大卫·哈雷尔（DavidHarel），1950年4月12日出生于英国伦敦，以色列国籍，计算机科学家，欧洲人文和自然科学院院士，以色列人文和自然科学院院士，美国国家工程院外籍院士，美国艺术与科学院外籍院士，美国国家科学院外籍院士，英国皇家学会院士，中国科学院外籍院士，以色列人文和自然科学院院长。大卫·哈雷尔于1974年获得以色列巴伊兰大学学士学位；1976年获得以色列特拉维夫大学硕士学位；1978年获得美国麻省理工学院计算机科学博士学位；2006年当选为欧洲人文和自然科学院院士；2010年当选为以色列人文和自然科学院院士；2014年当选为美国国家工程院外籍院士和美国艺术与科学院外籍院士；2015年任以色列人文和自然科学院副院长；2019年当选为美国国家科学院外籍院士；2020年当选为英国皇家学会院士；2021年当选为中国科学院外籍院士，9月起任以色列人文和自然科学院院长。大卫·哈雷尔主要从事软件系统与软件工程等领域的研究。
基本资料
中文名：大卫·哈雷尔
外文名：DavidHarel
国籍：以色列
出生地：英国伦敦
出生日期：1950年4月12日
毕业院校：麻省理工学院
职业：教育科研工作者
主要成就：2006年当选为欧洲人文和自然科学院院士
2010年当选为以色列人文和自然科学院院士
2014年当选为美国国家工程院外籍院士
2014年当选为美国艺术与科学院外籍院士
2019年当选为美国国家科学院外籍院士
2020年当选为英国皇家学会院士
2021年当选为中国科学院外籍院士
人物经历
1950年4月12日，大卫·哈雷尔（DavidHarel）出生于英国伦敦。
1968年—1971年，加入以色列国防军。
1974年，获得以色列巴伊兰大学学士学位。
1976年，获得以色列特拉维夫大学硕士学位。
1978年，获得美国麻省理工学院计算机科学博士学位。
1978年—1980年，任IBM沃森科学计算实验室访问学者。
1980年起，任职于魏茨曼科学研究所。
1983年，任魏茨曼科学研究所副教授。
1985年，任加利福尼亚州帕洛阿尔托DEC系统研究中心访问学者。
1989年，任魏茨曼科学研究所教授。
1989年—1995年，任魏茨曼科学研究所应用数学和计算机科学系主任。
1996年，任阿尔卡特朗讯贝尔实验室访问学者。
1997年，任美国宇航局戈达德航天中心访问学者。
1998年—2004年，任魏茨曼科学研究所数学和计算机学院院长。
2006年，当选为欧洲人文和自然科学院院士。
2010年，当选为以色列人文和自然科学院院士。
2014年，当选为美国国家工程院外籍院士和美国艺术与科学院外籍院士。
2015年—2021年，任以色列人文和自然科学院副院长。
2019年，当选为美国国家科学院外籍院士。
2020年，当选为英国皇家学会院士。
2021年，当选为中国科学院外籍院士；9月起，任以色列人文和自然科学院院长。
主要成就
大卫·哈雷尔科研成就
科研综述
1984年，大卫·哈雷尔发明的状态图（statecharts）语言，该语言提供了自然且易于掌握的抽象功能，如层次结构、并发性和聚合性，用拓扑图表示，便利了人们对系统动态行为的理解，提高了软件开发人员的生产效率。状态图既支持直接可执行解释，也支持代码自动生成，并可通过算法进行形式化分析。
大卫·哈雷尔创立了I-Logix公司，研发相应的状态图语言支撑工具Statemate和Rhapsody。在这些工具的支撑下，状态图被成功用于开发各行业的大型软件系统，包括航空航天、汽车、电子产品、电信和移动电话、医疗设备等领域。
学术论著
截至2022年8月，大卫·哈雷尔已发表科学论文285篇，各种会议、主题评论文章40余篇，总他引46000余次，H指数77，编著出版专著8部，其主要著作有《算法学：计算的精髓》《计算机公司：他们做不到的》等。
学术交流
发明专利
大卫·哈雷尔人才培养
培养成果
大卫·哈雷尔培养的学生有IBM沃森研究中心研究员YishaiFeldman，魏茨曼科学研究所教授DavidPeleg，美国海军研究院教授DoronDrusinsky，巴-伊兰大学教授RonUnger，以色列理工学院研究员DannyRaz等。
大卫·哈雷尔荣誉表彰
社会任职
人物评价
“大卫·哈雷尔在计算机算法教育、程序逻辑、数据库查询理论、反应式系统以及计算嗅觉等领域都作出了重要贡献。”（中国科学院评）
“大卫·哈雷尔对状态图的发明和程序逻辑的发展做出了贡献（Forinventionofstatechartsandcontributionstothelogicofprogramming）。”（美国国家工程院评）