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

The Taub Faculty of Computer Science News and Announcements

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