Fundamentalt informatikkforskningsinstitutt
Fundamentalt informatikkforskningsinstitutt
| Fundament | 1 st januar 2016 |
|---|---|
| Forgjenger | LIAFA og PPS |
| Forkortelse | IRIF |
|---|---|
| Kodet | UMR 8243 |
| Type | Forskningsinstitutt , laboratorium |
| Aktivitetsfelt | grunnleggende databehandling |
| Campus | Paris Rive Gauche Campus, Sophie-Germain-bygningen |
| Sete | Paris |
| Land | Frankrike |
| Effektiv | Rundt 200 ( lærer-forskere , forskere og doktorgradsstudenter ) |
|---|---|
| Retning | Frédéric Magniez |
| Foreldreorganisasjoner | University of Paris , CNRS , Inria , FSMP |
| Foreldreorganisasjoner |
University of Paris National Center for Scientific Research |
| Tilhørighet | University of Paris , CNRS , Inria , FSMP |
| Nettsted | www.irif.fr |
The Institute for Research in Fundamental Computer Science , akronym IRIF , er et forskningslaboratorium i grunnleggende informatikk , som ligger i Paris , på campus av universitetet i Paris .
Presentasjon
Instituttet er en felles forskningsenhet (UMR 8243) mellom CNRS og University of Paris , som er vert for to Inria- prosjektgrupper . Det er resultatet av sammenslåingen av de to UMR-ene, LIAFA og PPS som fant sted i1 st januar 2016. IRIF er også medlem av Paris Mathematical Sciences Foundation (FSMP) og av tre hovedområder (DIM) i Ile-de-France-regionen Math Innov , Computer Sciences , Quantum Technologies .
På CNRS har IRIF et hovedvedlegg til Institutt for informasjonsvitenskap og deres interaksjoner (INS2I) og et sekundært vedlegg til National Institute of Mathematical Sciences and their Interactions (INSMI). IRIF er medlem av informatikkavdelingen ved Universitetet i Paris, og ønsker også flere medlemmer av matematikkavdelingen velkommen. Til slutt er IRIF assosiert med doktorgradsskolen for matematiske vitenskaper i Paris Center (ED 386).
IRIF teller, i januar 2019, rundt hundre faste medlemmer, fordelt på omtrent 48 lærerforskere, 27 CNRS-forskere, 5 INRIA-forskere, 8 emeritemedlemmer og 7 administrativt eller teknisk personale. IRIFs totale arbeidsstyrke, inkludert doktorgradsstudenter, postdoktorer og langsiktige besøkende, utgjør nesten to hundre mennesker.
Undersøkelser
Forskningen utført ved IRIF fokuserer på design og analyse av algoritmer , studiet av beregnings- og datarepresentasjonsmodeller, grunnlaget for programmeringsspråk , programvareutvikling , verifisering og sertifisering . For dette er IRIF avhengig av matematiske begreper som er utviklet og studert innenfor den, spesielt i kombinatorikk, grafteori, logikk og algebra. Dette arbeidet bidrar også direkte til matematikk, spesielt i kombinasjonsfysikk, sannsynlighet, kategorier, bevissteori og datamaskinstøttede bevis.
Struktur
IRIF er strukturert i ni tematiske team gruppert i tre forskningspoler:
- Algoritmer og diskrete strukturer
- Algoritmer og kompleksitet
- Kombinatorisk
- Komplekse systemer, nettverk, distribuert databehandling
- Grafteori og algoritmikk
- Automata, strukturer og verifisering
- PLCer og applikasjoner
- Modellering og verifisering
- Bevis, programmer og systemer
- Algebra og kalkulus
- Systemanalyse og design
- Bevis og programmer
Medlemskapspriser
Seks medlemmer av IRIF var stipendiater i European Research Council (ERC), fem er medlemmer av Institut Universitaire de France (IUF) og to (Giuseppe Castagna og Jean-Éric Pin) er medlemmer av Academia Europæa .
- Pierre-Louis Curien ble tildelt Inria Grand Prix fra Académie des sciences i 2020
- Claire Mathieu holdt 2017-2018 Computer and Digital Sciences Chair i Collège de France. Hun fikk CNRS sølvmedalje i 2019. Hun har vært medlem av Académie des Sciences siden 2020
- Jean-Éric Pin mottok Arto Salomaa-prisen i 2018
- Ahmed Bouajjani ble tildelt Carl Friedrich von Siemens-prisen fra Humboldt Foundation i 2018
- Pierre Fraigniaud ble tildelt sølvmedaljen CNRS i 2012, prisen for innovasjon innen databehandling distribuert i 2014
- Thomas Colcombet vant bronsemedaljen i 2010
Tidligere medlemmer
- Marcel-Paul Schützenberger , Louis Nolin, André Lentin og Maurice Nivat er grunnleggerne av LITP og tidligere administrerende medlemmer av LIAFA, etterfølger av LITP.
- Dominique Perrin var direktør for LIAFA, Guy Cousineau var direktør for PPS.
Relaterte artikler
Merknader og referanser
- Presentasjon av IRIF .
- Enhetsevaluering : Institutt for grunnleggende informatikkforskning av Hcéres , 2017-2018.
- Fundamentalt informatikkforskningsinstitutt på www.natureindex.com.