The motivation for the prize reads:
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.
Moshe also contributes to the development of activities in TCS in my small corner of the world by sitting on the advisory board of ICE-TCS.
Congrats to Moshe! Somehow I feel that there will be more and even more prestigious awards in store for him.