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 में कांस्य पदक मिला पूर्व सदस्य मार्सेल-पॉल शूट्ज़ेनबर्गर, लुई नोलिन, आंद्रे लेंटिन और मौरिस निवट एल. आई. टी. पी. के संस्थापक हैं और एल. आई. ए. एफ. ए. के पूर्व प्रमुख सदस्य, एल. आई. टी. पी. के उत्तराधिकारी हैं। डोमिनिक पेरिन एल. आई. ए. एफ. ए. के निदेशक थे, गाय कजिनेउ पी. पी. एस. के निदेशक थे। संदर्भ बाहरी लिंक आधिकारिक वेबसाइट फ्रांस में अनुसंधान संस्थान पेरिस में पेरिस शिक्षा में कार्यालय भवन