Moshe Y. Vardi's Home Page

It's been a long road ... Play

Moshe Y. Vardi

Moshe Y. Vardi is University Professor, Karen Ostrum George Distinguished Service Professor in Computational Engineering at Rice University, where he is leading an Initiative on Technology, Culture, and Society. His interests focus on automated reasoning, a branch of Artificial Intelligence with broad applications to computer science, including machine learning, database theory, computational-complexity theory, knowledge in multi-agent systems, computer-aided verification, and teaching logic across the curriculum. He is also a Faculty Scholar at the Baker Institute for Public Policy at Rice University.

Postdoc Position

Painterly Image

DH 3057

Department of Computer Science
Mail Stop 132
Rice University
6100 S. Main Street
Houston, TX 77005-1892
713-348-5977 (o), 713-348-5930 (fax), 713-665-5900 (h)

Social Media: Follow me on Facebook, LinkedIn, and Twitter
Mastodon: Mastodon

Public Profile

Talks on YouTube

Long Bio, Short Bio, CV, Bibliography, Citations, Talks, and Current Students
Vardi's Insights Vardi's Insights
Publications: (not up-to-date) Papers
Course: Logic in Computer Science COMP409
Ken Kennedy Institute for Information Technology K2I
Seminar: Computer-Aided Verification COMP607
Course: Research Ethics Seminar COMP601
Course Taught at The Weizmann Institute: Automata-Theoretic Approach to Automated Verification


Due to extremely high level of spam, I have invoked a fairly aggressive level of spam filtering. If you do not get a response to an email message, please call me.

Copyright 1995-2020, Moshe Y. Vardi, All Rights Reserved.