Введение

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

Биография

Харель наиболее известен своей работой в области динамической логики, вычислимости, теории баз данных, разработки программного обеспечения и моделирования биологических систем. В 1980-х годах он изобрел графический язык Statecharts для спецификации и программирования реактивных систем, который был включен в стандарт UML. С конца 1990-х годов он сосредоточился на подходе к программированию таких систем, основанном на сценариях, начатом его совместным изобретением (с В. Даммом) Live Sequence Charts. Он опубликовал научно-популярные работы по информатике, такие как его удостоенная награды книга 1987 года «Алгоритмика: Дух вычислений» и его книга 2000 года «Computers Ltd.: Что они действительно не могут делать», а также представлял серию передач по информатике на израильском радио и телевидении. Он также работал над другими разнообразными темами, такими как разработка схем расположения графов, образование в области информатики, биологическое моделирование, анализ и передача информации об обонянии. Харель получил степень доктора философии в Массачусетском технологическом институте в период с 1976 по 1978 год. В 1987 году он стал одним из основателей компании по разработке программного обеспечения I Logix, которая в 2006 году вошла в состав IBM. Он выступает за создание полной компьютерной модели нематоды Caenorhabditis elegans, которая стала первым многоклеточным организмом, геном которого был полностью секвенирован. Достижение полноты такой модели зависит от его обновленной версии теста Тьюринга. Он является членом ACM, IEEE, AAAS и EATCS, а также членом нескольких международных академий. Харель активно участвует в деятельности ряда организаций, занимающихся вопросами мира и прав человека в Израиле.