Дэвид Харел - David Harel
Дэвид Харел | |
|---|---|
 Дэвид Харел (справа) с Карл Хьюитт на FLoC 2006 | |
| Родился | 12 апреля 1950 г. Лондон, Англия, Великобритания |
| Национальность | Израильский и британский |
| Награды | |
| Научная карьера | |
| Поля | Информатика |
| Учреждения | Институт Вейцмана |
Дэвид Харел (иврит: דוד הראל; родился 12 апреля 1950 г.) - специалист по информатике в Институт науки Вейцмана в Израиль, и держит профессорскую кафедру математики Уильяма Сассмана. Он родился в Лондоне, Англия, в течение семи лет был деканом факультета математики и информатики этого института. В настоящее время он также является вице-президентом Израильская академия наук и гуманитарных наук.
биография
Харел известен своими работами над динамическая логика, вычислимость, теория баз данных, программная инженерия и моделирование биологических систем. В 1980-х он изобрел графический язык Диаграммы состояний для определения и программирования реактивных систем, который был принят как часть UML стандарт. С конца 1990-х он сконцентрировался на сценарном подходе к программированию таких систем, который был начат его совместным изобретением (с У. Даммом): Графики последовательностей в реальном времени. Он опубликовал разъяснительные отчеты по информатике, такие как его удостоенная наград книга 1987 года «Алгоритмика: дух вычислений» и его книга 2000 года «Computers Ltd .: What They В самом деле Не могу ", и представил серию программ по информатике для израильского радио и телевидения. Он также работал над другими различными темами, такими как макет графика, образование в области информатики и анализ и коммуникация запахи.
Харел получил докторскую степень в Массачусетский технологический институт с 1976 по 1978 год. В 1987 году он стал соучредителем компании по разработке программного обеспечения. I-Logix, которая в 2006 году вошла в состав IBM.
Он выступал за создание полной компьютерной модели Caenorhabditis elegans нематода, которая была первым многоклеточным организмом, геном которого был полностью секвенирован. Возможная завершенность такой модели зависит от его обновленной версии Тест Тьюринга.
Он член ACM, то IEEE, то AAAS, и EATCS.
Харел активен в нескольких организациях мира и прав человека в Израиле.
Награды и награды
- 1986 Премия Стивенса для методов разработки программного обеспечения
- 1992 Награда выдающегося педагога ACM Karlstrom[1]
- 1994 Член ACM[1]
- 1995 сотрудник IEEE
- 2004 Премия Израиля, для информатики[2][3]
- 2005 Почетный доктор, Реннский университет, Франция
- 2006 Награда ACM SIGSOFT за выдающиеся исследования
- 2006 Член Academia Europaea[4]
- 2006 Доктор (Лаура) Honoris Causa, Миланский университет Бикокка, 18 мая 2006 г.[5]
- 2006 г., почетный научный сотрудник, Открытый университет Израиля
- 2007 Награда ACM Software System[1]
- 2010 Приз Эмета
- 2010 Член Израильская академия наук и гуманитарных наук[6]
- 2012 г., почетный доктор, Технологический университет Эйндховена, Нидерланды
- 2014 Зарубежный партнер США Национальная инженерная академия[7]
- 2014 Почетный иностранный член Американская академия искусств и наук[8]
- 2019 Зарубежный партнер США Национальная Академия Наук.[9]
- 2020 Избран Член Королевского общества [10]
Смотрите также
использованная литература
- ^ а б c Дэвид Харел - обладатель награды, ACM. Дата обращения 2 января 2015.
- ^ "Официальный сайт Премии Израиля (на иврите) - C.V. получателя"
- ^ "Официальный сайт Израильской премии (на иврите) - Обоснование судейства гранта получателю".
- ^ Профиль участника, Academia Europaea. Дата обращения 2 января 2015.
- ^ "Lauree honoris causa" (на итальянском). 13 декабря 2016 г.. Получено 2 апреля 2018.
- ^ Профиль участника, Израильская академия наук и гуманитарных наук.
- ^ Профиль участника, Национальная инженерная академия. Дата обращения 2 января 2015.
- ^ Вновь избранные члены, Американская академия искусств и наук, апрель 2014 г. Проверено 2 января 2015 г.
- ^ «Выборы в НАН Украины-2019». Национальная академия наук. 30 апреля 2019.
- ^ "Дэвид Харел". Королевское общество. Получено 19 сентября 2020.
внешние ссылки
- Дэвид Харел домашняя страница в Институте науки Вейцмана.
- Дэвид Харел страница в Израильской академии наук и гуманитарных наук.
