Михаил Леденев стал призером Всероссийской олимпиады по информатике