Vardi Receives The Blaise Pascal Medal in Computer Science For 2008
The motivation for the prize reads:
Congrats to Moshe!
In recognition of his outstanding contributions in several areas of computer science connected by their use of logic as an underlying methodology. His work has had fundamental and lasting impact on automatic verification, logic of knowledge, database theory, and finite-model theory.