Moshe Y. Vardi's Home Page

It's been a long road ... Play

Moshe Y. Vardi

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.

Studentship: Doctoral students sought for an NSF-funded project on Expedition in Computer Augmented Program Engineering.

Postdoc Positions: Postdoctoral scholars sought for NSF-funded project on Expedition in Computer Augmented Program Engineering.

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, Google+, and Twitter

Public Profile

Talks on YouTube

Long Bio, Short Bio, Resume, Bibliography, Talks, and Current Students
The Vardi Daily The Vardi Daily
Editor's Letters Daily Editor's Letters
Recent Publications: 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.

This page has been accessed since May 20, 1995.