Новости

Дорогой Владимир Иванович!

Владимир Иванович Шелехов

Мы рады поздравить Вас со славным юбилеем - 60 годами достойной и плодотворной жизни. С самых студенческих лет Вы пришли в наш институт. Институт менялся, разукрупнялся и реорганизовывался, а Вы оставались.

Вы начали с того, что вместе с группой сокурсников смело взяли быка за рога и создали систему АЛЬФА-6. Дальнейшие вехи Вашего пути связаны с ЭЛЬБРУСом, СОКРАТом, затем с потоками данных, потоками управления и их анализом, разработка какового была осуществлена Вами на самом высоком мировом уровне.

Сейчас областью Вашего научного творчества являются парадигмы предикатного программирования и язык программирования "Р", предназначенный для строгого доказательства корректности программ.

После кончины Игоря Васильевича Поттосина Вы продолжили его дело - руководство лабораторией системного программирования. Вы являлись и являетесь заботливым воспитателем для научной смены - юных аспирантов со всех концов нашей необъятной Федерации.

Желаем Вам дальнейших успехов в Вашей научной и преподавательской деятельности, спорте и всех вообще жизненных делах.

Ваши коллеги и друзья
из ИСИ СО РАН