| Max Planck Informatikai Intézet ( MPI-INF ) | |
|---|---|
| eredeti név | német Max-Planck-Institut für Informatik |
| Alapított | 1988 |
| Rendező | Hans Peter Seidel |
| Elhelyezkedés | Saarbrücken |
| Legális cím | D-66123 Saarbrücken, Campus E1 4 |
| Weboldal | www.mpi-inf.mpg.de |
| Médiafájlok a Wikimedia Commons oldalon | |
A Max Planck Institute for Informatics ( MPI-INF) a Max Planck Társaság intézete , amelyet 1988-ban alapítottak a saarbrückeni Saarland Egyetemen . A tudományos kutatás tárgya az algoritmusok és azok alkalmazása tág értelemben. A kutatás mindkét alapterületre kiterjed: ( algoritmusok és komplexitás , programlogika ) és különféle alkalmazási területek ( számítógépes grafika , számítási geometria , számítási biológia , számítógépes látás ). Az intézet részeMax Planck Társaság , Németország legnagyobb alapkutatási tudományos társasága.
Az intézetnek 2018 elején öt igazgatója, ún. tudományos tagja volt, ezek:
Az intézetben a tanszékek mellett a logika automatizálásával foglalkozó kutatócsoport működik Christoph Weidenbach vezetésével. Harald Ganzinger 2004-ben bekövetkezett haláláig a Programozási Logikai Tanszéket vezette [1] . Alice McHardy egy független kutatócsoportot vezet a számítógépes genomikával és epidemiológiával.
A Max Planck Társaság Szoftverrendszerek Intézetével (MPI-SWS), a Német Mesterséges Intelligencia Kutatóközponttal (DFKI) és a Saar Egyetem Informatikai Karával együtt az intézet részt vesz a Nemzetközi Informatikai Találkozó és Kutatóközpontban .
A Max Planck Nemzetközi Számítástechnikai Kutatóiskola (IMPRS-CS) az MPII és az MPI-SWS posztgraduális iskolája. 2000 - ben alapították , és a Saarland Egyetemmel együttműködve teljes finanszírozású PhD - programot kínál . Dékánja Gerhard Vaikum.