Подымов Владислав Васильевич, преподаватель курса Математические методы верификации схем и программпреподавание учебного курса