Егор Степанович Кравченко Россия, Долгопрудный Математика Логика Информатика Сontacts София Лебедева Сontacts София Лебедева