Дэвид Харел

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

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

биография

Харель наиболее известен своими работами в области динамической логики , вычислимости , теории баз данных , разработки программного обеспечения и моделирования биологических систем . В 1980-х годах он изобрел графический язык диаграмм состояний для определения и программирования реактивных систем, который был принят как часть стандарта UML . С конца 1990-х годов он сосредоточился на сценарном подходе к программированию таких систем, начало которому положило его совместное изобретение (с У. Даммом) диаграмм живых последовательностей . Он опубликовал разъяснительные статьи по информатике, такие как отмеченная наградами книга 1987 года «Алгоритмика: дух вычислений» и книга 2000 года «Компьютеры Ltd.: чего они на самом деле не могут сделать», а также представил серию статей по информатике. для израильского радио и телевидения. Он также работал над другими разнообразными темами, такими как компоновка графиков , образование в области информатики , биологическое моделирование, а также анализ и передача запахов .

Харель защитил докторскую диссертацию в Массачусетском технологическом институте в период с 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 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. «Выборы НАН 2019» . Национальная академия наук. 30 апреля 2019 г.
10. "Дэвид Харел". Королевское общество . Проверено 19 сентября 2020 г.
11. "Дэвид Харел: лауреат премии" . Компьютерное общество IEEE . 23 января 2023 г. Проверено 27 февраля 2023 г.

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

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