Дэвид Харел

Оглавление1 Дэвид Харел1.1 Биография и достижения Дэвида Хареля1.2 Образование и научная карьера1.3 Награды и почести1.4 Дополнительная информация1.5 Полный текст статьи:2 […]

Дэвид Харел

  • Биография и достижения Дэвида Хареля

    • Дэвид Харель – ученый-компьютерщик и президент Израильской академии наук и гуманитарных наук. 
    • С 1980 года работает в институте Вейцмана, профессор математики Уильяма Суссмана. 
    • Известен работами в области динамической логики, вычислимости, теории баз данных и моделирования биологических систем. 
    • Изобрел графический язык диаграмм состояний, который стал частью стандарта UML. 
    • Сфокусировался на сценарном подходе к программированию, основанном на диаграммах живой последовательности. 
    • Опубликовал книги и статьи по информатике, а также подготовил материалы для израильского радио и телевидения. 
    • Работал над другими темами, включая построение графиков и биологическое моделирование. 
  • Образование и научная карьера

    • Защитил докторскую диссертацию в Массачусетском технологическом институте. 
    • Соучредитель компании I-Logix, которая стала частью IBM. 
    • Выступал за создание компьютерной модели нематоды Caenorhabditis elegans. 
    • Член ACM, IEEE, AAAS, EATCS и других академий. 
  • Награды и почести

    • Получил множество наград, включая Премию Стивенса и Премию Израиля в области компьютерных наук. 
    • Стал почетным доктором различных университетов, включая Миланский университет Бикокка. 
    • Член Королевского общества и иностранных академий, включая Китайскую академию наук. 
  • Дополнительная информация

    • Ссылки на список лауреатов премии Израиля и рекомендации по дополнительным ссылкам. 

Полный текст статьи:

Дэвид Харел — Википедия

Оставьте комментарий

Прокрутить вверх