the development of CEGAR. His work on the software model checker MAGIC received the ACM Distinguished Paper Award for contribution to the study of verification of modular software. In 2016, Veith was posthumously awarded an ERC Advanced Grant on the topic Harnessing Model Checking Technology for Distributed Algorithms. References 1971 births 2016 deaths Austrian computer scientists Scientists from Vienna TU Wien alumni Academic staff of TU Wien Formal methods people Academic staff of Technische Universität Darmstadt