Prof. Orna Grumberg Received the 2015 CAV Award

Prof. Orna Grumberg Received the 2015 CAV AwardCS congratulates Prof. Orna Gurmberg who has been awarded the cav-award Award - the most prestigious prize in Formal Verification. Together with Prof. Edmund Clarke and others she received it for development and implementation of the localization-reduction technique and the formulation of counterexample-guided abstraction refinement (CEGAR).

Enclosed is the detailed Reason for awarding the prize.

Congratulations to Orna!

Back to the news index Thursday, July 23, 2015