Из Википедии, бесплатной энциклопедии
Перейти к навигации Перейти к поиску

Дэвид Харел

ФРС
Дэвид Харел (FLoC, 2006) .jpg
Дэвид Харел (справа) с Карлом Хьюиттом на FLoC 2006
Родившийся( 1950-04-12 )12 апреля 1950 г. (70 лет)
Лондон, Англия, Великобритания
НациональностьИзраильский и британский
Награды
Научная карьера
ПоляИнформатика
УчрежденияИнститут Вейцмана

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

Биография [ править ]

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

Харел защитил докторскую диссертацию в Массачусетском технологическом институте в период с 1976 по 1978 год. В 1987 году он стал соучредителем компании-разработчика программного обеспечения I-Logix , которая в 2006 году стала частью IBM.

Он выступал за создание полной компьютерной модели нематоды Caenorhabditis elegans , которая была первым многоклеточным организмом, геном которого был полностью секвенирован. Конечная полнота такой модели зависит от его обновленной версии теста Тьюринга .

Он является членом ACM , IEEE , AAAS и EATCS.

Харел активен в нескольких организациях мира и прав человека в Израиле.

Награды и награды [ править ]

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

См. Также [ править ]

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

Ссылки [ править ]

  1. ^ a b c Дэвид Харел - лауреат премии ACM. Дата обращения 2 января 2015.
  2. ^ "Официальный сайт Израильской премии (на иврите) - Резюме получателя"
  3. ^ "Официальный сайт израильской премии (на иврите) - Обоснование судейства гранта получателю" .
  4. ^ Профиль участника , Academia Europaea. Дата обращения 2 января 2015.
  5. ^ "Lauree honoris causa" (на итальянском языке). 13 декабря 2016 . Проверено 2 апреля 2018 .
  6. ↑ Профиль члена Израильской академии наук и гуманитарных наук.
  7. ^ Профиль члена , Национальная инженерная академия. Дата обращения 2 января 2015.
  8. ↑ Вновь избранные члены Американской академии искусств и наук, апрель 2014 г. Проверено 2 января 2015 г.
  9. ^ "Выборы NAS 2019" . Национальная академия наук. 30 апреля 2019.
  10. ^ "Дэвид Харел" . Королевское общество . Проверено 19 сентября 2020 года .

Внешние ссылки [ править ]

  • Домашняя страница Дэвида Харела в Научном институте Вейцмана.
  • Страница Дэвида Харела в Израильской академии наук и гуманитарных наук.