| Institutul Max Planck pentru Informatică ( MPI-INF ) | |
|---|---|
| numele original | limba germana Max-Planck-Institut für Informatik |
| Fondat | 1988 |
| Director | Hans Peter Seidel |
| Locație | Saarbrücken |
| Adresa legala | D-66123 Saarbrücken, Campus E1 4 |
| Site-ul web | www.mpi-inf.mpg.de |
| Fișiere media la Wikimedia Commons | |
Institutul Max Planck pentru Informatică ( MPI-INF) este un institut al Societății Max Planck , fondat în 1988 pe baza Universității Saarland din Saarbrücken . Subiectul cercetării științifice îl reprezintă algoritmii și aplicarea lor în sens larg. Cercetarea acoperă atât domenii de bază: ( algoritmi și complexitate , logica programelor ) cât și diverse domenii de aplicare ( grafică computerizată , geometrie computațională , biologie computațională , viziune computerizată ). Institutul face parte din Societatea Max Planck , cea mai mare societate științifică din Germania pentru cercetare fundamentală.
La începutul anului 2018, institutul avea cinci directori, așa-numiții membri științifici, aceștia sunt:
Pe lângă departamente, institutul găzduiește un grup de cercetare pentru automatizarea logicii, condus de Christoph Weidenbach. Harald Ganzinger, până la moartea sa în 2004, a condus Departamentul de Logică de Programare [1] . Alice McHardy conduce un grup independent de cercetare în genomica computațională și epidemiologie.
Împreună cu Institutul pentru Sisteme Software a Societății Max Planck (MPI-SWS), Centrul German de Cercetare pentru Inteligență Artificială (DFKI) și întreaga Facultate de Informatică de la Universitatea Saar , institutul participă la Centrul Internațional de Întâlnire și Cercetare pentru Informatică .
Max Planck International Research School for Computer Science (IMPRS-CS) este școala absolventă a MPII și MPI-SWS. A fost fondată în 2000 și oferă un program de doctorat complet finanțat în colaborare cu Universitatea Saarland . Decanul său este Gerhard Vaikum.