Javascript must be enabled to use this form.

View Profile	Home Browse Faculty Facility Research Consortia Training Grants Courses Search Support About rSp Help and FAQ's Contact Us	GCC Home
Faculty Profile Last Modified Time: 11:38:36 AM Fri, 17 Apr 2020   Contact Information Moshe Y Vardi Associated Profiles  Karen Ostrum George Distinguished Service Professor, Computer Engineering, Director, Ken Kennedy Institute for Information Technology, Rice University   Duncan Hall, Room No.: 3057    vardi@rice.edu     713-348-3834    Web Link    Machine Learning, Algorithms, Graphs, Verification, Formal Verification, Computer Science, Model Checking, Automata Theory, Formal Semantics, Automata, SAT, Blogs, Regular Expressions    Associated Profiles Research and Expertise Appointments  Research and Expertise Research Interests   Moshe Y. Vardi is Karen Ostrum George Distinguished Service Professor in Computational Engineering and Director of the Ken Kennedy Institute for Information Technology. His interests focus on automated reasoning, a branch of Artificial Intelligence with broad applications to computer science, including database theory, computational-complexity theory, knowledge in multi-agent systems, computer-aided verification, and teaching logic across the curriculum.  Publications/Creative Works Click here to search for this faculty member's publications on PubMed.  Appointments Title Department / School Institution Professor Computational Engineering Rice University

powering - The Partnership
Important Disclaimer: The responsibility for the accuracy of the information contained on these pages lies with the authors and user providing such information.