​Владиcлав Русланович Смолин, студент 4-го курса УрФУ и математик 2 кат. ОСО ИММ УрО РАН, получил премию Молодёжной Конференции Национального Суперкомпьютерного Форума 2018 за работу "Система типов для модели вычислений R₃".

Положение о премии: http://4students.nscf.ru/premiya/

Видео (с отметки 00:17:30) https://youtu.be/9ujtT9cPQkU