| Max Planck Institute for Informatics ( MPI-INF ) | |
|---|---|
| ursprungliga namn | tysk Max-Planck-Institut für Informatik |
| Grundad | 1988 |
| Direktör | Hans Peter Seidel |
| Plats | Saarbrücken |
| Laglig adress | D-66123 Saarbrücken, Campus E1 4 |
| Hemsida | www.mpi-inf.mpg.de |
| Mediafiler på Wikimedia Commons | |
Max Planck Institute for Informatics ( MPI-INF) är ett institut inom Max Planck Society , grundat 1988 på grundval av Saarlands universitet i Saarbrücken . Ämnet för vetenskaplig forskning är algoritmer och deras tillämpning i vid mening. Forskningen omfattar både basområden: ( algoritmer och komplexitet , programlogik ) och olika användningsområden ( datorgrafik , beräkningsgeometri , beräkningsbiologi , datorseende ). Institutet är en del avMax Planck Society , Tysklands största vetenskapliga sällskap för grundforskning.
Från och med början av 2018 hade institutet fem direktörer, de så kallade vetenskapliga medlemmarna, dessa är:
Utöver avdelningarna är institutet värd för en forskargrupp för automatisering av logik, ledd av Christoph Weidenbach. Harald Ganzinger ledde fram till sin död 2004 Institutionen för programmeringslogik [1] . Alice McHardy leder en oberoende forskargrupp om beräkningsgenomik och epidemiologi.
Tillsammans med Max Planck Society Institute for Software Systems (MPI-SWS), det tyska forskningscentret för artificiell intelligens (DFKI) och hela fakulteten för informatik vid Saar University deltar institutet i International Meeting and Research Centre for Informatics .
Max Planck International Research School for Computer Science (IMPRS-CS) är forskarskolan för MPII och MPI-SWS. Det grundades 2000 och erbjuder ett fullt finansierat doktorandprogram i samarbete med Saarlands universitet . Dess dekanus är Gerhard Vaikum.