Moshe Vardi is a prominent computer scientist and professor known for his contributions to fields such as computational logic, formal methods, and database theory. He is a faculty member at Rice University and has served as the director of the university's Ken Kennedy Institute for Information Technology. Vardi's research often focuses on the intersection of computer science and other disciplines, including his work on logic, databases, and artificial intelligence.
Articles by others on the same topic
There are currently no matching articles.