Констанин Батоев

Исследовательские группы

Студент Санкт-Петербургского Государственного Университета, Математико-Механический факультет.

Сфера интересов включает символьное исполнение и анализ потока управления программ.