Skip to content (access key 's')
Logo of Technion
Logo of CS Department
General Information

News

Prof. Orna Grumberg Received the 2015 CAV Award
Thursday, July 23, 2015
Prof. Orna Grumberg Received the 2015 CAV Award CS 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]