Логотип института | |
Сокращение | MPI-INF |
---|---|
Формирование | 1993 ; 28 лет назад ( 1993) |
Тип | исследовательский институт |
Штаб-квартира | Саарбрюккен, Саар, Германия |
Веб-сайт | www.mpi-inf.mpg.de |
Института Макса Планка по информатике (немецкий: Max-Planck-Institut für Informatik, сокращенно MPI-INF или MPII) является научно - исследовательским институтом в области компьютерных наук с акцентом на алгоритмы и их применение в широком смысле этого слова. В нем проводятся фундаментальные исследования ( алгоритмы и сложность, логика программирования ), а также исследования для различных областей приложений ( компьютерная графика, геометрические вычисления, решение ограничений, вычислительная биология ). Он является частью Max-Planck-Gesellschaft, крупнейшего в Германии государственного фонда исследований.
По состоянию на начало 2018 года в институте было пять директоров, называемых научными сотрудниками. Эти:
Помимо кафедр, в институте работает исследовательская группа по автоматизации логики под руководством Кристофа Вайденбаха. Отдел логики программирования до его смерти в 2004 году возглавлял Харальд Ганцингер. Независимую исследовательскую группу по компьютерной геномике и эпидемиологии возглавляла Элис МакХарди.
Институт вместе с Институтом программных систем Макса Планка (MPI-SWS), Немецким исследовательским центром искусственного интеллекта (DFKI) и всем отделом компьютерных наук Саарландского университета участвует в Internationales Begegnungs- und Forschungszentrum für Informatik.
Международная исследовательская школа информатики Макса Планка (IMPRS-CS) является выпускной школой MPII и MPI-SWS. Он был основан в 2000 году и предлагает полностью финансируемую докторскую программу в сотрудничестве с Саарландским университетом. Декан - Герхард Вейкум.
Координаты : 49 ° 15′28 ″ с.ш., 7 ° 2′44 ″ в.д. / 49,25778 ° с. Ш. 7,04556 ° в. / 49.25778; 7,04556