Пнуели Амир (Pnueli Amir).

Родившиеся в январе
01 02 03 04 05 06 07
08 09 10 11 12 13 14
15 16 17 18 19 20 21
22 23 24 25 26 27 28
29 30 31        

Родившиеся в феврале
01 02 03 04 05 06 07
08 09 10 11 12 13 14
15 16 17 18 19 20 21
22 23 24 25 26 27 28
29            

Родившиеся в марте
01 02 03 04 05 06 07
08 09 10 11 12 13 14
15 16 17 18 19 20 21
22 23 24 25 26 27 28
29 30 31        

Родившиеся в апреле
01 02 03 04 05 06 07
08 09 10 11 12 13 14
15 16 17 18 19 20 21
22 23 24 25 26 27 28
29 30          

Родившиеся в мае
01 02 03 04 05 06 07
08 09 10 11 12 13 14
15 16 17 18 19 20 21
22 23 24 25 26 27 28
29 30 31        

Родившиеся в июне
01 02 03 04 05 06 07
08 09 10 11 12 13 14
15 16 17 18 19 20 21
22 23 24 25 26 27 28
29 30          
 


 

Пнуели Амир.

 ›

Амир Пнуели
אמיר פנואלי
Амир Пнуели, 1996 год
Дата рождения:

22 апреля 1941(1941-04-22)

Место рождения:

Нахалаль, Палестина, ныне Израиль

Дата смерти:

2 ноября 2009(2009-11-02) (68 лет)

Место смерти:

Нью-Йорк

Страна:

Израиль Израиль

Научная сфера:

Информатика

Место работы:

Институт Вейцмана, Университет Нью-Йорка

Альма-матер:

Израильский технологический институт, Институт Вейцмана

Награды и премии


Премия Тьюринга

Сайт:

wisdom.weizmann.ac.il/~amir/

Амир Пнуели

Амир Пнуели (ивр. אמיר פנואלי‏‎‎‎, 22 апреля 1941, Нахалаль, Палестина - 2 ноября 2009, Нью-Йорк) - израильский и американский учёный в области теории вычислительных систем, профессор по информатике при институте Вейцмана. Награждён в 1996 году премией Тьюринга за исследование временной логики и её применения в верификации программ.

Содержание
  • Биография
  • Награды
  • Примечания
  • Ссылки
Биография

Получил степень бакалавра в Израильском технологическом институте (Хайфа), степень доктора философии по прикладной математике - в институте Вейцмана в 1967 году с диссертацией о расчёте океанских приливов. После работы в качестве постдока в Стэнфордском университете вернулся в Реховот. В 1973 году переехал в Тель-Авив, основал в Тель-Авивском университете факультет информатики и стал его первым деканом. В 1981 году перешёл на должность профессора информатики в институте Вейцмана.

С 1999 года - профессор Нью-Йоркского университета. В 2007 году избран действительным членом Ассоциации вычислительной техники.

Основал две фирмы - Mini-Systems и AdCad. Был женат, имел трёх детей и внука.

Скончался 2 ноября 2009 года в возрасте 68 лет от кровоизлияния в мозг.

Награды
  • 1996 - премия Тьюринга «за плодотворную работу по внедрению темпоральной логики в вычислительные науки, и за выдающийся вклад в верификацию программ и систем»
  • 1997 - почётный докторский титул от Уппсальского университета (Швеция)
  • 1998 - почётный докторский титул от Университета Жозефа Фурье (Гренобль, Франция)
  • 2000 - Государственная премия Израиля
Примечания
  1. Short biography of Amir Pnueli Harel
  2. ACM Award Citation / Amir Pnueli

Доп. информация

 

 








Родившиеся в июле
01 02 03 04 05 06 07
08 09 10 11 12 13 14
15 16 17 18 19 20 21
22 23 24 25 26 27 28
29 30 31        

Родившиеся в августе
01 02 03 04 05 06 07
08 09 10 11 12 13 14
15 16 17 18 19 20 21
22 23 24 25 26 27 28
29 30 31        

Родившиеся в сентябре
01 02 03 04 05 06 07
08 09 10 11 12 13 14
15 16 17 18 19 20 21
22 23 24 25 26 27 28
29 30          

Родившиеся в октябре
01 02 03 04 05 06 07
08 09 10 11 12 13 14
15 16 17 18 19 20 21
22 23 24 25 26 27 28
29 30 31        

Родившиеся в ноябре
01 02 03 04 05 06 07
08 09 10 11 12 13 14
15 16 17 18 19 20 21
22 23 24 25 26 27 28
29 30          

Родившиеся в декабре
01 02 03 04 05 06 07
08 09 10 11 12 13 14
15 16 17 18 19 20 21
22 23 24 25 26 27 28
29 30 31        

© 2015 famous-birthdays.ru
При использовании материалов сайта прямая, активная ссылка на источник обязательна!
Дата последнего обновления каталога именинников: 2018-01-20