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 میں کانسی کا تمغہ ملا۔ سابق ممبران مارسل پال شٹزنبرگر، لوئس نولین، آندرے لینٹن اور مورس نیوات ایل آئی ٹی پی کے بانی ہیں اور ایل آئی اے ایف اے کے سابق سرکردہ ممبران، ایل آئی ٹی پی کے جانشین ہیں۔ ڈومینیک پیرین ایل آئی اے ایف اے کے ڈائریکٹر تھے، گائے کزنیو پی پی ایس کے ڈائریکٹر تھے۔ حوالہ جات بیرونی روابط فرانس میں سرکاری ویب سائٹ تحقیقی ادارے پیرس میں پیرس ایجوکیشن میں دفتر کی عمارتیں