About
Moshe Vardi is a Professor in the Department of Computer Science at Rice University, renowned for his foundational contributions to logic and computer science. His work spans model checking, database theory, complexity, and knowledge representation, with applications across software verification, programming languages, and artificial intelligence.
- Key research areas: Model Checking, Constraint Satisfaction, Database Theory, Knowledge Representation, and Computational Complexity
Vardi has received prestigious accolades including the Gödel Prize (2000), ACM Theory and Practice Award (2005), and the LICS Test-of-Time Award (2006). He actively contributes to academic discourse, as evidenced by his keynote speech at LIG (ENSIMAG, Grenoble) in 2010 titled "And Logic Begat Computer Science."
0Publications listed
Find Moshe Vardi elsewhere
Related Searches
You Might Also Like
Moshe Y. VardiGraz University of Technology · Professor
Moshe Y. VardiUniversity of Bari · Professor
Moshe Y. VardiNational Research Institute for Mathematics and Computer Science · Academic
Moshe Y. VardiUniversity of Gothenburg · Professor
Moshe Y. VardiRice University · Professor
Jianwen LiSingapore Management University · Professor