Ушел из жизни профессор TU Vienna Helmut Veith

С прискорбием сообщаем, что 12 марта 2016 на 46-м году ушел из жизни профессор Helmut Veith. Профессор Veith является автором метода верификации CEGAR, автором более 120 работ в области метода проверки модели. Подробнее информацию о нем можно найи на сайте forsyte.at/people/veith/.

Профессор Veith не жалел сил и времени на распространение методов, инструментов, идей математической логики. Подробный обзор его качеств как просветителя можно найти на странице Dr. Oliver Lehmann  http://www.oliverlehmann.at/2016/03/for-helmut-veith-1971-2016/

Наша кафедра познакомилась с профессором Helmut Veith, когда он был сопредседателем международной конференции CAV 2013 в Санкт-Петербурге. Это был  большой ученый, добрый человек и верный друг.