Thursday, September 14, 2006

New Award to Moshe Vardi

Moshe Vardi has been named as a co-recipient of the first LICS-test-of-time award for his paper An Automata-Theoretic Approach to Automatic Program Verification, co-authored with Pierre Wolper. Congratulations to Moshe and Pierre for yet another award!

See http://www2.informatik.hu-berlin.de/lics/#awards for a description of the award. I think that the idea to look back 20 years for the award is a good one, and look forward to seeing more awards in areas of logic related to concurrency theory and formal verification.

No comments: