RUS ENG

< Встреча выпускников
14.03.2016 10:14 Давность: 1 year
Категория: Новости науки

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

С прискорбием сообщаем, что 12 марта 2016 на 46-м году ушел из жизни профессор Helmut Veith. Профессор Veith является автором метода верификации CEGAR, автором более 120 работ в области метода проверки модели. Подробнее информацию о нем можно найти на сайте forsyte.at/people/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 в Санкт-Петербурге. Это был  большой ученый, добрый человек и верный друг.


Контактная информация

194021, Санкт-Петербург, ул. Политехническая, д. 21, ауд. 104

Тел./факс: +7-812-2971639

Кафедра расположена на 1 этаже 9 корпуса СПбГПУ.

 Зав. кафедрой проф. Карпов Юрий Глебович


Ближайшие события

в этом списке нет новостей.

Недавние события

27.06.2017 Учебный процесс:
23.06.2017 Учебный процесс:
29.06.2016 Учебный процесс:
22.06.2016 Учебный процесс:
Отображение результатов 1 до 5 из 101
<< Первая < предыдущ. 1-5 6-10 11-15 16-20 21-25 26-30 31-35 следующ. > Последняя>>

Недавние обновления

Aktuell liegen keine neuen Inhalte vor.