Instituto Max Planck de Informática ( MPI-INF ) | |
---|---|
nombre original | Alemán Max-Planck-Institut für Informatik |
Fundado | 1988 |
Director | Hans Peter Seidel |
Ubicación | Sarrebruck |
Dirección Legal | D-66123 Saarbrücken, Campus E1 4 |
Sitio web | www.mpi-inf.mpg.de |
Archivos multimedia en Wikimedia Commons |
El Instituto Max Planck de Informática ( MPI-INF) es un instituto de la Sociedad Max Planck , fundado en 1988 sobre la base de la Universidad de Saarland en Saarbrücken . El objeto de la investigación científica son los algoritmos y su aplicación en un sentido amplio. La investigación abarca tanto áreas básicas: ( algoritmos y complejidad , lógica de programas ) como diversos campos de aplicación ( infografía , geometría computacional , biología computacional , visión artificial ). El instituto es parte de la Sociedad Max Planck , la sociedad científica más grande de Alemania para la investigación fundamental.
A principios de 2018, el instituto contaba con cinco directores, los denominados miembros científicos, estos son:
Además de los departamentos, el instituto alberga un grupo de investigación para la automatización de la lógica, encabezado por Christoph Weidenbach. Harald Ganzinger, hasta su muerte en 2004, dirigió el Departamento de Programación Lógica [1] . Alice McHardy dirige un grupo de investigación independiente sobre genómica computacional y epidemiología.
Junto con el Instituto de Sistemas de Software de la Sociedad Max Planck (MPI-SWS), el Centro Alemán de Investigación de Inteligencia Artificial (DFKI) y toda la Facultad de Informática de la Universidad de Saar , el instituto participa en el Centro Internacional de Investigación e Informática .
La Escuela Internacional de Investigación Max Planck para Ciencias de la Computación (IMPRS-CS) es la escuela de posgrado de MPII y MPI-SWS. Fue fundado en 2000 y ofrece un programa de doctorado totalmente financiado en colaboración con la Universidad de Saarland . Su decano es Gerhard Vaikum.