{"id":22190,"date":"2025-02-07T10:29:51","date_gmt":"2025-02-07T09:29:51","guid":{"rendered":"https:\/\/saarland-informatics-campus.de\/?post_type=sic_news&p=22190"},"modified":"2025-02-07T11:33:26","modified_gmt":"2025-02-07T10:33:26","slug":"two-international-honors-for-saarbrucken-max-planck-director","status":"publish","type":"sic_news","link":"https:\/\/saarland-informatics-campus.de\/en\/piece-of-news\/two-international-honors-for-saarbrucken-max-planck-director\/","title":{"rendered":"Two International Honors for Saarbr\u00fccken Max Planck Director"},"content":{"rendered":"

Professor Derek Dreyer, scientific director of the Max Planck Institute for Software Systems. Photo: Oliver Dietze<\/i>
\n
\nProfessor Derek Dreyer, Sci<\/strong>entific Director at the Max Planck Institute for Software Systems (MPI-SWS), has recently received two prestigious international awards recognizing his research. The Association for Computing Machinery (ACM), the world\u2019s largest scientific society in compu<\/strong>ter science, has named him an ACM Fellow. Additionally, at the 2025 edition of the \u201cSymposium on Principles of Programming Languages\u201d (POPL), he together with colleagues was awarded the \u201cMost Influential Paper Award\u201d for a landmark paper published in 2015.<\/strong><\/p>\n

With the Fellow status, the Association for Computing Machinery recognizes the top one percent of ACM members for their outstanding accomplishments in computing and information technology and\/or outstanding service to ACM and the larger computing community. According to the organisation, the ACM now has more than 100,000 members worldwide. In 2024, 55 scientists from around the world were elevated to the rank of ACM Fellows, of these 13 from Europe. Derek Dreyer was recognized \u201cfor contributions to the logical and semantic foundations of programming languages,\u201d as stated in ACM\u2019s award citation.<\/p>\n

Derek Dreyer also received the \u201cACM SIGPLAN Most Influential POPL Paper Award\u201d together with several colleagues, including MPI-SWS alumni Ralf Jung, David Swasey, and Aaron Turon, for their paper \u201cIris: Monoids and Invariants as an Orthogonal Basis for Concurrent Reasoning.\u201d This annual award recognizes research that has had a lasting impact on the theory and practice of programming languages. In their paper, the researchers developed \u201cIris,\u201d a mathematical framework for the formal verification of concurrent programs. Iris has since become a widely used tool in program semantics and verification.<\/p>\n

\u201cI feel deeply honored to receive these prestigious awards,\u201c says Derek Dreyer.\u00a0 \u201cThey are a testament to the incredibly supportive research culture at the Max Planck Society and Saarland University, as well as to the amazing work of my students and colleagues, who have made fundamental contributions to the success of Iris.\u201d<\/p>\n

Since 2008, Dreyer has been a researcher at the Max Planck Institute for Software Systems, serving as Scientific Director since 2022. He is also currently the Managing Director of the Institute, which has locations in Saarbr\u00fccken and Kaiserslautern, Germany.<\/p>\n

Further Information
\n<\/strong>https:\/\/www.acm.org\/media-center\/2025\/january\/fellows-2024<\/u><\/a>
\nAward-winning Paper: https:\/\/dl.acm.org\/doi\/10.1145\/2775051.2676980<\/u><\/a><\/p>\n

Scientific Contact:
\n<\/strong>Prof. Dr. Derek Dreyer
\nScientific Director at the Max Planck Institute for Software Systems
\nEmail: dreyer@mpi-sws.org<\/p>\n

Editor:
\n<\/strong>Philipp Zapf-Schramm
\nMax Planck Institute for Informatics
\nTel: +49681 9325 4509
\nEmail: pzs@mpi-inf.mpg.de<\/u><\/a><\/p>\n","protected":false},"excerpt":{"rendered":"

Professor Derek Dreyer, scientific director of the Max Planck Institute for Software Systems. Photo: Oliver Dietze Professor Derek Dreyer, Scientific Director at the Max Planck Institute for Software Systems (MPI-SWS), has recently received two prestigious international awards recognizing his research. The Association for Computing Machinery (ACM), the world’s largest scientific society in computer science, has […]<\/p>\n","protected":false},"featured_media":22197,"menu_order":0,"template":"","meta":{"_et_pb_use_builder":"","_et_pb_old_content":"","_et_gb_content_width":""},"sic_news-types":[57,59],"class_list":["post-22190","sic_news","type-sic_news","status-publish","has-post-thumbnail","hentry","sic_news-types-mpi-sws-en","sic_news-types-press-release-en"],"yoast_head":"\nTwo International Honors for Saarbr\u00fccken Max Planck Director - Saarland Informatics Campus<\/title>\n<meta name=\"robots\" content=\"index, follow, max-snippet:-1, max-image-preview:large, max-video-preview:-1\" \/>\n<link rel=\"canonical\" href=\"https:\/\/saarland-informatics-campus.de\/en\/piece-of-news\/two-international-honors-for-saarbrucken-max-planck-director\/\" \/>\n<meta property=\"og:locale\" content=\"en_US\" \/>\n<meta property=\"og:type\" content=\"article\" \/>\n<meta property=\"og:title\" content=\"Two International Honors for Saarbr\u00fccken Max Planck Director - Saarland Informatics Campus\" \/>\n<meta property=\"og:description\" content=\"Professor Derek Dreyer, scientific director of the Max Planck Institute for Software Systems. Photo: Oliver Dietze Professor Derek Dreyer, Scientific Director at the Max Planck Institute for Software Systems (MPI-SWS), has recently received two prestigious international awards recognizing his research. The Association for Computing Machinery (ACM), the world’s largest scientific society in computer science, has […]\" \/>\n<meta property=\"og:url\" content=\"https:\/\/saarland-informatics-campus.de\/en\/piece-of-news\/two-international-honors-for-saarbrucken-max-planck-director\/\" \/>\n<meta property=\"og:site_name\" content=\"Saarland Informatics Campus\" \/>\n<meta property=\"article:publisher\" content=\"https:\/\/www.facebook.com\/sic.informatik.saarland\/\" \/>\n<meta property=\"article:modified_time\" content=\"2025-02-07T10:33:26+00:00\" \/>\n<meta property=\"og:image\" content=\"https:\/\/saarland-informatics-campus.de\/wp-content\/uploads\/presse_DerekDreyer-1-1.jpg\" \/>\n\t<meta property=\"og:image:width\" content=\"2560\" \/>\n\t<meta property=\"og:image:height\" content=\"1440\" \/>\n\t<meta property=\"og:image:type\" content=\"image\/jpeg\" \/>\n<meta name=\"twitter:card\" content=\"summary_large_image\" \/>\n<meta name=\"twitter:label1\" content=\"Est. reading time\" \/>\n\t<meta name=\"twitter:data1\" content=\"2 minutes\" \/>\n<script type=\"application\/ld+json\" class=\"yoast-schema-graph\">{\"@context\":\"https:\\\/\\\/schema.org\",\"@graph\":[{\"@type\":\"WebPage\",\"@id\":\"https:\\\/\\\/saarland-informatics-campus.de\\\/en\\\/piece-of-news\\\/two-international-honors-for-saarbrucken-max-planck-director\\\/\",\"url\":\"https:\\\/\\\/saarland-informatics-campus.de\\\/en\\\/piece-of-news\\\/two-international-honors-for-saarbrucken-max-planck-director\\\/\",\"name\":\"Two International Honors for Saarbr\u00fccken Max Planck Director - Saarland Informatics Campus\",\"isPartOf\":{\"@id\":\"https:\\\/\\\/saarland-informatics-campus.de\\\/en\\\/#website\"},\"primaryImageOfPage\":{\"@id\":\"https:\\\/\\\/saarland-informatics-campus.de\\\/en\\\/piece-of-news\\\/two-international-honors-for-saarbrucken-max-planck-director\\\/#primaryimage\"},\"image\":{\"@id\":\"https:\\\/\\\/saarland-informatics-campus.de\\\/en\\\/piece-of-news\\\/two-international-honors-for-saarbrucken-max-planck-director\\\/#primaryimage\"},\"thumbnailUrl\":\"https:\\\/\\\/saarland-informatics-campus.de\\\/wp-content\\\/uploads\\\/presse_DerekDreyer-1-1.jpg\",\"datePublished\":\"2025-02-07T09:29:51+00:00\",\"dateModified\":\"2025-02-07T10:33:26+00:00\",\"breadcrumb\":{\"@id\":\"https:\\\/\\\/saarland-informatics-campus.de\\\/en\\\/piece-of-news\\\/two-international-honors-for-saarbrucken-max-planck-director\\\/#breadcrumb\"},\"inLanguage\":\"en-US\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\\\/\\\/saarland-informatics-campus.de\\\/en\\\/piece-of-news\\\/two-international-honors-for-saarbrucken-max-planck-director\\\/\"]}]},{\"@type\":\"ImageObject\",\"inLanguage\":\"en-US\",\"@id\":\"https:\\\/\\\/saarland-informatics-campus.de\\\/en\\\/piece-of-news\\\/two-international-honors-for-saarbrucken-max-planck-director\\\/#primaryimage\",\"url\":\"https:\\\/\\\/saarland-informatics-campus.de\\\/wp-content\\\/uploads\\\/presse_DerekDreyer-1-1.jpg\",\"contentUrl\":\"https:\\\/\\\/saarland-informatics-campus.de\\\/wp-content\\\/uploads\\\/presse_DerekDreyer-1-1.jpg\",\"width\":2560,\"height\":1440},{\"@type\":\"BreadcrumbList\",\"@id\":\"https:\\\/\\\/saarland-informatics-campus.de\\\/en\\\/piece-of-news\\\/two-international-honors-for-saarbrucken-max-planck-director\\\/#breadcrumb\",\"itemListElement\":[{\"@type\":\"ListItem\",\"position\":1,\"name\":\"Home\",\"item\":\"https:\\\/\\\/saarland-informatics-campus.de\\\/en\\\/\"},{\"@type\":\"ListItem\",\"position\":2,\"name\":\"News\",\"item\":\"https:\\\/\\\/saarland-informatics-campus.de\\\/en\\\/piece-of-news\\\/\"},{\"@type\":\"ListItem\",\"position\":3,\"name\":\"Two International Honors for Saarbr\u00fccken Max Planck Director\"}]},{\"@type\":\"WebSite\",\"@id\":\"https:\\\/\\\/saarland-informatics-campus.de\\\/en\\\/#website\",\"url\":\"https:\\\/\\\/saarland-informatics-campus.de\\\/en\\\/\",\"name\":\"Saarland Informatics Campus\",\"description\":\"in Saarbr\u00fccken, Germany\",\"publisher\":{\"@id\":\"https:\\\/\\\/saarland-informatics-campus.de\\\/en\\\/#organization\"},\"potentialAction\":[{\"@type\":\"SearchAction\",\"target\":{\"@type\":\"EntryPoint\",\"urlTemplate\":\"https:\\\/\\\/saarland-informatics-campus.de\\\/en\\\/?s={search_term_string}\"},\"query-input\":{\"@type\":\"PropertyValueSpecification\",\"valueRequired\":true,\"valueName\":\"search_term_string\"}}],\"inLanguage\":\"en-US\"},{\"@type\":\"Organization\",\"@id\":\"https:\\\/\\\/saarland-informatics-campus.de\\\/en\\\/#organization\",\"name\":\"Saarland Informatics Campus\",\"url\":\"https:\\\/\\\/saarland-informatics-campus.de\\\/en\\\/\",\"logo\":{\"@type\":\"ImageObject\",\"inLanguage\":\"en-US\",\"@id\":\"https:\\\/\\\/saarland-informatics-campus.de\\\/en\\\/#\\\/schema\\\/logo\\\/image\\\/\",\"url\":\"https:\\\/\\\/saarland-informatics-campus.de\\\/wp-content\\\/uploads\\\/SIC_logo_1453x343.png\",\"contentUrl\":\"https:\\\/\\\/saarland-informatics-campus.de\\\/wp-content\\\/uploads\\\/SIC_logo_1453x343.png\",\"width\":1453,\"height\":343,\"caption\":\"Saarland Informatics Campus\"},\"image\":{\"@id\":\"https:\\\/\\\/saarland-informatics-campus.de\\\/en\\\/#\\\/schema\\\/logo\\\/image\\\/\"},\"sameAs\":[\"https:\\\/\\\/www.facebook.com\\\/sic.informatik.saarland\\\/\",\"https:\\\/\\\/bsky.app\\\/profile\\\/saarland-informatics-campus.de\",\"https:\\\/\\\/www.instagram.com\\\/saarland_informatics_campus\\\/\",\"https:\\\/\\\/www.youtube.com\\\/channel\\\/UCaDDK5m9CGCzE4xhZTFC6cA\",\"https:\\\/\\\/www.linkedin.com\\\/company\\\/saarland-informatics-campus\"]}]}<\/script>\n<!-- \/ Yoast SEO plugin. -->","yoast_head_json":{"title":"Two International Honors for Saarbr\u00fccken Max Planck Director - Saarland Informatics Campus","robots":{"index":"index","follow":"follow","max-snippet":"max-snippet:-1","max-image-preview":"max-image-preview:large","max-video-preview":"max-video-preview:-1"},"canonical":"https:\/\/saarland-informatics-campus.de\/en\/piece-of-news\/two-international-honors-for-saarbrucken-max-planck-director\/","og_locale":"en_US","og_type":"article","og_title":"Two International Honors for Saarbr\u00fccken Max Planck Director - Saarland Informatics Campus","og_description":"Professor Derek Dreyer, scientific director of the Max Planck Institute for Software Systems. Photo: Oliver Dietze Professor Derek Dreyer, Scientific Director at the Max Planck Institute for Software Systems (MPI-SWS), has recently received two prestigious international awards recognizing his research. The Association for Computing Machinery (ACM), the world’s largest scientific society in computer science, has […]","og_url":"https:\/\/saarland-informatics-campus.de\/en\/piece-of-news\/two-international-honors-for-saarbrucken-max-planck-director\/","og_site_name":"Saarland Informatics Campus","article_publisher":"https:\/\/www.facebook.com\/sic.informatik.saarland\/","article_modified_time":"2025-02-07T10:33:26+00:00","og_image":[{"url":"https:\/\/saarland-informatics-campus.de\/wp-content\/uploads\/presse_DerekDreyer-1-1.jpg","width":2560,"height":1440,"type":"image\/jpeg"}],"twitter_card":"summary_large_image","twitter_misc":{"Est. reading time":"2 minutes"},"schema":{"@context":"https:\/\/schema.org","@graph":[{"@type":"WebPage","@id":"https:\/\/saarland-informatics-campus.de\/en\/piece-of-news\/two-international-honors-for-saarbrucken-max-planck-director\/","url":"https:\/\/saarland-informatics-campus.de\/en\/piece-of-news\/two-international-honors-for-saarbrucken-max-planck-director\/","name":"Two International Honors for Saarbr\u00fccken Max Planck Director - Saarland Informatics Campus","isPartOf":{"@id":"https:\/\/saarland-informatics-campus.de\/en\/#website"},"primaryImageOfPage":{"@id":"https:\/\/saarland-informatics-campus.de\/en\/piece-of-news\/two-international-honors-for-saarbrucken-max-planck-director\/#primaryimage"},"image":{"@id":"https:\/\/saarland-informatics-campus.de\/en\/piece-of-news\/two-international-honors-for-saarbrucken-max-planck-director\/#primaryimage"},"thumbnailUrl":"https:\/\/saarland-informatics-campus.de\/wp-content\/uploads\/presse_DerekDreyer-1-1.jpg","datePublished":"2025-02-07T09:29:51+00:00","dateModified":"2025-02-07T10:33:26+00:00","breadcrumb":{"@id":"https:\/\/saarland-informatics-campus.de\/en\/piece-of-news\/two-international-honors-for-saarbrucken-max-planck-director\/#breadcrumb"},"inLanguage":"en-US","potentialAction":[{"@type":"ReadAction","target":["https:\/\/saarland-informatics-campus.de\/en\/piece-of-news\/two-international-honors-for-saarbrucken-max-planck-director\/"]}]},{"@type":"ImageObject","inLanguage":"en-US","@id":"https:\/\/saarland-informatics-campus.de\/en\/piece-of-news\/two-international-honors-for-saarbrucken-max-planck-director\/#primaryimage","url":"https:\/\/saarland-informatics-campus.de\/wp-content\/uploads\/presse_DerekDreyer-1-1.jpg","contentUrl":"https:\/\/saarland-informatics-campus.de\/wp-content\/uploads\/presse_DerekDreyer-1-1.jpg","width":2560,"height":1440},{"@type":"BreadcrumbList","@id":"https:\/\/saarland-informatics-campus.de\/en\/piece-of-news\/two-international-honors-for-saarbrucken-max-planck-director\/#breadcrumb","itemListElement":[{"@type":"ListItem","position":1,"name":"Home","item":"https:\/\/saarland-informatics-campus.de\/en\/"},{"@type":"ListItem","position":2,"name":"News","item":"https:\/\/saarland-informatics-campus.de\/en\/piece-of-news\/"},{"@type":"ListItem","position":3,"name":"Two International Honors for Saarbr\u00fccken Max Planck Director"}]},{"@type":"WebSite","@id":"https:\/\/saarland-informatics-campus.de\/en\/#website","url":"https:\/\/saarland-informatics-campus.de\/en\/","name":"Saarland Informatics Campus","description":"in Saarbr\u00fccken, Germany","publisher":{"@id":"https:\/\/saarland-informatics-campus.de\/en\/#organization"},"potentialAction":[{"@type":"SearchAction","target":{"@type":"EntryPoint","urlTemplate":"https:\/\/saarland-informatics-campus.de\/en\/?s={search_term_string}"},"query-input":{"@type":"PropertyValueSpecification","valueRequired":true,"valueName":"search_term_string"}}],"inLanguage":"en-US"},{"@type":"Organization","@id":"https:\/\/saarland-informatics-campus.de\/en\/#organization","name":"Saarland Informatics Campus","url":"https:\/\/saarland-informatics-campus.de\/en\/","logo":{"@type":"ImageObject","inLanguage":"en-US","@id":"https:\/\/saarland-informatics-campus.de\/en\/#\/schema\/logo\/image\/","url":"https:\/\/saarland-informatics-campus.de\/wp-content\/uploads\/SIC_logo_1453x343.png","contentUrl":"https:\/\/saarland-informatics-campus.de\/wp-content\/uploads\/SIC_logo_1453x343.png","width":1453,"height":343,"caption":"Saarland Informatics Campus"},"image":{"@id":"https:\/\/saarland-informatics-campus.de\/en\/#\/schema\/logo\/image\/"},"sameAs":["https:\/\/www.facebook.com\/sic.informatik.saarland\/","https:\/\/bsky.app\/profile\/saarland-informatics-campus.de","https:\/\/www.instagram.com\/saarland_informatics_campus\/","https:\/\/www.youtube.com\/channel\/UCaDDK5m9CGCzE4xhZTFC6cA","https:\/\/www.linkedin.com\/company\/saarland-informatics-campus"]}]}},"_links":{"self":[{"href":"https:\/\/saarland-informatics-campus.de\/en\/wp-json\/wp\/v2\/sic_news\/22190","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/saarland-informatics-campus.de\/en\/wp-json\/wp\/v2\/sic_news"}],"about":[{"href":"https:\/\/saarland-informatics-campus.de\/en\/wp-json\/wp\/v2\/types\/sic_news"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/saarland-informatics-campus.de\/en\/wp-json\/wp\/v2\/media\/22197"}],"wp:attachment":[{"href":"https:\/\/saarland-informatics-campus.de\/en\/wp-json\/wp\/v2\/media?parent=22190"}],"wp:term":[{"taxonomy":"sic_news-types","embeddable":true,"href":"https:\/\/saarland-informatics-campus.de\/en\/wp-json\/wp\/v2\/sic_news-types?post=22190"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}