Professor in Computational Engineering
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.
Links
Humans, machines, and the future of work
The SAT Revolution: Solving, Sampling, And Counting
Rice professor receives high honors
Constraints, Graphs, Algebra, Logic, and Complexity
Received honorary doctorate in Brazil
Elected to the National Academy of Science
In Memoriam: Pinchas vardi, 1927-2014
and in in Hebrew
and video presentation (in Hebrew)
Phase transitions and computational complexity
And Logic Begat Computer Science: When Giants Roamed the Earth
White Paper for The International Summit on Innovation for Jobs
Moshe Vardi - Interview on Innovation for Jobs
Bauer Business Focus: Computer Science Professor Moshe Vardi
ExCAPE Summer School - Part I and II
ExCAPE Summer School - Part III
Vardi named SURA Distinguished Scientist
Bauer Business Focus: Computer Science Professor Moshe Vardi
Robot Economy Could Cause Up To 75 Percent Unemployment
Perspectives Workshop: Publication Culture in Computing Research
The Consequences of Machine Intelligence
The Big Questions in Computation, Intelligence and Life: Does The Future Need Us?
Video of IEEE Computer Society Goode Memorial Award
EATCS Distinguished Achievements Award
Walid Taha v. William Marsh Rice University, II
Walid Taha v. William Marsh Rice University, I
Review of Insitute of Science and Technology - Austria
Turing Centenary in Manchester
Distinguished Service Professor
Thresher Article on IEEE CS Goode Award
IEEE Computer Society Goode Memorial Award
Tech world preps to honor 'Father of Computer Science' Alan Turing, as centenary nears
Houstonian joins academy to which Washington, Jefferson and Franklin once belonged
ACM Outstanding Contribution Award
Rice professor elected fellow of American Academy of Arts and Sciences
CRA Distinguished Service Award
2008 Blaise Pascal Medal in Computer Science
2008 ACM SIGMOD Codd Innovations Award
Jasper Design Automation Adds New Memebers to Technical Advisory Board
2008 PODS Mendelzon Test-of-Time Award
Finite Model Theory and Its Applications
Computer science still a good career
De Lange Conference: Emerging Libraries
Offshoring: Finally, Facts vs. Folklore
US Tech Jobs Are Back on Track
Experts offer fresh perspective on offshoring IT
Outsourcing: Silicon Valley East
Study plays down export of computer jobs
Detailed Offshoring Study Assesses Rapid Changes Driven by Information Technology
Dagstuhl Seminar 05241: Synthesis and Planning, 2005
Three Rice faculty earn Guggenheim Fellowships
Interview: Ethics and Politics of Information Technology
Vardi Helps Launch New Open-Access Journal
Vardi Co-chair of ACM Study to Assess Global Impact of IT Outsourcing
Vardi Forges US, European Collaboration
Formal Approaches: Tools of Analysis and Synthesis
European Research Training Network: Games and Automata for Synthesis and Validation
Accellera's Sample of Formal Properties
Vardi, Tarlov Elected Fellows of AAAS by peers
Webcast talk: Unusual Effectiveness of Logic in Computer Science
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
NSF/CISE Workshop on The Unusual Effectiveness of Logic in Computer Science
8th International SPIN Workshop on Model Checking of Software
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)
SIGCSE Panel on Logic in the CS Curriculum
10th European Summer School in Logic, Language and Information (ESSLLI'98)
10th Conference on Computer-Aided Verification (CAV'98)
Daghsthul Seminar on Applications of Tree Automata in Rewriting, Logic and Programming
ACM Transactions on Database Systems
Chicago Journal of Theoretical Computer Science
Journal of Computer and System Sciences
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)