Ilya Sergey
الیا سرگئی (پیدائش 1986) ایک روسی کمپیوٹر سائنسدان اور نیشنل یونیورسٹی آف سنگاپور کے اسکول آف کمپیوٹنگ میں ایسوسی ایٹ پروفیسر ہیں، جہاں وہ تصدیق شدہ سسٹمز انجینئرنگ لیب کی قیادت کرتے ہیں۔ سرگئی پروگرامنگ زبان کے ڈیزائن اور نفاذ، سافٹ ویئر کی تصدیق، تقسیم شدہ نظام، پروگرام کی ترکیب، اور پروگرام کی مرمت میں تحقیق کرتا ہے۔ وہ ہوشیار معاہدوں کے لیے اسکلا پروگرامنگ زبان ڈیزائن کرنے کے لیے جانا جاتا ہے۔ وہ مفت آن لائن کتاب، پروگرامز اینڈ پروفز: میکانائزنگ میتھمیٹکس ود ڈیپینڈینٹ ٹائپز کے مصنف ہیں، مشقوں کے ساتھ لیکچر نوٹ، جو میکانی استدلال کے بنیادی تصورات کا تعارف فراہم کرتا ہے اور Coq کا استعمال کرتے ہوئے انٹرایکٹو تھیوریم کو ثابت کرتا ہے۔ سرگئی ییل-این یو ایس کالج میں مشترکہ تقرری رکھتے ہیں اور زلیقہ میں لیڈ لینگویج ڈیزائنر ہیں۔ انہوں نے 2008 میں سینٹ پیٹرزبرگ اسٹیٹ یونیورسٹی سے ایم ایس سی اور 2012 میں کے یو لیوین سے پی ایچ ڈی کی ڈگری حاصل کی۔ این یو ایس میں شامل ہونے سے پہلے، وہ آئی ایم ڈی ای اے سافٹ ویئر انسٹی ٹیوٹ اور یونیورسٹی کالج لندن کے فیکلٹی میں پوسٹ ڈاکٹریٹ کے محقق تھے۔ تعلیمی کیریئر شروع کرنے سے پہلے، انہوں نے جیٹ برینز میں سافٹ ویئر ڈویلپر کے طور پر کام کیا۔ ایوارڈز اور اعزازات 2019 ڈہل-نیگارڈ جونیئر پرائز او او پی ایس ایل اے 2019 فن پارے کے لیے ممتاز آرٹیفیکٹ ایوارڈ سیلا مضمون میں زیر بحث پی او پی ایل 2019 کاغذ کے لیے ممتاز پیپر ایوارڈ ڈھیر-ہیرا پھیری کرنے والے پروگراموں کی ترکیب کی تشکیل پی ایل ڈی آئی 2021 کاغذ کے لیے ممتاز پیپر ایوارڈ سائیکلک پروگرام کی ترکیب ییل-این یو ایس 2021 ممتاز محقق ایوارڈ حوالہ جات بیرونی روابط ذاتی ویب سائٹ 1986 پیدائشیں سینٹ پیٹرزبرگ سینٹ پیٹرزبرگ اسٹیٹ یونیورسٹی کے سابق طلباء کے یو لیوین یونیورسٹی کالج لندن کے ییل-این یو ایس کالج کے تعلیمی عملے کے سابق روسی کمپیوٹر سائنسدان انجینئرز