Temel bilgisayar bilimleri araştırma enstitüsü
Temel bilgisayar bilimleri araştırma enstitüsü
| Yapı temeli | 1 st Ocak 2016 |
|---|---|
| Selef | LIAFA ve PPS |
| Kısaltma | IRIF |
|---|---|
| Kodlu | UMR 8243 |
| Tür | Araştırma enstitüsü , laboratuvar |
| Aktivite alanı | temel bilgi işlem |
| Yerleşke | Paris Rive Gauche Kampüsü, Sophie-Germain Binası |
| Oturma yeri | Paris |
| Ülke | Fransa |
| Etkili | Yaklaşık 200 ( öğretmen-araştırmacı , araştırmacı ve doktora öğrencisi ) |
|---|---|
| Yön | Frédéric Magniez |
| Ana kuruluşlar | Paris Üniversitesi , CNRS , Inria , FSMP |
| Ana kuruluşlar |
Paris Üniversitesi Ulusal Bilimsel Araştırma Merkezi |
| Üyelik | Paris Üniversitesi , CNRS , Inria , FSMP |
| İnternet sitesi | www.irif.fr |
Temel Bilgisayar Bilimleri Araştırma Enstitüsü , kısaltması IRIF , bir araştırma laboratuvarı temel bilgisayar bilimleri bulunan Paris kampüsünde, Paris Üniversitesi .
Sunum
Enstitü, CNRS ile Paris Üniversitesi arasında iki Inria proje ekibine ev sahipliği yapan ortak bir araştırma birimidir (UMR 8243) . İki UMRs, birleşmesi sonucu LIAFA ve PPS gerçekleşti1 st Ocak 2016. IRIF ayrıca Paris Matematik Bilimleri Vakfı'nın (FSMP) ve Ile-de-France bölgesi Math Innov , Bilgisayar Bilimleri , Kuantum Teknolojilerinin üç Ana İlgi Alanının (DIM) üyesidir .
CNRS'de IRIF'in Bilgi Bilimleri Enstitüsü ve Etkileşimleri (INS2I) için ana eki ve Ulusal Matematik Bilimleri Enstitüsü ve Etkileşimleri (INSMI) için ikincil bir eki vardır . IRIF, Paris Üniversitesi'nin BT bölümünün bir üyesidir ve aynı zamanda matematik bölümünün birkaç üyesini ağırlamaktadır. Son olarak, IRIF, Paris Merkezi'nin matematik bilimleri doktora okulu (ED 386) ile ilişkilidir .
IRIF sayar Ocak 2019, yaklaşık 48 öğretmen-araştırmacı, 27 CNRS araştırmacısı, 5 INRIA araştırmacısı, 8 emeritus üye ve 7 idari veya teknik personele bölünmüş yaklaşık yüz daimi üye. IRIF'in doktora öğrencileri, doktora sonrası araştırmacılar ve uzun süreli ziyaretçileri içeren toplam işgücü yaklaşık iki yüz kişidir.
Araştırma
IRIF'te yürütülen araştırma , algoritmaların tasarımı ve analizi, hesaplama ve veri temsil modellerinin incelenmesi, programlama dillerinin temelleri , yazılım geliştirme , doğrulama ve sertifikasyon üzerine odaklanmaktadır . Bunun için IRIF, özellikle kombinatorik, grafik teorisi, mantık ve cebir olmak üzere kendi içinde geliştirilen ve incelenen matematiksel kavramlara dayanır. Bu çalışma aynı zamanda matematiğe, özellikle kombinatoryal fizik, olasılık, kategoriler, ispat teorisi ve bilgisayar destekli ispatlarda doğrudan katkıda bulunur.
Yapısı
IRIF, üç araştırma çubuğunda gruplandırılmış dokuz tematik ekip halinde yapılandırılmıştır:
- Algoritmalar ve ayrık yapılar
- Algoritmalar ve karmaşıklık
- Kombinatoryal
- Karmaşık sistemler, ağlar, dağıtılmış bilgi işlem
- Grafik teorisi ve algoritması
- Otomatlar, yapılar ve doğrulama
- PLC'ler ve uygulamalar
- Modelleme ve doğrulama
- Kanıt, Programlar ve Sistemler
- Cebir ve matematik
- Sistem analizi ve tasarımı
- Kanıt ve programlar
Üyelik ödülleri
IRIF'in altı üyesi, Avrupa Araştırma Konseyi'nin (ERC) üyeleriydi, beşi Institut Universitaire de France (IUF) üyesidir ve ikisi (Giuseppe Castagna ve Jean-Éric Pin) Academia Europæa üyesidir .
- Pierre-Louis Curien , 2020'de Académie des Sciences tarafından Inria Grand Prix'ine layık görüldü.
- Claire Mathieu , 2017-2018 Bilgisayar ve Dijital Bilimler Kürsüsü'nü Collège de France'da gerçekleştirdi. 2019'da CNRS gümüş madalyasını aldı. 2020'den beri Académie des Sciences üyesidir.
- Jean-Éric Pin, 2018'de Arto Salomaa ödülünü aldı
- Ahmed Bouajjani, 2018'de Humboldt Vakfı'ndan Carl Friedrich von Siemens Ödülü'ne layık görüldü.
- Pierre Fraigniaud , 2012'de CNRS gümüş madalyasına layık görüldü ve 2014'te verilen bilgi işlemde yenilik ödülü
- Thomas Colcombet, 2010'da bronz madalya kazandı
Eski üyeler
- Marcel-Paul Schützenberger , Louis Nolin, André Lentin ve Maurice Nivat , LITP'nin kurucuları ve LITP'nin halefi olan LIAFA'nın eski yönetici üyeleridir.
- Dominique Perrin , LIAFA'nın müdürüydü, Guy Cousineau ise PPS'nin yöneticisiydi.
İlgili Makaleler
Notlar ve referanslar
- IRIF'in Sunumu .
- Birim değerlendirmesi: Hcéres tarafından Temel Bilgisayar Araştırmaları Enstitüsü , 2017-2018.
- Temel bilgisayar bilimleri araştırma enstitüsü www.natureindex.com adresinde.