Дэвид Харел

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

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

1950 births, 1950 рождений, 1994 Fellows of the Association for Computing Machinery, 1994 г. Члены Ассоциации вычислительной техники., Academic staff of Weizmann Institute of Science, Fellows of the American Academy of Arts and Sciences, Fellows of the American Association for the Advancement of Science, Fellows of the IEEE, Fellows of the Royal Society, Foreign associates of the National Academy of Engineering, Foreign associates of the National Academy of Sciences, Foreign members of the Chinese Academy of Sciences, Formal methods people, Graph drawing people, Israel Prize in computer sciences recipients, Israeli computer scientists, Israeli Jews, Living people, Mathematicians from London, Members of Academia Europaea, Software engineering researchers, Systems biologists, Unified Modeling Language, Академический состав Института науки Вейцмана, График рисования людей, Единый язык моделирования, Живые люди, Израильские евреи, Израильские ученые-компьютерщики, Иностранные сотрудники Национальной академии наук, Иностранные сотрудники Национальной инженерной академии, Иностранные члены Китайской академии наук, Исследователи в области программной инженерии, Лауреаты Премии Израиля в области компьютерных наук, Математики из Лондона, Системные биологи, Формальные методы люди, Члены IEEE, Члены Американской академии искусств и наук, Члены Американской ассоциации содействия развитию науки, Члены Европейской академии, Члены Королевского общества

Дэвид Харел

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

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

  • Образование и научная карьера

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

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

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

  • Дополнительная информация

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

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

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

Нет связанных сообщений

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

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