Thursday, September 25, 2008

Vardi Receives The Blaise Pascal Medal in Computer Science For 2008

I just learned that Moshe Vardi is the recipient of the Blaise Pascal Medal in Computer Science for 2008 of the European Academy of Sciences. This is outstanding news for TCS as a whole and for the logic in computer science community in particular.

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.

No comments: