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]