Моше Варди (учёный)
Моше Яаков Варди (англ. Moshe Ya'akov Vardi, ивр. משה יעקב ורדי) — израильский математик и компьютерный учёный, профессор компьютерных наук Университета Райса[1].
Биография[править]
Моше Варди родился 4 июля 1954 года в Хайфе.
В 1974 году получил степень бакалавра в области физики и информатики в Университете Бар-Илан.
В 1980 году получил степень магистра компьютерных наук в Институте Вейцмана.
В 1981 году получил докторскую степень в Еврейском университете в Иерусалиме, защитив диссертацию по теме The Implication Problem for Data Dependencies in the Relational Model.
В 1981—1983 годах — в аспирантуре в Стэнфордском университете.
В 1993 году руководил отделом математики и смежных компьютерных наук в исследовательском центре IBM Almaden Research Center.
С января 1994 года по июнь 2002 года возглавлял факультет компьютерных наук в Университете Райса в США.
Автор более 400 научных публикаций.
Исследования сосредоточены на применении логики к компьютерной науке, включая теорию баз данных, теорию конечных моделей и т. д.
Источники[править]
- Родившиеся 4 июля
- Родившиеся в 1954 году
- Персоналии по алфавиту
- Родившиеся в Хайфе
- Учёные по алфавиту
- Стипендианты Гуггенхайма
- Лауреаты премии Гёделя
- Члены Европейской академии
- Члены Национальной инженерной академии США
- Члены Национальной академии наук США
- Фелло Ассоциации вычислительной техники
- Евреи в США
- Публицисты Израиля
- Члены Американской ассоциации содействия развитию науки
- Выпускники Университета имени Бар-Илана
- Выпускники института Вейцмана
- Выпускники Еврейского университета в Иерусалиме
- Профессора Университета Райса
- Персоналии:Математическая логика
- Редакторы Израиля
- Математики Израиля
- Учёные в области информатики Израиля
- Сабра
- Евреи-математики
- Сотрудники IBM
- Израильтяне в США