Принял участие в круглом столе с Дарьей Манухиной (ПК Гейзенбаг) и Андреем Ершовым и Виталием Брагилевским на тему прямого использования математики в тестировании программного обеспечения