Оглавление
Дэвид Харел
-
Биография и достижения Дэвида Хареля
- Дэвид Харель – ученый-компьютерщик и президент Израильской академии наук и гуманитарных наук.
- С 1980 года работает в институте Вейцмана, профессор математики Уильяма Суссмана.
- Известен работами в области динамической логики, вычислимости, теории баз данных и моделирования биологических систем.
- Изобрел графический язык диаграмм состояний, который стал частью стандарта UML.
- Сфокусировался на сценарном подходе к программированию, основанном на диаграммах живой последовательности.
- Опубликовал книги и статьи по информатике, а также подготовил материалы для израильского радио и телевидения.
- Работал над другими темами, включая построение графиков и биологическое моделирование.
-
Образование и научная карьера
- Защитил докторскую диссертацию в Массачусетском технологическом институте.
- Соучредитель компании I-Logix, которая стала частью IBM.
- Выступал за создание компьютерной модели нематоды Caenorhabditis elegans.
- Член ACM, IEEE, AAAS, EATCS и других академий.
-
Награды и почести
- Получил множество наград, включая Премию Стивенса и Премию Израиля в области компьютерных наук.
- Стал почетным доктором различных университетов, включая Миланский университет Бикокка.
- Член Королевского общества и иностранных академий, включая Китайскую академию наук.
-
Дополнительная информация
- Ссылки на список лауреатов премии Израиля и рекомендации по дополнительным ссылкам.