Дэвид Харель ( иврит : דוד הראל ; родился 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]