Helmut Veith receives CAV Award

August 6th
2015

All day event.

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:

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.

Links

Note: This is one of the thousands of items we imported from
the old website. We’re in the process of reviewing each and
every one, but if you notice something strange about this
particular one,
please let us know.
— Thanks!