Helmut Veith

He was a Professor of Informatics at the Vienna University of Technology (TU Wien), Austria.

Veith is best known for his role in the development of Counterexample-guided Abstraction Refinement (CEGAR), which is a key ingredient in modern model checkers for software and hardware.

[7] Veith was member of the organizational board of the largest logic conference in the history – the Vienna Summer of Logic 2014, which consisted of twelve large conferences and numerous workshops, attracting over 2000 researchers from all over the world to Vienna.

Veith served as the speaker of the FWF-funded Doctoral College on Logical Methods in Computer Science and as the deputy coordinator of the National Research Network Rigorous Systems Engineering (RiSE).

[10][11] In 2016, Veith was posthumously awarded an ERC Advanced Grant on the topic Harnessing Model Checking Technology for Distributed Algorithms.