大卫·哈雷尔简介
基本资料
中文名：大卫·哈雷尔
外文名：David Harel
国籍：以色列
出生地：英国伦敦
出生日期：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年，当选为以色列人文和自然科学院
主要成就
大卫·哈雷尔科研成就
科研综述
1984年，大卫·哈雷尔发明的状态图（statecharts）语言，该语言提供了自然且易于掌握的抽象功能，如层次结构、并发性和聚合性，用拓扑图表示，便利了人们对系统动态行为的理解，提高了软件开发人员的生产效率。状态图既支持直接可执行解释，也支持代码自动生成，并可通过算法进行形式化分析。
大卫·哈雷尔创立了I-Logix公司，研发相应的状态图语言支撑工具Statemate和Rhapsody。在这些工具的支撑下，状态图被成功用于开发各行业的大型软件系统，包括航空航天、汽车、电子产品、电信和移动电话、医疗设备等领域。
学术论著
截至2022年8月，大卫·哈雷尔已发表科学论文285篇，各种会议、主题评论文章40余篇，总他引46000余次，H指数77，编著出版专著8部，其主要著作有《算法学：计算的精髓》《计算机公司：他们做不到的》等。
学术交流
时间 | 学术活动名称 | 举办地 |
|---|---|---|
1989年 | 国际软 |
社会任职
时间 | 担任职务 |
|---|---|
1980年—1987年 | 巴伊兰大学兼职教职 |
1982年—1984年 | 以色列航空工业公司研发部顾问 |
1984年—1996年 | 《信息与计算（Information and Computation）》编委 |
1986年—1987年 | 卡内基梅隆大学客座教授 |
1989年—1994年 | 以色列开放大学学术委员会委员 |
1990年—1999年 | 以色列开放大学兼职教授 |
1994年—1995年 | 康奈尔大学客座教授 |
1999年—2007年 | 《嵌入系统设计自动化（Design Automation for Embedded Systems）》编委 |
2001年 | 格勒诺布尔大学VERIMAG客座教授 |
2001年 | 英国计算机科学国际审查委员会委员 |
2001年—2018年 | 以色列开放大学学术委员会委员 |
2002年—2007年 | 《软件与系统模块（Software and Systems Modeling）》编委 |
2003年 | 英国伯明翰大学客座教授 |
2003年 | 荷兰计算机 |
人物评价
“大卫·哈雷尔在计算机算法教育、程序逻辑、数据库查询理论、反应式系统以及计算嗅觉等领域都作出了重要贡献。”（中国科学院评）
“大卫·哈雷尔对状态图的发明和程序逻辑的发展做出了贡献（Forinventionofstatechartsandcontributionstothelogicofprogramming）。”（美国国家工程院评）