| Institut Maxe Plancka pro informatiku ( MPI-INF ) | |
|---|---|
| původní název | Němec Max-Planck-Institut pro informatiku |
| Založený | 1988 |
| Ředitel | Hans Peter Seidel |
| Umístění | Saarbrücken |
| Legální adresa | D-66123 Saarbrücken, Campus E1 4 |
| webová stránka | www.mpi-inf.mpg.de |
| Mediální soubory na Wikimedia Commons | |
Institut Maxe Plancka pro informatiku ( MPI-INF ) je institut Společnosti Maxe Plancka , založený v roce 1988 na základě Sárské univerzity v Saarbrückenu . Předmětem vědeckého výzkumu jsou algoritmy a jejich aplikace v širokém slova smyslu. Výzkum pokrývá jak základní oblasti: ( algoritmy a složitost , programová logika ), tak různé aplikační oblasti ( počítačová grafika , výpočtová geometrie , výpočtová biologie , počítačové vidění ). Institut je součástí Společnosti Maxe Plancka , největší německé vědecké společnosti pro základní výzkum.
Od začátku roku 2018 měl ústav pět ředitelů, tzv. vědeckých členů, jsou to:
Kromě oddělení ústav hostí výzkumnou skupinu pro automatizaci logiky, kterou vede Christoph Weidenbach. Harald Ganzinger až do své smrti v roce 2004 vedl katedru programovací logiky [1] . Alice McHardy vede nezávislou výzkumnou skupinu pro výpočetní genomiku a epidemiologii.
Spolu s Max Planck Society Institute for Software Systems (MPI-SWS), Německým výzkumným centrem pro umělou inteligenci (DFKI) a celou Fakultou informatiky na Saar University se institut účastní Mezinárodního setkání a výzkumného centra pro informatiku .
Max Planck International Research School for Computer Science (IMPRS-CS) je postgraduální škola MPII a MPI-SWS. Byla založena v roce 2000 a nabízí plně financovaný doktorandský program ve spolupráci se Sárskou univerzitou . Jeho děkanem je Gerhard Vaikum.