WikiDer > Макс Планк Информатика институты

Max Planck Institute for Informatics
Макс Планк Информатика институты
Minervampii2.jpg
Институттың логотипі
ҚысқартуMPI-INF
Қалыптасу1993; 27 жыл бұрын (1993)
Түріғылыми-зерттеу институты
ШтабСаарбрюккен, Саарланд, Германия
Веб-сайтwww.mpi-inf.mpg.де

The Макс Планк Информатика институты (Немісше: Max-Planck-Institut für Informatik, қысқартылған MPI-INF немесе MPII) ғылыми-зерттеу институты болып табылады Информатика кең мағынада алгоритмдер мен олардың қосымшаларына назар аудара отырып. Мұнда іргелі зерттеулер өткізіледі (алгоритмдер және күрделілік, бағдарламалау логикасы) сонымен қатар әр түрлі қолданбалы домендерге арналған зерттеу (компьютерлік графика, геометриялық есептеу, шектеулерді шешу, есептеу биологиясы). Бұл Max-Planck-GesellschaftГерманияның іргетас зерттеуге арналған ең ірі мемлекеттік қаржыландырылған органы.

Ғылыми-зерттеу бөлімдері

Саарбрюккендегі Макс Планк информатика институты

2018 жылдың басынан бастап институтта ғылыми мүшелер деп аталатын бес директор болды. Бұлар:

Кафедралардан басқа институтта логиканы автоматтандыру жөніндегі ғылыми топ жұмыс істейді Кристоф Вайденбах. Бағдарламалау логикасы бөлімі 2004 жылы қайтыс болғанға дейін Харальд Ганцингер басқарды.[1] Есептеуші геномика және эпидемиология бойынша тәуелсіз зерттеу тобын басқарды Элис МакХарди.

Институт, сонымен бірге Макс Планк бағдарламалық қамтамасыз ету жүйелері институты (MPI-SWS), Германияның жасанды интеллект ғылыми орталығы (DFKI) және бүкіл Информатика бөлімі Саарланд университеті, қатысады Internationales Begegnungs- und Forschungszentrum für Informatik.

Халықаралық Макс Планк атындағы компьютерлік ғылымдар мектебі (IMPRS-CS) - бұл MPII және MPI-SWS аспирантурасы. Ол 2000 жылы құрылған және ынтымақтастықта толық қаржыландырылатын PhD-бағдарламасын ұсынады Саарланд университеті. Декан Герхард Вайкум.

Сондай-ақ қараңыз

Әдебиеттер тізімі

Сыртқы сілтемелер

Координаттар: 49 ° 15′28 ″ Н. 7 ° 2′44 ″ E / 49.25778 ° N 7.04556 ° E / 49.25778; 7.04556