Михаил Владимирович Подвальный Россия, Saint Petersburg Natural sciences Информатика Логика Математика