Меня зовут Ирина Дудина. Я занимаюсь исследованиями в области статического анализа программ в ИСП РАН и преподаю в МГУ.