Дэвид Харел
Дэвид Харел | |
|---|---|
 Дэвид Харел (справа) с Карлом Хьюиттом на FLoC 2006 | |
| Рожденный | 12 апреля 1950 г. Лондон, Англия, Великобритания |
| Национальность | Израильский и Британский |
| Награды | |
| Научная карьера | |
| Поля | Информатика |
| Учреждения | Институт Вейцмана |
| Диссертация | Логика программ: аксиоматика и описательная сила (1978) |
| Докторантура | Воган Пратт |
| Докторанты | Дэвид Пелег |
Дэвид Харель ( иврит : דוד הראל ; родился 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]
- 1994 года Сотрудник ACM [1]
- Сотрудник IEEE 1995 г.
- 2004 г. Премия Израиля в области информатики. [2] [3]
- 2005 Почетный доктор, Университет Ренна, Франция.
- Премия ACM SIGSOFT 2006 г. за выдающиеся исследования
- 2006 Член Европейской академии . [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] (ФРС)
- 2021 г. Иностранный член Китайской академии наук.
- 2023 г. Премия Харлана Д. Миллса [11]
См. также [ править ]
Ссылки [ править ]
- ^ Jump up to: а б с Дэвид Харел – лауреат премии ACM. Проверено 2 января 2015 г.
- ^ «Официальный сайт Премии Израиля (на иврите) – резюме лауреата»
- ^ «Официальный сайт Премии Израиля (на иврите) – Обоснование решения судей о предоставлении гранта получателю» .
- ^ Профиль участника , Academia Europaea. Проверено 2 января 2015 г.
- ^ «Lauree Honoris Causa» (на итальянском языке). 13 декабря 2016 года . Проверено 2 апреля 2018 г.
- ↑ Профиль участника . Архивировано 16 декабря 2015 года в Wayback Machine , Израильская академия наук и гуманитарных наук.
- ^ Профиль участника , Национальная инженерная академия. Проверено 2 января 2015 г.
- ^ Новоизбранные члены Американской академии искусств и наук, апрель 2014 г. Проверено 2 января 2015 г.
- ^ «Выборы НАН 2019» . Национальная академия наук. 30 апреля 2019 г.
- ^ «Дэвид Харел» . Королевское общество . Проверено 19 сентября 2020 г.
- ^ «Дэвид Харел: лауреат премии» . Компьютерное общество IEEE . 23 января 2023 г. Проверено 27 февраля 2023 г.
Внешние ссылки [ править ]
- Домашняя страница Дэвида Харела в Институте науки Вейцмана.
- Дэвид Харель. Архивировано 16 декабря 2015 года на странице Wayback Machine Израильской академии наук и гуманитарных наук.
- 1950 рождений
- Живые люди
- Математики из Лондона
- Израильские ученые-компьютерщики
- Лауреаты Премии Израиля в области компьютерных наук
- Израильские евреи
- Члены Американской академии искусств и наук
- Члены Американской ассоциации содействия развитию науки
- 1994 г. Члены Ассоциации вычислительной техники.
- Члены IEEE
- Члены Королевского общества
- Формальные методы люди
- График рисования людей
- Члены Европейской академии
- Системные биологи
- Исследователи в области программной инженерии
- Единый язык моделирования
- Академический состав Института науки Вейцмана
- Иностранные сотрудники Национальной академии наук
- Иностранные сотрудники Национальной инженерной академии
- Иностранные члены Китайской академии наук