TU Wien Informatics

20 Years

Helmut Veith receives CAV Award

  • 2015-08-06
  • Award

Formal Methods professor is one of the recipients of prestigious annual award

CAV Award winners 2015, Yuan Lu, Robert P. Kurshan, Orna Grumberg, Helmut Veith, Somesh Jha
CAV Award winners 2015, Yuan Lu, Robert P. Kurshan, Orna Grumberg, Helmut Veith, Somesh Jha

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.

Links

Curious about our other news? Subscribe to our news feed, calendar, or newsletter, or follow us on social media.

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!