Each year during the Computer-Aided Verification (CAV) conference, an award is presented to researchers who made fundamental contributions to the field of computer-aided verification. This year’s award was given for the development and implementation of the localization-reduction technique and the formulation of counterexample-guided abstraction refinement. The recipients were, in alphabetical order:

• Edmund M. Clarke (Carnegie Mellon University)
• Orna Grumberg (Technion)
• Ronald H. Hardin✝
• Somesh Jha (University of Wisconsin)
• Yuan Lu (Carnegie Mellon University)
• Robert P. Kurshan (Bell Laboratories)
• Helmut Veith (Institute of Information Systems, Research Group Formal Methods in Systems Engineering, TU Wien)
• Zvi Harel (Technion)

From its beginning as a workshop in Grenoble (France) in 1989, CAV has been held every year since 1990. It is the main international conference on computer-aided verification and a platform for presenting state-of-the-art research ranging from model checking and automated theorem proving to testing, synthesis and related areas.

Helmut Veith was one of the program chairs for CAV 2013 which was held in St. Petersburg (Russia). He is a professor at the Faculty of Informatics of TU Wien, and an adjunct professor at Carnegie Mellon University. He has a diploma in Computational Logic and a PhD sub auspiciis praesidentis in Computer Science, both from TU Wien. Prior to his appointment to Vienna, he was holding professor positions at TU Darmstadt and TU Munich. He is the editor (together with Ed Clarke and Tom Henzinger) of the forthcoming Handbook of Model Checking.

From left to right: Yuan Lu, Robert Kurshan, Orna Grumberg, Helmut Veith, Somesh Jha (c) CAV