Ilya Sergey
इल्या सर्गेई (जन्म 1986) एक रूसी कंप्यूटर वैज्ञानिक और सिंगापुर के राष्ट्रीय विश्वविद्यालय में स्कूल ऑफ कम्प्यूटिंग में एक सहयोगी प्रोफेसर हैं, जहाँ वे सत्यापित सिस्टम इंजीनियरिंग प्रयोगशाला का नेतृत्व करते हैं। सर्गेई प्रोग्रामिंग भाषा डिजाइन और कार्यान्वयन, सॉफ्टवेयर सत्यापन, वितरित प्रणालियों, कार्यक्रम संश्लेषण और कार्यक्रम मरम्मत में अनुसंधान करता है। उन्हें स्मार्ट अनुबंधों के लिए स्किला प्रोग्रामिंग भाषा तैयार करने के लिए जाना जाता है। वह मुफ्त ऑनलाइन पुस्तक, प्रोग्राम्स एंड प्रूफ़्सः मैकेनाइज़िंग मैथमेटिक्स विद डिपेंडेंट टाइप्स के लेखक हैं, अभ्यास के साथ व्याख्यान नोट्स, जो कॉक्यू का उपयोग करके सिद्ध करने वाले मशीनीकृत तर्क और इंटरैक्टिव प्रमेय की बुनियादी अवधारणाओं का परिचय प्रदान करता है। सर्गेई येल-एन. यू. एस. कॉलेज में एक संयुक्त नियुक्ति रखते हैं और जिलिका में एक प्रमुख भाषा डिजाइनर हैं। उन्होंने 2008 में सेंट पीटर्सबर्ग स्टेट यूनिवर्सिटी में एम. एस. सी. और 2012 में के. यू. ल्यूवेन में पी. एच. डी. प्राप्त की। एन. यू. एस. में शामिल होने से पहले, वे आई. एम. डी. ई. ए. सॉफ्टवेयर संस्थान और यूनिवर्सिटी कॉलेज लंदन के संकाय में पोस्टडॉक्टरल शोधकर्ता थे। एक अकादमिक कैरियर शुरू करने से पहले, उन्होंने जेटब्रेन्स में एक सॉफ्टवेयर डेवलपर के रूप में काम किया। पुरस्कार और सम्मान 2019 डाहल-न्यगार्ड जूनियर पुरस्कार ओ. ओ. पी. एस. एल. ए. 2019 कलाकृति के लिए विशिष्ट कलाकृति पुरस्कार लेख में चर्चा की गई स्किला पी. ओ. पी. एल. 2019 पेपर के लिए विशिष्ट पेपर पुरस्कार ढेर-हेरफेर कार्यक्रमों के संश्लेषण की संरचना पी. एल. डी. आई. 2021 पेपर के लिए विशिष्ट पेपर पुरस्कार चक्रीय कार्यक्रम संश्लेषण येल-एन. यू. एस. 2021 विशिष्ट शोधकर्ता पुरस्कार संदर्भ बाहरी लिंक व्यक्तिगत वेबसाइट 1986 जन्म जीवित लोग सेंट पीटर्सबर्ग सेंट पीटर्सबर्ग स्टेट यूनिवर्सिटी के पूर्व छात्र के. यू. ल्यूवेन पूर्व छात्र येल-एन. यू. एस. कॉलेज के अकादमिक कर्मचारी