Moshe Y. Vardi's Home Page


It's been a long road ... Play
Motto:
Observations:

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

Office
DH 3057

Postal
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)

Email
vardi_DELETE_THIS_@cs.rice.edu
Social Media: Follow me on Facebook, Google+, and Twitter

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

Links

vardi_DELETE_THIS_@cs.rice.edu

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.