Амир Пнуэли

Амир Пнуэли Биография Амира Пнуэли Израильский ученый-компьютерщик, лауреат премии Тьюринга 1996 года  Родился в Палестине, получил образование в Технионе и […]

Амир Пнуэли

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

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

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

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

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

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

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

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