September 22, 2014 | The Chairman of the Department of Computer Science at Bar Ilan University, Prof. Doron Peled, is the recipient of the 2014 CAV (Computer-Aided Verification) Award. The Award was presented to him at the 6th annual CAV conference in Vienna, Austria. Together with Prof. Antti Valmari of Finland’s Tampere University of Technology, Prof. Pierre Wolper of the University of Liege and Dr. Patrice Godefroid of Microsoft Research in the U.S., Peled received the award for developing methods that can be used to analyze communications between ATMs and a bank’s computer. At the ceremony, the team was commended for the “historical importance and deep impact of their contribution.” The CAV Award was established in 2008 and is granted in recognition of specific or a series of substantial contributions to the field of computer-aided verification.
Facebook comments