Дэвид Харел - David Harel

Дэвид Харел

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

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

биография

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

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

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

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

В 2014 году Харел был избран членом Национальной инженерной академии за изобретение диаграмм состояний и вклад в логику программирования.

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

Награды и почести

Диаграмма, показывающая, как диаграммы состояний Харела способствовали развитию объектно-ориентированных методов и обозначений

Смотрите также

использованная литература

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