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 applications of logic to computer science, including database theory, finite-model theory, knowledge in multi-agent systems, computer-aided verification and reasoning, and teaching logic across the curriculum.

Studentship: Doctoral students sought for an Intel-funded project on Effective Validation of Firmware and NSF-funded project on Computer Augmented Program Engineering.

Postdoc Positions: Postdoctoral scholars sought for NSF-funded project on 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

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.