WikiDer > Джозеф Халперн
Джозеф Иегуда Халперн | |
|---|---|
 Джозеф Халперн в EPFL в июне 2008 г. | |
| Родившийся | 1953 Израиль |
| Награды | Премия Гёделя (1997) Премия Аллена Ньюэлла (2008) Премия Дейкстры (2009) |
| Научная карьера | |
| Поля | Информатика |
| Учреждения | Корнелл Университет |
| Докторанты | Нир Фридман, Дафна Коллер, Йорам Моисей |
Джозеф Иегуда Халперн (1953 г.р.) - израильско-американский профессор Информатика в Корнелл Университет. Большая часть его исследований посвящена рассуждениям о знаниях и неопределенности.
биография
Халперн окончил в 1975 г. Университет Торонто с B.S. по математике. Он получил докторскую степень. по математике из Гарвардский университет в 1981 г. под руководством Альберт Р. Мейер и Джеральд Сакс. Он написал три книги, Фактическая причинность, Рассуждения о неопределенности, и Рассуждения о знаниях и является победителем конкурса 1997 г. Премия Гёделя в теоретической информатике и 2009 г. Премия Дейкстры в распределенных вычислениях. С 1997 по 2003 гг. Был главным редактором журнала Журнал ACM.[1] В 2002 году он был введен в должность Парень из Ассоциация вычислительной техники а в 2012 году он был избран Сотрудник IEEE.[2]В 2011 году он был удостоен звания старшего научного сотрудника Zukunftskolleg в Констанцский университет.[3] В 2019 году он был избран в Национальная инженерная академия.
Халперн также является администратором хранилища компьютерных исследований, отдела компьютерных наук arXiv.org, и модератор для «общей литературы» и «прочего» подразделов репозитория.[4]
Среди его учеников Нир Фридман, Дафна Коллер, и Йорам Моисей.[5]
Рекомендации
- ^ "История | Журнал ACM". jacm.acm.org. Архивировано из оригинал на 2011-10-26. Получено 2015-08-13.
- ^ Новые стипендиаты 2012 г., IEEE, дата обращения 10 декабря 2011 г.
- ^ "Zukunftskolleg | Констанцский университет".
- ^ Тематические области и модераторы, arxiv.org.
- ^ Джозеф Халперн на Проект "Математическая генеалогия".
внешняя ссылка
 | Эта биографическая статья, относящаяся к специалисту по компьютерам, является заглушка. Вы можете помочь Википедии расширяя это. |