Ilya Sergey
ઇલ્યા સેર્ગેઈ (જન્મ 1986) એક રશિયન કોમ્પ્યુટર વૈજ્ઞાનિક અને નેશનલ યુનિવર્સિટી ઓફ સિંગાપોર ખાતે સ્કૂલ ઓફ કમ્પ્યુટિંગમાં સહયોગી પ્રોફેસર છે, જ્યાં તેઓ વેરિફાઇડ સિસ્ટમ્સ એન્જિનિયરિંગ લેબનું નેતૃત્વ કરે છે. સેર્ગેઈ પ્રોગ્રામિંગ લેંગ્વેજ ડિઝાઇન અને અમલીકરણ, સોફ્ટવેર ચકાસણી, ડિસ્ટ્રિબ્યુટેડ સિસ્ટમ્સ, પ્રોગ્રામ સંશ્લેષણ અને પ્રોગ્રામ રિપેરમાં સંશોધન કરે છે. તેઓ સ્માર્ટ કોન્ટ્રાક્ટ્સ માટે સ્કિલા પ્રોગ્રામિંગ લેંગ્વેજની રચના કરવા માટે જાણીતા છે. તેઓ મફત ઓનલાઇન પુસ્તક, પ્રોગ્રામ્સ એન્ડ પ્રૂફ્સઃ મેકેનાઇઝિંગ મેથેમેટિક્સ વિથ ડિપેન્ડન્ટ ટાઇપ્સના લેખક છે, કવાયત સાથે વ્યાખ્યાન નોંધો, જે યાંત્રીકૃત તર્ક અને ઇન્ટરેક્ટિવ થીયરમની મૂળભૂત વિભાવનાઓનો પરિચય પ્રદાન કરે છે જે Coq નો ઉપયોગ કરીને સાબિત થાય છે. સેર્ગેઈ યેલ-એનયુએસ કોલેજમાં સંયુક્ત નિમણૂક ધરાવે છે અને ઝિલ્લીકામાં મુખ્ય ભાષા ડિઝાઇનર છે. તેમણે 2008માં સેન્ટ પીટર્સબર્ગ સ્ટેટ યુનિવર્સિટીમાંથી એમ. એસ. સી. અને 2012માં કેયુ લ્યુવેન ખાતે તેમની પીએચડી પ્રાપ્ત કરી હતી. એનયુએસમાં જોડાતા પહેલા તેઓ આઇએમડીઇએ સોફ્ટવેર ઇન્સ્ટિટ્યૂટ અને યુનિવર્સિટી કોલેજ લંડનના ફેકલ્ટીમાં પોસ્ટડૉક્ટરલ સંશોધક હતા. શૈક્ષણિક કારકિર્દી શરૂ કરતા પહેલા, તેમણે જેટબ્રેન્સમાં સોફ્ટવેર ડેવલપર તરીકે કામ કર્યું હતું. પુરસ્કારો અને સન્માનો 2019 ડહલ-નાયગાર્ડ જુનિયર પ્રાઇઝ ઓ. ઓ. પી. એસ. એલ. એ. 2019 કલાકૃતિ માટે પ્રતિષ્ઠિત આર્ટિફેક્ટ એવોર્ડ લેખમાં ચર્ચા કરાયેલ સ્કિલા પી. ઓ. પી. એલ. 2019 પેપર માટે પ્રતિષ્ઠિત પેપર એવોર્ડ ઢગલા-હેરફેર કાર્યક્રમોના સંશ્લેષણની રચના પેપર માટે પી. એલ. ડી. આઈ. 2021 વિશિષ્ટ પેપર એવોર્ડ ચક્રીય કાર્યક્રમ સંશ્લેષણ યેલ-એન. યુ. એસ. 2021 પ્રતિષ્ઠિત સંશોધક પુરસ્કાર સંદર્ભો બાહ્ય લિંક્સ વ્યક્તિગત વેબસાઇટ 1986 જન્મ જીવંત લોકો સેન્ટ પીટર્સબર્ગ સેન્ટ પીટર્સબર્ગ સ્ટેટ યુનિવર્સિટીના ભૂતપૂર્વ વિદ્યાર્થીઓ કે. યુ. લ્યુવેન પૂર્વ વિદ્યાર્થીઓ યુનિવર્સિટી કોલેજ લંડનના યેલ-એન. યુ. એસ. કોલેજના એકેડેમિક્સના શૈક્ષણિક સ્ટાફ