Moshe Y. Vardi is Karen Ostrum George Professor in Computational Engineering and Director of the Computer and Information Technology Institute. 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.

Painterly Image

Office

DH 3096

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

Bio, Resume, Bibliography, Talks, and Students

Recent Publications Papers

Course: Logic in Computer Science COMP409

Institute: Computer and Information Technology CITI

Seminar: Computer-Aided Verification COMP607

Course: Research Ethics Seminar COMP601

Course Taught at The Weizmann Institute: Automata-Theoretic Approach to Automated Verification

---

Links

• Formal Approaches: Tools of Analysis and Synthesis
• European Research Training Network: Games and Automata for Synthesis and Validation
• Accellera's Sample of Formal Properties
• National Academy of Engineering see also.
• Symposium on the Effectiveness of Logic in Computer Science (ELICS02) See pictures.
• The 2001 Sheafor-Lindsay Digital Library Symposium
• Dagstuhl Seminar 01451: Exploration of Large State Spaces, 2001
• Computer Science Logic, 2001
• NSF/CISE Workshop on The Unusual Effectiveness of Logic in Computer Science
• 8th International SPIN Workshop on Model Checking of Software
• Gödel Prize
• Dagstuhl Seminar: Probabilistic Methods in Verification
• Schloss Ringberg Seminar: Model Checking and Program Analysis
• Tutorial and Workshop on Logic and Cognitive Science
• The 1999 Federated Logic Conference (FLoC'99)
• Kanellakis Award
• SIGCSE Panel on Logic in the CS Curriculum
• Computer Science Department
• Rice University
• 10th European Summer School in Logic, Language and Information (ESSLLI'98)
• 10th Conference on Computer-Aided Verification (CAV'98)
• BS Proposal
• Daghsthul Seminar on Applications of Tree Automata in Rewriting, Logic and Programming
• ACM Transactions on Database Systems
• Chicago Journal of Theoretical Computer Science
• Information and Computation
• Journal of Computer and System Sciences
• SIAM Journal on Computing
• Rice Engineering Day, March 22, 1997
• 4th Israeli Symposium on Theory of Computing and Systems (ISTCS'96)
• The 1996 Federated Logic Conference (FLoC'96)
• DIMACS 1995-96 Special Year on Logic and Algorithms
• Reasoning about Knowledge (book with co-authors Fagin, Halpern, and Moses)

vardi@cs.rice.edu

This page has been accessed since May 20, 1995.