Моше Варди (учёный)

Материал из Циклопедии
Перейти к: навигация, поиск

Моше Варди

Moshe Vardi.jpg
Дата рождения 4 июля 1954 года
Место рождения Хайфа, Израиль













Моше Яаков Варди (англ. 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 научных публикаций.

Исследования сосредоточены на применении логики к компьютерной науке, включая теорию баз данных, теорию конечных моделей и т. д.

[править] Источники

Персональные инструменты
Пространства имён

Варианты
Действия
Навигация
Инструменты