Institut de recherche en informatique fondamentale
ઇન્સ્ટિટ્યૂટ ડી રીચેર્ચ એન ઇન્ફોર્મેટીક ફૉન્ડામેન્ટેલ (આઇ. આર. આઇ. એફ.; અંગ્રેજીઃ ફંડામેન્ટલ કમ્પ્યુટિંગ રિસર્ચ ઇન્સ્ટિટ્યૂટ) એ કોમ્પ્યુટર વિજ્ઞાનમાં અદ્યતન સંશોધનને ટેકો આપતી ફ્રેન્ચ સંશોધન સંસ્થા છે. તે પેરિસમાં સ્થિત છે. તે યુનિવર્સિટી પેરિસ સિટી સાથેની ભાગીદારીમાં એક જાહેર સંશોધન સંસ્થા છે. પ્રેઝન્ટેશન આઈ. આર. આઈ. એફ. એ સી. એન. આર. એસ. અને યુનિવર્સિટી પેરિસ સિટી દ્વારા સહ-ભંડોળ પૂરું પાડવામાં આવેલું એક સંશોધન એકમ છે, જે એક ઇનરિયા પ્રોજેક્ટ-ટીમનું આયોજન કરે છે. આઇ. આર. આઇ. એફ. એ 1 જાન્યુઆરી 2016ના રોજ થયેલા વિલયનું પરિણામ છે. આઇ. આર. આઇ. એફ. (એફ. એસ. એમ. પી.) અને ઇલે-ડી-ફ્રાન્સ, મેથ ઇનોવ, સાયન્સ ઇન્ફોર્મેટિક્સ, ટેક્નોલોજી ક્વોન્ટિક્સ ક્ષેત્રના મુખ્ય રસના ત્રણ ક્ષેત્રો (ડી. આઈ. એમ.) નું પણ સભ્ય છે. સી. એન. આર. એસ. માં, આઇ. આર. આઇ. એફ. મુખ્યત્વે તેની સાથે જોડાયેલ છે અને તેની સાથે ગૌણ જોડાણ ધરાવે છે. આઇ. આર. આઇ. એફ. યુનિવર્સિટી પેરિસ સિટીના કોમ્પ્યુટર સાયન્સ યુ. એફ. આર. ના સભ્ય છે અને ગણિત યુ. એફ. આર. ના કેટલાક સભ્યોને પણ આવકારે છે. છેવટે, આઇ. આર. આઇ. એફ. પેરિસ સેન્ટર (ઇ. ડી. 386) ની ગણિતીય વિજ્ઞાનની ડૉક્ટરેટ શાળા સાથે સંકળાયેલ છે. જાન્યુઆરી 2019 સુધીમાં, આઈ. આર. આઈ. એફ. માં આશરે 100 કાયમી સભ્યો છે, જે 48 શિક્ષક-સંશોધકો, 27 સી. એન. આર. એસ. સંશોધકો, 5 આઈ. એન. આર. આઈ. એ. સંશોધકો, 8 નિવૃત્ત સભ્યો અને 7 વહીવટી અથવા તકનીકી કર્મચારીઓમાં વહેંચાયેલા છે. આઇ. આર. આઇ. એફ. ખાતે હાથ ધરાયેલું સંશોધન ડિજિટલ વિજ્ઞાનના વર્તમાન અને ભવિષ્યના પડકારોના નવીન ઉકેલો પ્રદાન કરવા માટે તમામ કોમ્પ્યુટર વિજ્ઞાનના પાયાના અભ્યાસ અને સમજણ પર આધારિત છે. આઇ. આર. આઇ. એફ. એલ્ગોરિધમ્સની રચના અને વિશ્લેષણ, કોમ્પ્યુટેશનલ અને ડેટા પ્રતિનિધિત્વ મોડેલોના અભ્યાસ, પ્રોગ્રામિંગ ભાષાઓના પાયા, સોફ્ટવેર વિકાસ, ચકાસણી અને પ્રમાણપત્રમાં તેના યોગદાન માટે જાણીતું છે. આઇ. આર. આઇ. એફ. તેના વૈજ્ઞાનિક અભિગમનો લાભ લઈને આંતરશાખાકીય સંશોધન પણ કરે છે. આઇ. આર. આઇ. એફ. તેની અંદર વિકસિત અને અભ્યાસ કરાયેલ ગાણિતિક ખ્યાલો પર આધાર રાખે છે, ખાસ કરીને સંયોજનશાસ્ત્ર, આલેખ સિદ્ધાંત, તર્કશાસ્ત્ર અને બીજગણિતમાં. તેનું કાર્ય ગણિતમાં પણ સીધું યોગદાન આપે છે, જેમાં સંખ્યા સિદ્ધાંત, સંયુક્ત ભૌતિકશાસ્ત્ર, સંભાવના સિદ્ધાંત, શ્રેણી, સાબિતી સિદ્ધાંત અને કમ્પ્યુટર સહાયિત ગાણિતિક પુરાવાઓનો સમાવેશ થાય છે. માળખું આઇ. આર. આઇ. એફ. ને ત્રણ સંશોધન ધ્રુવોમાં જૂથબદ્ધ નવ વિષયોની ટીમોમાં વહેંચવામાં આવ્યું છેઃ અલ્ગોરિધમ્સ અને સ્વતંત્ર માળખાઓ સંયોજન અને કોમ્પ્લિટિસી ડિસ્ટ્રિબ્યુટેડ કમ્પ્યુટિંગ થિયરી અને ગ્રાફના અલ્ગોરિધમ્સ ઓટોમેટા, માળખા અને ચકાસણી ઓટોમેટા અને એપ્લિકેશન્સ મોડેલિંગ અને ચકાસણી પુરાવા, કાર્યક્રમો અને સિસ્ટમો બીજગણિત અને ગણતરી વિશ્લેષણ અને સિસ્ટમોની વિભાવના પુરાવા અને કાર્યક્રમો સભ્યોની ભિન્નતા છ આઇ. આર. આઇ. એફ. સભ્યોને યુરોપિયન રિસર્ચ કાઉન્સિલ (ઇ. આર. સી.) તરફથી અનુદાન મળ્યું છે, પાંચ ઇન્સ્ટિટ્યૂટ યુનિવર્સિટેયર ડી ફ્રાન્સ (આઇ. યુ. એફ.) ના સભ્યો છે અને બે (જિયુસેપ કાસ્ટાગ્ના અને જીન-એરિક પિન) એકેડેમિયા યુરોપિયાના સભ્યો છે. ફ્રેડરિક મેગ્નીઝે કોલેજ ડી ફ્રાન્સ ખાતે કમ્પ્યુટર સાયન્સ અને ડિજિટલ સાયન્સની 2020-2021 ચેર સંભાળી હતી પિયર-લુઇસ ક્યુરિયનને 2020 માં એકેડેમી ઓફ સાયન્સિસની ઇનરિયા ગ્રાન્ડ પ્રિક્સ એનાયત કરવામાં આવી હતી ક્લેયર મેથ્યુએ કોલેજ ડી ફ્રાન્સ ખાતે કમ્પ્યુટર સાયન્સ અને ડિજિટલ સાયન્સની 2017-2018 ચેર રાખી હતી. તેણીને 2019માં સી. એન. આર. એસ. સિલ્વર મેડલ એનાયત કરવામાં આવ્યો હતો. તે 2020 થી એકેડેમી ઓફ સાયન્સિસની સભ્ય છે જીન-એરિક પિને 2018 માં આર્ટો સાલોમા એવોર્ડ મેળવ્યો હતો અહમદ બૌજ્જાનીને 2018 માં હમ્બોલ્ટ ફાઉન્ડેશન દ્વારા કાર્લ ફ્રેડરિક વોન સિમેન્સ પુરસ્કાર એનાયત કરવામાં આવ્યો હતો પિયર ફ્રેગ્નિયાઉડને 2012 માં સી. એન. આર. એસ. સિલ્વર મેડલ એનાયત કરવામાં આવ્યો હતો, 2014 માં ડિસ્ટ્રિબ્યુટેડ કમ્પ્યુટિંગમાં નવીનતા માટેનો પુરસ્કાર થોમસ કોલકોમ્બેટને 2010 માં બ્રોન્ઝ મેડલ મળ્યો હતો ભૂતપૂર્વ સભ્યો માર્સેલ-પોલ શ્યુત્ઝેનબર્ગર, લુઇસ નોલિન, આન્દ્રે લેન્ટિન અને મૌરિસ નિવટ એલ. આઈ. ટી. પી. ના સ્થાપકો છે અને એલ. આઈ. ટી. પી. ના અનુગામી એલ. આઈ. એ. એફ. એ. ના ભૂતપૂર્વ અગ્રણી સભ્યો છે. ડોમિનિક પેરિન એલ. આઈ. એ. એફ. એ. ના નિર્દેશક હતા, ગાય કઝિનો પી. પી. એસ. ના નિર્દેશક હતા. સંદર્ભો બાહ્ય લિંક્સ સત્તાવાર વેબસાઇટ ફ્રાન્સમાં સંશોધન સંસ્થાઓ પેરિસમાં પેરિસ એજ્યુકેશનમાં ઓફિસ ઇમારતો