Ilya Sergey
இலியா செர்ஜி (பிறப்பு 1986) ஒரு ரஷ்ய கணினி விஞ்ஞானி மற்றும் சிங்கப்பூர் தேசிய பல்கலைக்கழகத்தில் கம்ப்யூட்டிங் பள்ளியில் இணை பேராசிரியர் ஆவார், அங்கு அவர் சரிபார்க்கப்பட்ட அமைப்புகள் பொறியியல் ஆய்வகத்தை வழிநடத்துகிறார். செர்ஜி நிரலாக்க மொழி வடிவமைப்பு மற்றும் செயல்படுத்தல், மென்பொருள் சரிபார்ப்பு, விநியோகிக்கப்பட்ட அமைப்புகள், நிரல் தொகுப்பு மற்றும் நிரல் பழுதுபார்ப்பு ஆகியவற்றில் ஆராய்ச்சி செய்கிறார். ஸ்மார்ட் ஒப்பந்தங்களுக்கான ஸ்கில்லா நிரலாக்க மொழியை வடிவமைப்பதில் அவர் அறியப்படுகிறார். அவர் இலவச ஆன்லைன் புத்தகத்தின் ஆசிரியர், நிரல்கள் மற்றும் சான்றுகள்ஃ சார்பு வகைகளுடன் கணிதத்தை இயந்திரமயமாக்குதல், பயிற்சிகளுடன் விரிவுரை குறிப்புகள், இது இயந்திரமயமாக்கப்பட்ட பகுத்தறிவு மற்றும் Coq ஐப் பயன்படுத்தி நிரூபிக்கும் ஊடாடும் தேற்றத்தின் அடிப்படை கருத்துக்களுக்கு ஒரு அறிமுகத்தை வழங்குகிறது. செர்ஜி யேல்-என்யூஎஸ் கல்லூரியில் கூட்டு நியமனம் பெற்றுள்ளார் மற்றும் ஜில்லிக்காவில் முன்னணி மொழி வடிவமைப்பாளராக உள்ளார். 2008 ஆம் ஆண்டில் செயின்ட் பீட்டர்ஸ்பர்க் மாநில பல்கலைக்கழகத்தில் எம். எஸ்சி பட்டமும், 2012 ஆம் ஆண்டில் கியூ லுவெனில் முனைவர் பட்டமும் பெற்றார். என். யு. எஸ்ஸில் சேருவதற்கு முன்பு, அவர் ஐஎம்டிஇஏ மென்பொருள் நிறுவனத்தில் முதுகலை ஆராய்ச்சியாளராகவும், லண்டன் பல்கலைக்கழக கல்லூரியின் ஆசிரியராகவும் இருந்தார். கல்வித் தொழிலைத் தொடங்குவதற்கு முன்பு, அவர் ஜெட்பிரேன்ஸில் மென்பொருள் உருவாக்குநராக பணியாற்றினார். விருதுகள் மற்றும் கௌரவங்கள் 2019 டால்-நைகார்ட் ஜூனியர் பரிசு ஓஓபிஎஸ்எல்ஏ 2019 கலைப்பொருளுக்கான புகழ்பெற்ற கலைப்பொருள் விருது ஸ்கில்லா கட்டுரையில் விவாதிக்கப்பட்டது பிஓபிஎல் 2019 காகிதத்திற்கான புகழ்பெற்ற காகித விருது குவியல்-கையாளுதல் திட்டங்களின் தொகுப்பை கட்டமைத்தல் பி. எல். டி. ஐ 2021 காகிதத்திற்கான புகழ்பெற்ற காகித விருது சுழற்சி திட்ட தொகுப்பு யேல்-என். யு. எஸ் 2021 புகழ்பெற்ற ஆராய்ச்சியாளர் விருது குறிப்புகள் வெளிப்புற இணைப்புகள் தனிப்பட்ட வலைத்தளம் 1986 பிறப்புகள் செயின்ட் பீட்டர்ஸ்பர்க் செயின்ட் பீட்டர்ஸ்பர்க் மாநில பல்கலைக்கழக முன்னாள் மாணவர்கள் கே. யூ. லுவென் முன்னாள் மாணவர்கள் யேல்-என். யு. எஸ் கல்லூரியின் கல்வி ஊழியர்கள் லண்டன் பல்கலைக்கழக கல்லூரியின் கல்வியாளர்கள்