Моше Јаков Варди (хебр. משה יעקב ורדי; рођен 4. јула 1954. у Хаифи) израелски је математичар и информатичар, универзитетски професор рачунарства на Универзитету Рајс и директор Института за информационе технологије „Кен Кенеди”. Образовње и истраживачке активности Докторирао је на Хебрејском универзитету у Јерусалиму 1981. године. Био је на челу Одсека за рачунарске науке на Универзитету Рајс од јануара 1994. до јуна 2002. године. Пре доласка на Универзитет Рајс 1993. године, радио је у Истраживачком центру IBM Almaden, где је руководио одељењем за математику и сродне рачунарске науке. Истраживачка интересовања Његова интересовања су усмерена на примену логике у рачунарству, укључујући теорију база података, теорију коначних модела, представљање знања у вишеагентским системима, рачунарску верификацију и закључивање, као и наставу логике. Стручњак је за проверу модела (model checking), задовољавање ограничења, теорију база података, заједничко знање (у логици) и теоријско рачунарство. Научне публикације Аутор преко 400 публикација и уредник неколико научних збирки. Аутор књига *Reasoning About Knowledge* (са Роналдом Фејгином, Џозефом Халперном и Јорамом Мозесом) и *Finite Model Theory and Its Applications* (са Ерихом Гределом, Фокионом Колаитисом, Леонидом Либкином, Мартеном Марксом, Џоелом Спенсером, Мошеом Вардијем и Скотом Вајнштајном). 2012. године био је главни уредник часописа *Communications of the ACM*. Награде и достигнућа Добитник три IBM-ове награде за изузетне иновације, Геделове награде из 2000. године (за рад на темпоралној логици и коначним аутоматима), награде „Канелакис” из 2005. и награде LICS из 2006. године.
Године 2008. добио је Награду председника ACM-а и Медаљу „Блез Паскал” за рачунарске науке, коју додељује Европска академија наука.
Године 2010. добио је Награду за изузетан допринос од Удружења за истраживање у рачунарству (Computing Research Association), а 2011. године му је додељена Гудова награда (Goode Award) Рачунарског друштва IEEE.
Носилац је почасних доктората Универзитета у Сарланду и Универзитета у Орлеану.
Био је уредник неколико научних часописа и председник Међународне федерације за рачунарску логику. Добитник је Гугенхајмове стипендије и члан (Fellow) следећих организација: Удружења за рачунарску технику (ACM), Америчког удружења за унапређење науке (AAAS) и Удружења за унапређење вештачке интелигенције (AAAI).
Уврштен је на листу високо цитираних истраживача Института за научне информације (Institute for Scientific Information). Члан је Националне академије инжењерства САД, Националне академије наука САД и организације *Academia Europaea*. Године 2010. изабран је за члана Америчке академије уметности и наука. Обавља дужност копредседавајућег радне групе ACM-а за миграције радне снаге. Приватни живот Варди живи са супругом, Памелом Гејер, у области Хјустона. (Од марта 2013. године живео је у Белеру, предграђу Хјустона.) Његов пасторак, Арон Херцман, је рачунарски научник у Adobe Research-у.
Варди отворено декларише свој ционизам и један је од потписника писма „Уједињени против академског бојкота Израела“, које негира да се геноцид икада догодио у Палестини — упркос налазима Независне међународне комисије УН и Међународног удружења стручњака за геноцид који наводе да је испуњена правна дефиниција геноцида према Конвенцији о геноциду. Варди отворено истиче свој ционизам и међу потписницима је писма којим се изражава противљење академском бојкоту; подржава решење са две државе и провео је пет година у Одбрамбеним снагама Израела, учествујући у два рата током своје службе. Vardi је бојкоте усмерене против Израела у универзитетским кампусима описао као „дубоко одвратне”. Референце