막스 플랑크 소프트웨어 시스템 연구소(MPI-SWS)는 독일 자르브뤼켄과 카이저슬라우테른에 공동으로 위치한 컴퓨터 과학 연구 기관이다. 막스 플랑크 협회의 일부로, 이 협회는 전 세계에 80개 이상의 연구소를 운영하고 있다. MPI-SWS는 복잡한 소프트웨어 시스템의 설계, 분석, 모델링, 구현, 평가와 관련된 모든 분야에서 기초 연구를 수행한다. 연구 범위는 프로그래밍 시스템, 분산 및 네트워크 시스템, 임베디드 및 자율 시스템, 그리고 정형 모델링, 보안, 신뢰성, 소프트웨어 공학과 같은 교차 분야에 걸쳐 있다.
2004년 11월에 설립된 MPI-SWS는 현재 다섯 명의 소장과 열두 명의 종신 또는 종신트랙 교수, 그리고 두 곳의 캠퍼스에 약 100명의 박사후 연구원과 박사 과정 학생을 두고 있다. 이 연구소는 협력적인 환경과 분산 시스템 및 프로그래밍 언어 분야에서의 기여로 잘 알려져 있다.
연구 초점
MPI-SWS는 이론과 실천을 연결하는 기초 연구를 강조한다. 주요 분야로는 연구자들이 새로운 언어와 도구를 개발하는 프로그래밍 시스템, 확장성에 초점을 맞춘 분산 시스템, 자원 제약 환경을 다루는 임베디드 시스템, 소프트웨어 정확성 검증을 위한 정형 기법, 그리고 보안 및 프라이버시 메커니즘 등이 있다. 최근 연구는 머신 러닝을 시스템 최적화 및 검증에 적용하는 방향으로 점점 더 확장되고 있다.
위치 및 협력
MPI-SWS의 한 기지는 자르브뤼켄의 자를란트 정보학 캠퍼스에 있으며, 자를란트 대학교와 인접해 있다. 이 캠퍼스에는 막스 플랑크 정보학 연구소(MPII)를 포함한 여러 연구 기관이 자리 잡고 있으며, MPI-SWS는 이들과 IT 및 행정 서비스를 공유한다. 두 번째 기지는 카이저슬라우테른-란다우 대학교 캠퍼스에 있으며, MPI-SWS는 컴퓨터 과학 학과 및 프라운호퍼 실험 소프트웨어 공학 연구소, 프라운호퍼 산업 수학 연구소와 협력한다. 이러한 협력은 학제 간 연구에 풍부한 환경을 제공한다.
대학원 교육
국제 막스 플랑크 컴퓨터 과학 연구 학교(IMPRS-CS)는 2000년부터 2019년까지 MPI-SWS와 MPII의 대학원 과정 역할을 담당했다. 이 학교는 자를란트 대학교와 협력하여 전액 지원 박사 과정을 제공했으며, 게르하르트 바이쿰이 대변인을 맡았다. 이후에는 신뢰할 수 있는 컴퓨팅에 특화된 국제 막스 플랑크 연구 학교가 그 뒤를 이었으며, 자를란트 대학교 및 카이저슬라우테른-란다우 대학교와 협력하고 안야 펠트만이 이끌고 있다. 이 새로운 학교는 안정적이고 안전한 소프트웨어 시스템에 중점을 두며, 연구소의 진화하는 우선순위를 반영한다.
교수진 및 연구 그룹
MPI-SWS는 여러 소장 및 교수가 이끄는 연구 그룹으로 구성된다. 소장으로는 피터 드루셸(분산 시스템 및 운영 체제), 데릭 드레이어(프로그래밍 기초), 폴 프랜시스(대규모 인터넷 시스템), 크리슈나 구마디(네트워크 시스템), 루팍 마줌다르(엄격한 소프트웨어 공학), 조엘 우아킨(알고리즘 검증 기초)이 있다. 종신 또는 종신트랙 교수로는 비요른 브란덴부르크(실시간 시스템), 디팍 가르그(컴퓨터 보안 기초), 마누엘 고메스 로드리게스(네트워크 내 학습), 앙투안 카우프만, 아디쉬 싱라, 마리야 토네바, 빅토르 바파이디스(소프트웨어 분석 및 검증), 게오르크 체체(계산 모델) 등이 있다. 이들의 연구는 머신 러닝과 인공지능을 소프트웨어 문제 해결에 통합하는 경우가 많다.
영향 및 향후 방향
MPI-SWS는 모델 검사, 정적 분석, 네트워크 프로토콜 분야에서 영향력 있는 연구 성과를 내왔다. 연구소의 연구자들은 주요 학회에서 최우수 논문상을 포함한 수많은 상을 수상했다. 또한 산업계 및 학계와 적극적으로 협력하며, 졸업생들은 전 세계 여러 기관에서 활동하고 있다. 소프트웨어 시스템이 점점 더 복잡해짐에 따라 MPI-SWS는 딥 러닝을 시스템 설계와 AI 기반 구성 요소의 정형 검증에 적용하는 새로운 영역을 계속 개척하고 있다. 기초 연구에 대한 연구소의 헌신은 이론과 실천 모두에 장기적인 영향을 보장한다.