دانش‌آموخته مهندسی کامپیوتر شریف، برنده مدال جهانی علوم کامپیوتر نظری شد