Ilya Sergey
ইলিয়া সের্গেই (জন্ম 1986) একজন রাশিয়ান কম্পিউটার বিজ্ঞানী এবং সিঙ্গাপুরের জাতীয় বিশ্ববিদ্যালয়ের স্কুল অফ কম্পিউটিংয়ের সহযোগী অধ্যাপক, যেখানে তিনি ভেরিফাইড সিস্টেম ইঞ্জিনিয়ারিং ল্যাবের নেতৃত্ব দেন। সের্গেই প্রোগ্রামিং ভাষার নকশা এবং বাস্তবায়ন, সফ্টওয়্যার যাচাইকরণ, ডিস্ট্রিবিউটেড সিস্টেম, প্রোগ্রাম সংশ্লেষণ এবং প্রোগ্রাম মেরামতের ক্ষেত্রে গবেষণা করেন। তিনি স্মার্ট চুক্তির জন্য স্কিলা প্রোগ্রামিং ভাষা ডিজাইনের জন্য পরিচিত। তিনি বিনামূল্যে অনলাইন বই, প্রোগ্রামস অ্যান্ড প্রুফসঃ মেকানাইজিং ম্যাথমেটিক্স উইথ ডিপেন্ডেন্ট টাইপস, লেকচার নোটস উইথ এক্সারসাইজের লেখক, যা যান্ত্রিক যুক্তি এবং ইন্টারেক্টিভ উপপাদ্যের মৌলিক ধারণাগুলির একটি ভূমিকা প্রদান করে যা কোক ব্যবহার করে প্রমাণ করে। সের্গেই ইয়েল-এন. ইউ. এস কলেজে যৌথ নিয়োগ পেয়েছেন এবং জিলিকার একজন প্রধান ভাষা ডিজাইনার। তিনি 2008 সালে সেন্ট পিটার্সবার্গ স্টেট ইউনিভার্সিটিতে এমএসসি এবং 2012 সালে কেইউ লিউভেনে পিএইচডি অর্জন করেন। এন. ইউ. এস-এ যোগদানের আগে তিনি আইএমডিইএ সফ্টওয়্যার ইনস্টিটিউট এবং ইউনিভার্সিটি কলেজ লন্ডনের অনুষদের একজন পোস্টডক্টরাল গবেষক ছিলেন। একাডেমিক কর্মজীবন শুরু করার আগে, তিনি জেটব্রেইনে সফ্টওয়্যার ডেভেলপার হিসাবে কাজ করেছিলেন। পুরষ্কার এবং সম্মান 2019 ডাল-নাইগার্ড জুনিয়র পুরস্কার ও. ও. পি. এস. এল. এ 2019 বিশিষ্ট আর্টিফ্যাক্ট অ্যাওয়ার্ড শিল্পকর্মের জন্য স্কিলা নিবন্ধে আলোচনা করা হয়েছে পি. ও. পি. এল 2019 গবেষণাপত্রের জন্য বিশিষ্ট কাগজ পুরস্কার স্তূপ-ম্যানিপুলেটিং প্রোগ্রামগুলির সংশ্লেষণ গঠন পি. এল. ডি. আই 2021 কাগজের জন্য বিশিষ্ট কাগজ পুরস্কার চক্রাকার প্রোগ্রাম সংশ্লেষণ ইয়েল-এন. ইউ. এস 2021 বিশিষ্ট গবেষক পুরস্কার রেফারেন্স বাহ্যিক লিঙ্ক ব্যক্তিগত ওয়েবসাইট 1986 জন্ম জীবিত মানুষ সেন্ট পিটার্সবার্গ সেন্ট পিটার্সবার্গ স্টেট ইউনিভার্সিটির প্রাক্তন শিক্ষার্থী কে. ইউ লিউভেন প্রাক্তন শিক্ষার্থী ইউনিভার্সিটি কলেজ লন্ডনের ইয়েল-এন. ইউ. এস কলেজের একাডেমিক স্টাফ