Амир Пнуэли

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

Амир Пнуэли

  • Биография Амира Пнуэли

    • Израильский ученый-компьютерщик, лауреат премии Тьюринга 1996 года 
    • Родился в Палестине, получил образование в Технионе и Институте Вейцмана 
    • Переключился на компьютерные науки в Стэнфорде, работал в Израиле и США 
    • Основал две технологические компании, имел троих детей и четверых внуков 
    • Умер от кровоизлияния в мозг в 2009 году 
  • Научные достижения

    • Внес значительный вклад в темпоральную логику и верификацию программ 
    • Получил почетные докторские степени и награды, включая премию Израиля 
    • Избран членом Ассоциации вычислительной техники, его имя увековечено в научных институтах 
  • Дополнительная информация

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

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

Амир Пнуэли — Википедия

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

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