Дэвид Харел

Израильский учёный-компьютерщик

Дэвид Харель ( иврит : דוד הראל ; родился 12 апреля 1950 года) — компьютерный учёный, в настоящее время занимающий пост президента Израильской академии наук и гуманитарных наук . Он работает на факультете Института науки Вейцмана в Израиле с 1980 года и занимает профессорскую кафедру математики Уильяма Сассмана. Родившись в Лондоне, Англия, он был деканом факультета математики и компьютерных наук в институте в течение семи лет.

Биография

Харель наиболее известен своими работами по динамической логике , вычислимости , теории баз данных , программной инженерии и моделированию биологических систем . В 1980-х годах он изобрел графический язык Statecharts для спецификации и программирования реактивных систем, который был принят как часть стандарта UML . С конца 1990-х годов он сосредоточился на подходе к программированию таких систем на основе сценариев, начатом его соизобретением (совместно с В. Даммом) Live Sequence Charts . Он опубликовал пояснительные отчеты по информатике, такие как его отмеченная наградами книга 1987 года «Algorithmics: The Spirit of Computing» и его книга 2000 года «Computers Ltd.: What They Really Can't do», и представил серию передач по информатике для израильского радио и телевидения. Он также работал над другими разнообразными темами, такими как макет графа , образование в области компьютерных наук , биологическое моделирование и анализ и передача запахов .

Харель получил докторскую степень в Массачусетском технологическом институте в период с 1976 по 1978 год. В 1987 году он стал соучредителем компании-разработчика программного обеспечения I-Logix , которая в 2006 году стала частью IBM. Он выступал за создание полной компьютерной модели нематоды Caenorhabditis elegans , которая была первым многоклеточным организмом, геном которого был полностью секвенирован. Окончательная полнота такой модели зависит от его обновленной версии теста Тьюринга . Он является членом ACM , IEEE , AAAS и EATCS , а также членом нескольких международных академий. Харель принимает активное участие в работе ряда организаций по защите мира и прав человека в Израиле.

Награды и почести

Диаграмма, показывающая, как диаграммы состояний Харела способствовали объектно-ориентированным методам и нотации

• Премия Стивенса 1986 года за методы разработки программного обеспечения
• Премия ACM Karlstrom 1992 года за выдающийся педагог ^[1]
• Член ACM 1994 г. ^[1]
• Член IEEE 1995 г.
• Премия Израиля 2004 года в области компьютерных наук ^{[2] [3]}
• 2005 Почетный доктор, Университет Ренна, Франция.
• Премия ACM SIGSOFT за выдающиеся научные исследования 2006 г.
• 2006 Член Европейской академии ^[4]
• 2006 г. Доктор (Лаура) Honoris Causa, Миланский университет Бикокка , 18 мая 2006 г. ^[5]
• 2006 г. Почетный член Открытого университета Израиля.
• Премия ACM Software System Award 2007 ^[1]
• Премия Эмета 2010 г.
• 2010 Член Израильской академии наук и гуманитарных наук ^[6]
• 2012 Почетный доктор, Эйндховенский технический университет, Нидерланды
• 2014 г. Международный член Национальной инженерной академии США ^[7]
• 2014 Международный почетный член Американской академии искусств и наук ^[8]
• 2019 Международный член Национальной академии наук США . ^[9]
• 2020 Член Королевского общества ^[10] (FRS)
• 2021 Иностранный член Китайской академии наук
• Премия Харлана Д. Миллса 2023 года ^[11]

Смотрите также

• Список лауреатов Премии Израиля
• Члены Израильской академии наук и гуманитарных наук

Ссылки

1. Дэвид Харел – Лауреат премии ACM. Получено 2 января 2015 г.
2. "Официальный сайт Премии Израиля (на иврите) – Резюме лауреата"
3. «Официальный сайт Премии Израиля (на иврите) – Обоснование жюри для присуждения гранта получателю».
4. Профиль участника, Academia Europaea. Получено 2 января 2015 г.
5. "Lauree Honoris Causa" (на итальянском языке). 13 декабря 2016 года . Проверено 2 апреля 2018 г.
6. Профиль участника Архивировано 16 декабря 2015 г. в Wayback Machine , Израильская академия наук и гуманитарных наук.
7. Профиль члена Национальной инженерной академии. Получено 2 января 2015 г.
8. Недавно избранные члены, Американская академия искусств и наук, апрель 2014 г. Получено 2 января 2015 г.
9. "Выборы в NAS 2019". Национальная академия наук. 30 апреля 2019 г.
10. "David Harel". Королевское общество . Получено 19 сентября 2020 г.
11. "David Harel: Award Recipient". IEEE Computer Society . 23 января 2023 г. Получено 27 февраля 2023 г.

Внешние ссылки

• Домашняя страница Дэвида Харела в Институте науки Вейцмана.
• Дэвид Харель Архивировано 16 декабря 2015 г. на странице Wayback Machine в Израильской академии наук и гуманитарных наук.