Bar-Ilan University Professor Doron Peled was presented with the 2014 CAV (Computer-Aided Verification) Award at the 26th annual CAV conference in Vienna, Austria. Prof Peled and 3 others were commended for their contribution to eliminating computer errors.
http://www1.biu.ac.il/indexE.php?id=33&pt=20&pid=4&level=1&cPath=4&type=1&news=2235