| Max Planck Institut for Informatik ( MPI-INF ) | |
|---|---|
| oprindelige navn | tysk Max-Planck-Institut für Informatik |
| Grundlagt | 1988 |
| Direktør | Hans Peter Seidel |
| Beliggenhed | Saarbrücken |
| Juridisk adresse | D-66123 Saarbrücken, Campus E1 4 |
| Internet side | www.mpi-inf.mpg.de |
| Mediefiler på Wikimedia Commons | |
Max Planck Institute for Informatics ( MPI -INF) er et institut under Max Planck Society , grundlagt i 1988 på grundlag af Saarland University i Saarbrücken . Emnet for videnskabelig forskning er algoritmer og deres anvendelse i bred forstand. Forskningen dækker både grundlæggende områder: ( algoritmer og kompleksitet , programlogik ) og forskellige anvendelsesområder ( computergrafik , beregningsgeometri , beregningsbiologi , computersyn ). Instituttet er en del af Max Planck Society , Tysklands største videnskabelige samfund for grundforskning.
Instituttet havde fra begyndelsen af 2018 fem direktører, de såkaldte videnskabelige medlemmer, disse er:
Ud over afdelingerne er instituttet vært for en forskningsgruppe for automatisering af logik, ledet af Christoph Weidenbach. Harald Ganzinger ledede indtil sin død i 2004 Institut for Programmeringslogik [1] . Alice McHardy leder en uafhængig forskningsgruppe om beregningsgenomik og epidemiologi.
Sammen med Max Planck Society Institute for Software Systems (MPI-SWS), det tyske forskningscenter for kunstig intelligens (DFKI) og hele Informatikfakultetet ved Saar University deltager instituttet i International Meeting and Research Center for Informatics .
Max Planck International Research School for Computer Science (IMPRS-CS) er kandidatskolen for MPII og MPI-SWS. Det blev grundlagt i 2000 og tilbyder et fuldt finansieret ph.d.-program i samarbejde med Saarland University . Dens dekan er Gerhard Vaikum.