Moshe Y. Vardi

Moshe Y. Vardi

Moshe Ya'akov Vardi is an Israeli computer scientist. He is a Professor of Computer Science at Rice University, USA. He is the Karen Ostrum George Professor in Computational Engineering, Distinguished Service Professor, and Director of the Ken Kennedy Institute for Information Technology. His interests focus on applications of logic to computer science, including database theory, finite-model theory, knowledge in multi-agent systems, computer-aided verification and reasoning, and teaching logic across the curriculum. He dabbles in model checking, constraint satisfaction and database theory, common knowledge, and theoretical computer science. Moshe Y. Vardi is the author of over 400 tec ... more on Wikipedia

Moshe Y. Vardi is ranked on...

Famous People Named Moshe 100 views Ever wondered how many famous people named Moshe there are? This list of celebrities named Moshe includes photos and infor...

Moshe Y. Vardi is also found on...

The Top IBM Employees List of Famous Computer Scientists Famous People From Israel Famous Male Professors Famous Weizmann Institute Of Science Alumni Famous Hebrew University Of Jerusalem Alumni Famous Male Computer Scientists