News – MPI SWS

<!DOCTYPE html> <html class="no-js" lang="en-US"> <head> <meta charset="UTF-8"> <meta http-equiv="X-UA-Compatible" content="IE=edge"> <meta name="viewport" content="width=device-width, initial-scale=1.0"> <meta name="mobile-web-app-capable" content="yes"> <meta name="format-detection" content="telephone=no"> <meta name="msapplication-tap-highlight" content="no"> <link rel="icon" type="image/png" href="/wp-content/themes/mpi-sws/assets/images/favicon/favicon-32x32.png?ver=1.9.0"> <link rel="icon" type="image/png" href="/wp-content/themes/mpi-sws/assets/images/favicon/favicon-16x16.png?ver=1.9.0"> <link rel="apple-touch-icon" sizes="180x180" href="/wp-content/themes/mpi-sws/assets/images/favicon/apple-touch-icon.png?ver=1.9.0"> <link rel="manifest" href="/wp-content/themes/mpi-sws/assets/images/favicon/site.webmanifest?ver=1.9.0"> <link rel="manifest" href="/manifest.json"> <meta name="msapplication-TileColor" content="#ffffff"> <meta name="theme-color" content="#ffffff"> <script id="klflx-head-js">((e,p,f,d)=>{var o=[],t={_version:"3.11.8",_config:{classPrefix:"",enableClasses:!0,enableJSClass:!0,usePrefixes:!0},_q:[],on:function(e,t){var n=this;setTimeout(function(){t(n[e])},0)},addTest:function(e,t,n){o.push({name:e,fn:t,options:n})},addAsyncTest:function(e){o.push({name:null,fn:e})}},s=function(){},n=(s.prototype=t,s=new s,[]);function h(e,t){return typeof e===t}var c=f.documentElement,m="svg"===c.nodeName.toLowerCase();function i(e){var t,n=c.className,o=s._config.classPrefix||"";m&&(n=n.baseVal),s._config.enableJSClass&&(t=new RegExp("(^|\\s)"+o+"no-js(\\s|$)"),n=n.replace(t,"$1"+o+"js$2")),s._config.enableClasses&&(0<e.length&&(n+=" "+o+e.join(" "+o)),m?c.className.baseVal=n:c.className=n)}function v(e){return"function"!=typeof f.createElement?f.createElement(e):m?f.createElementNS.call(f,"http://www.w3.org/2000/svg",e):f.createElement.apply(f,arguments)}function g(e,t,n,o){var r,s,i,l,a="modernizr",u=v("div");(l=f.body)||((l=v(m?"svg":"body")).fake=!0);if(parseInt(n,10))for(;n--;)(s=v("div")).id=o?o[n]:a+(n+1),u.appendChild(s);return(r=v("style")).type="text/css",r.id="s"+a,(l.fake?l:u).appendChild(r),l.appendChild(u),r.styleSheet?r.styleSheet.cssText=e:r.appendChild(f.createTextNode(e)),u.id=a,l.fake&&(l.style.background="",l.style.overflow="hidden",i=c.style.overflow,c.style.overflow="hidden",c.appendChild(l)),r=t(u,e),l.fake&&l.parentNode?(l.parentNode.removeChild(l),c.style.overflow=i,c.offsetHeight):u.parentNode.removeChild(u),!!r}function y(e,t,n){var o,r;return"getComputedStyle"in p?(o=getComputedStyle.call(p,e,t),r=p.console,null!==o?n&&(o=o.getPropertyValue(n)):r&&r[r.error?"error":"log"].call(r,"getComputedStyle returning null, its possible modernizr test results are inaccurate")):o=!t&&e.currentStyle&&e.currentStyle[n],o}var r,l,a,u=(r=p.matchMedia||p.msMatchMedia)?function(e){e=r(e);return e&&e.matches||!1}:function(e){var t=!1;return g("@media "+e+" { #modernizr { position: absolute; } }",function(e){t="absolute"===y(e,null,"position")}),t};function w(e,t){if("object"==typeof e)for(var n in e)l(e,n)&&w(n,e[n]);else{var o=(e=e.toLowerCase()).split("."),r=s[o[0]];if(void 0!==(r=2===o.length?r[o[1]]:r))return s;t="function"==typeof t?t():t,1===o.length?s[o[0]]=t:(!s[o[0]]||s[o[0]]instanceof Boolean||(s[o[0]]=new Boolean(s[o[0]])),s[o[0]][o[1]]=t),i([(t&&!1!==t?"":"no-")+o.join("-")]),s._trigger(e,t)}return s}t.mq=u,l=void 0!==(a={}.hasOwnProperty)&&void 0!==a.call?function(e,t){return a.call(e,t)}:function(e,t){return t in e&&void 0===e.constructor.prototype[t]},t._l={},t.on=function(e,t){this._l[e]||(this._l[e]=[]),this._l[e].push(t),s.hasOwnProperty(e)&&setTimeout(function(){s._trigger(e,s[e])},0)},t._trigger=function(e,t){var n;this._l[e]&&(n=this._l[e],setTimeout(function(){for(var e=0;e<n.length;e++)(0,n[e])(t)},0),delete this._l[e])},s._q.push(function(){t.addTest=w}),s.addTest("svg",!!f.createElementNS&&!!f.createElementNS("http://www.w3.org/2000/svg","svg").createSVGRect);var u="Moz O ms Webkit",C=t._config.usePrefixes?u.split(" "):[],_=(t._cssomPrefixes=C,{elem:v("modernizr")}),S=(s._q.push(function(){delete _.elem}),{style:_.elem.style});function x(e){return e.replace(/([A-Z])/g,function(e,t){return"-"+t.toLowerCase()}).replace(/^ms-/,"-ms-")}function b(e,t,n,o){if(o=void 0!==o&&o,void 0!==n){var r=((e,t)=>{var n=e.length;if("CSS"in p&&"supports"in p.CSS){for(;n--;)if(p.CSS.supports(x(e[n]),t))return!0;return!1}if("CSSSupportsRule"in p){for(var o=[];n--;)o.push("("+x(e[n])+":"+t+")");return g("@supports ("+(o=o.join(" or "))+") { #modernizr { position: absolute; } }",function(e){return"absolute"===y(e,null,"position")})}return d})(e,n);if(void 0!==r)return r}for(var s,i,l,a,u,f=["modernizr","tspan","samp"];!S.style&&f.length;)s=!0,S.modElem=v(f.shift()),S.style=S.modElem.style;function c(){s&&(delete S.style,delete S.modElem)}for(l=e.length,i=0;i<l;i++)if(a=e[i],u=S.style[a],~(""+a).indexOf("-")&&(a=a.replace(/([a-z])-([a-z])/g,function(e,t,n){return t+n.toUpperCase()}).replace(/^-/,"")),S.style[a]!==d){if(o||void 0===n)return c(),"pfx"!==t||a;try{S.style[a]=n}catch(e){}if(S.style[a]!==u)return c(),"pfx"!==t||a}return c(),!1}s._q.unshift(function(){delete S.style});var P,T,E,N,z,j,q,k=t._config.usePrefixes?u.toLowerCase().split(" "):[];function A(e,t,n,o,r){var s=e.charAt(0).toUpperCase()+e.slice(1),i=(e+" "+C.join(s+" ")+s).split(" ");if(h(t,"string")||void 0===t)return b(i,t,o,r);var l,a,u,f,c=(e+" "+k.join(s+" ")+s).split(" "),p=t,d=n;for(l in c)if(c[l]in p)return!1===d?c[l]:h(f=p[c[l]],"function")?(a=f,u=d||p,function(){return a.apply(u,arguments)}):f;return!1}function L(e,t,n){return A(e,d,d,t,n)}for(q in t._domPrefixes=k,t.testAllProps=A,t.testAllProps=L,s.addTest("flexbox",L("flexBasis","1px",!0)),o)if(o.hasOwnProperty(q)){if(P=[],(T=o[q]).name&&(P.push(T.name.toLowerCase()),T.options)&&T.options.aliases&&T.options.aliases.length)for(E=0;E<T.options.aliases.length;E++)P.push(T.options.aliases[E].toLowerCase());for(N=h(T.fn,"function")?T.fn():T.fn,z=0;z<P.length;z++)1===(j=P[z].split(".")).length?s[j[0]]=N:(s[j[0]]&&(s[j[0]],s[j[0]]instanceof Boolean)||(s[j[0]]=new Boolean(s[j[0]])),s[j[0]][j[1]]=N),n.push((N?"":"no-")+j.join("-"))}i(n),delete t.addTest,delete t.addAsyncTest;for(var B=0;B<s._q.length;B++)s._q[B]();e.Modernizr=s})(window,window,document);</script> <script type="text/javascript">/* <![CDATA[ */ WebFontConfig = { custom:{ families: ['ProximaNova:n3,i3,n5,n7'], urls: ['/wp-content/themes/mpi-sws/assets/fonts/fonts.css?ver=1.9.0'] } }; /* ]]> */</script> <title>News – MPI SWS</title> <meta name="robots" content="max-image-preview:large"> <link rel="alternate" type="application/rss+xml" title="MPI SWS » News Feed" href="/news/feed/"> <link rel="stylesheet" id="wp-block-library-css" href="/wp-includes/css/dist/block-library/style.min.css?ver=6.3.5" type="text/css" media="all"> <style id="classic-theme-styles-inline-css" type="text/css">/*! This file is auto-generated */ .wp-block-button__link{color:#fff;background-color:#32373c;border-radius:9999px;box-shadow:none;text-decoration:none;padding:calc(.667em + 2px) calc(1.333em + 2px);font-size:1.125em}.wp-block-file__button{background:#32373c;color:#fff;text-decoration:none}</style> <style id="global-styles-inline-css" type="text/css">body{--wp--preset--color--black: #000000;--wp--preset--color--cyan-bluish-gray: #abb8c3;--wp--preset--color--white: #ffffff;--wp--preset--color--pale-pink: #f78da7;--wp--preset--color--vivid-red: #cf2e2e;--wp--preset--color--luminous-vivid-orange: #ff6900;--wp--preset--color--luminous-vivid-amber: #fcb900;--wp--preset--color--light-green-cyan: #7bdcb5;--wp--preset--color--vivid-green-cyan: #00d084;--wp--preset--color--pale-cyan-blue: #8ed1fc;--wp--preset--color--vivid-cyan-blue: #0693e3;--wp--preset--color--vivid-purple: #9b51e0;--wp--preset--gradient--vivid-cyan-blue-to-vivid-purple: linear-gradient(135deg,rgba(6,147,227,1) 0%,rgb(155,81,224) 100%);--wp--preset--gradient--light-green-cyan-to-vivid-green-cyan: linear-gradient(135deg,rgb(122,220,180) 0%,rgb(0,208,130) 100%);--wp--preset--gradient--luminous-vivid-amber-to-luminous-vivid-orange: linear-gradient(135deg,rgba(252,185,0,1) 0%,rgba(255,105,0,1) 100%);--wp--preset--gradient--luminous-vivid-orange-to-vivid-red: linear-gradient(135deg,rgba(255,105,0,1) 0%,rgb(207,46,46) 100%);--wp--preset--gradient--very-light-gray-to-cyan-bluish-gray: linear-gradient(135deg,rgb(238,238,238) 0%,rgb(169,184,195) 100%);--wp--preset--gradient--cool-to-warm-spectrum: linear-gradient(135deg,rgb(74,234,220) 0%,rgb(151,120,209) 20%,rgb(207,42,186) 40%,rgb(238,44,130) 60%,rgb(251,105,98) 80%,rgb(254,248,76) 100%);--wp--preset--gradient--blush-light-purple: linear-gradient(135deg,rgb(255,206,236) 0%,rgb(152,150,240) 100%);--wp--preset--gradient--blush-bordeaux: linear-gradient(135deg,rgb(254,205,165) 0%,rgb(254,45,45) 50%,rgb(107,0,62) 100%);--wp--preset--gradient--luminous-dusk: linear-gradient(135deg,rgb(255,203,112) 0%,rgb(199,81,192) 50%,rgb(65,88,208) 100%);--wp--preset--gradient--pale-ocean: linear-gradient(135deg,rgb(255,245,203) 0%,rgb(182,227,212) 50%,rgb(51,167,181) 100%);--wp--preset--gradient--electric-grass: linear-gradient(135deg,rgb(202,248,128) 0%,rgb(113,206,126) 100%);--wp--preset--gradient--midnight: linear-gradient(135deg,rgb(2,3,129) 0%,rgb(40,116,252) 100%);--wp--preset--font-size--small: 13px;--wp--preset--font-size--medium: 20px;--wp--preset--font-size--large: 36px;--wp--preset--font-size--x-large: 42px;--wp--preset--spacing--20: 0.44rem;--wp--preset--spacing--30: 0.67rem;--wp--preset--spacing--40: 1rem;--wp--preset--spacing--50: 1.5rem;--wp--preset--spacing--60: 2.25rem;--wp--preset--spacing--70: 3.38rem;--wp--preset--spacing--80: 5.06rem;--wp--preset--shadow--natural: 6px 6px 9px rgba(0, 0, 0, 0.2);--wp--preset--shadow--deep: 12px 12px 50px rgba(0, 0, 0, 0.4);--wp--preset--shadow--sharp: 6px 6px 0px rgba(0, 0, 0, 0.2);--wp--preset--shadow--outlined: 6px 6px 0px -3px rgba(255, 255, 255, 1), 6px 6px rgba(0, 0, 0, 1);--wp--preset--shadow--crisp: 6px 6px 0px rgba(0, 0, 0, 1);}:where(.is-layout-flex){gap: 0.5em;}:where(.is-layout-grid){gap: 0.5em;}body .is-layout-flow > .alignleft{float: left;margin-inline-start: 0;margin-inline-end: 2em;}body .is-layout-flow > .alignright{float: right;margin-inline-start: 2em;margin-inline-end: 0;}body .is-layout-flow > .aligncenter{margin-left: auto !important;margin-right: auto !important;}body .is-layout-constrained > .alignleft{float: left;margin-inline-start: 0;margin-inline-end: 2em;}body .is-layout-constrained > .alignright{float: right;margin-inline-start: 2em;margin-inline-end: 0;}body .is-layout-constrained > .aligncenter{margin-left: auto !important;margin-right: auto !important;}body .is-layout-constrained > :where(:not(.alignleft):not(.alignright):not(.alignfull)){max-width: var(--wp--style--global--content-size);margin-left: auto !important;margin-right: auto !important;}body .is-layout-constrained > .alignwide{max-width: var(--wp--style--global--wide-size);}body .is-layout-flex{display: flex;}body .is-layout-flex{flex-wrap: wrap;align-items: center;}body .is-layout-flex > *{margin: 0;}body .is-layout-grid{display: grid;}body .is-layout-grid > *{margin: 0;}:where(.wp-block-columns.is-layout-flex){gap: 2em;}:where(.wp-block-columns.is-layout-grid){gap: 2em;}:where(.wp-block-post-template.is-layout-flex){gap: 1.25em;}:where(.wp-block-post-template.is-layout-grid){gap: 1.25em;}.has-black-color{color: var(--wp--preset--color--black) !important;}.has-cyan-bluish-gray-color{color: var(--wp--preset--color--cyan-bluish-gray) !important;}.has-white-color{color: var(--wp--preset--color--white) !important;}.has-pale-pink-color{color: var(--wp--preset--color--pale-pink) !important;}.has-vivid-red-color{color: var(--wp--preset--color--vivid-red) !important;}.has-luminous-vivid-orange-color{color: var(--wp--preset--color--luminous-vivid-orange) !important;}.has-luminous-vivid-amber-color{color: var(--wp--preset--color--luminous-vivid-amber) !important;}.has-light-green-cyan-color{color: var(--wp--preset--color--light-green-cyan) !important;}.has-vivid-green-cyan-color{color: var(--wp--preset--color--vivid-green-cyan) !important;}.has-pale-cyan-blue-color{color: var(--wp--preset--color--pale-cyan-blue) !important;}.has-vivid-cyan-blue-color{color: var(--wp--preset--color--vivid-cyan-blue) !important;}.has-vivid-purple-color{color: var(--wp--preset--color--vivid-purple) !important;}.has-black-background-color{background-color: var(--wp--preset--color--black) !important;}.has-cyan-bluish-gray-background-color{background-color: var(--wp--preset--color--cyan-bluish-gray) !important;}.has-white-background-color{background-color: var(--wp--preset--color--white) !important;}.has-pale-pink-background-color{background-color: var(--wp--preset--color--pale-pink) !important;}.has-vivid-red-background-color{background-color: var(--wp--preset--color--vivid-red) !important;}.has-luminous-vivid-orange-background-color{background-color: var(--wp--preset--color--luminous-vivid-orange) !important;}.has-luminous-vivid-amber-background-color{background-color: var(--wp--preset--color--luminous-vivid-amber) !important;}.has-light-green-cyan-background-color{background-color: var(--wp--preset--color--light-green-cyan) !important;}.has-vivid-green-cyan-background-color{background-color: var(--wp--preset--color--vivid-green-cyan) !important;}.has-pale-cyan-blue-background-color{background-color: var(--wp--preset--color--pale-cyan-blue) !important;}.has-vivid-cyan-blue-background-color{background-color: var(--wp--preset--color--vivid-cyan-blue) !important;}.has-vivid-purple-background-color{background-color: var(--wp--preset--color--vivid-purple) !important;}.has-black-border-color{border-color: var(--wp--preset--color--black) !important;}.has-cyan-bluish-gray-border-color{border-color: var(--wp--preset--color--cyan-bluish-gray) !important;}.has-white-border-color{border-color: var(--wp--preset--color--white) !important;}.has-pale-pink-border-color{border-color: var(--wp--preset--color--pale-pink) !important;}.has-vivid-red-border-color{border-color: var(--wp--preset--color--vivid-red) !important;}.has-luminous-vivid-orange-border-color{border-color: var(--wp--preset--color--luminous-vivid-orange) !important;}.has-luminous-vivid-amber-border-color{border-color: var(--wp--preset--color--luminous-vivid-amber) !important;}.has-light-green-cyan-border-color{border-color: var(--wp--preset--color--light-green-cyan) !important;}.has-vivid-green-cyan-border-color{border-color: var(--wp--preset--color--vivid-green-cyan) !important;}.has-pale-cyan-blue-border-color{border-color: var(--wp--preset--color--pale-cyan-blue) !important;}.has-vivid-cyan-blue-border-color{border-color: var(--wp--preset--color--vivid-cyan-blue) !important;}.has-vivid-purple-border-color{border-color: var(--wp--preset--color--vivid-purple) !important;}.has-vivid-cyan-blue-to-vivid-purple-gradient-background{background: var(--wp--preset--gradient--vivid-cyan-blue-to-vivid-purple) !important;}.has-light-green-cyan-to-vivid-green-cyan-gradient-background{background: var(--wp--preset--gradient--light-green-cyan-to-vivid-green-cyan) !important;}.has-luminous-vivid-amber-to-luminous-vivid-orange-gradient-background{background: var(--wp--preset--gradient--luminous-vivid-amber-to-luminous-vivid-orange) !important;}.has-luminous-vivid-orange-to-vivid-red-gradient-background{background: var(--wp--preset--gradient--luminous-vivid-orange-to-vivid-red) !important;}.has-very-light-gray-to-cyan-bluish-gray-gradient-background{background: var(--wp--preset--gradient--very-light-gray-to-cyan-bluish-gray) !important;}.has-cool-to-warm-spectrum-gradient-background{background: var(--wp--preset--gradient--cool-to-warm-spectrum) !important;}.has-blush-light-purple-gradient-background{background: var(--wp--preset--gradient--blush-light-purple) !important;}.has-blush-bordeaux-gradient-background{background: var(--wp--preset--gradient--blush-bordeaux) !important;}.has-luminous-dusk-gradient-background{background: var(--wp--preset--gradient--luminous-dusk) !important;}.has-pale-ocean-gradient-background{background: var(--wp--preset--gradient--pale-ocean) !important;}.has-electric-grass-gradient-background{background: var(--wp--preset--gradient--electric-grass) !important;}.has-midnight-gradient-background{background: var(--wp--preset--gradient--midnight) !important;}.has-small-font-size{font-size: var(--wp--preset--font-size--small) !important;}.has-medium-font-size{font-size: var(--wp--preset--font-size--medium) !important;}.has-large-font-size{font-size: var(--wp--preset--font-size--large) !important;}.has-x-large-font-size{font-size: var(--wp--preset--font-size--x-large) !important;} .wp-block-navigation a:where(:not(.wp-element-button)){color: inherit;} :where(.wp-block-post-template.is-layout-flex){gap: 1.25em;}:where(.wp-block-post-template.is-layout-grid){gap: 1.25em;} :where(.wp-block-columns.is-layout-flex){gap: 2em;}:where(.wp-block-columns.is-layout-grid){gap: 2em;} .wp-block-pullquote{font-size: 1.5em;line-height: 1.6;}</style> <link rel="stylesheet" id="cookie-law-info-css" href="/wp-content/plugins/cookie-law-info/legacy/public/css/cookie-law-info-public.css?ver=3.1.6" type="text/css" media="all"> <link rel="stylesheet" id="cookie-law-info-gdpr-css" href="/wp-content/plugins/cookie-law-info/legacy/public/css/cookie-law-info-gdpr.css?ver=3.1.6" type="text/css" media="all"> <link rel="stylesheet" id="theme-styles-css" href="/wp-content/themes/mpi-sws/assets/style.css?ver=1.9.0" type="text/css" media="screen"> <link rel="stylesheet" id="theme-print-styles-css" href="/wp-content/themes/mpi-sws/assets/print.css?ver=1.9.0" type="text/css" media="print"> <script type="text/javascript" src="/wp-includes/js/jquery/jquery.min.js?ver=3.7.0" id="jquery-core-js"></script> <script type="text/javascript" src="/wp-includes/js/jquery/jquery-migrate.min.js?ver=3.4.1" id="jquery-migrate-js"></script> <script type="text/javascript" id="cookie-law-info-js-extra"> /* <![CDATA[ */ var Cli_Data = {"nn_cookie_ids":[],"cookielist":[],"non_necessary_cookies":[],"ccpaEnabled":"","ccpaRegionBased":"","ccpaBarEnabled":"","strictlyEnabled":["necessary","obligatoire"],"ccpaType":"gdpr","js_blocking":"1","custom_integration":"","triggerDomRefresh":"","secure_cookies":""}; var cli_cookiebar_settings = {"animate_speed_hide":"500","animate_speed_show":"500","background":"#bcbcbc","border":"#b1a6a6c2","border_on":"","button_1_button_colour":"#61a229","button_1_button_hover":"#4e8221","button_1_link_colour":"#fff","button_1_as_button":"1","button_1_new_win":"","button_2_button_colour":"#333","button_2_button_hover":"#292929","button_2_link_colour":"#444","button_2_as_button":"","button_2_hidebar":"","button_3_button_colour":"#dedfe0","button_3_button_hover":"#b2b2b3","button_3_link_colour":"#333333","button_3_as_button":"1","button_3_new_win":"","button_4_button_colour":"#dedfe0","button_4_button_hover":"#b2b2b3","button_4_link_colour":"#333333","button_4_as_button":"1","button_7_button_colour":"#1e73be","button_7_button_hover":"#185c98","button_7_link_colour":"#fff","button_7_as_button":"1","button_7_new_win":"","font_family":"inherit","header_fix":"","notify_animate_hide":"1","notify_animate_show":"","notify_div_id":"#cookie-law-info-bar","notify_position_horizontal":"right","notify_position_vertical":"bottom","scroll_close":"","scroll_close_reload":"","accept_close_reload":"","reject_close_reload":"","showagain_tab":"","showagain_background":"#fff","showagain_border":"#000","showagain_div_id":"#cookie-law-info-again","showagain_x_position":"100px","text":"#333333","show_once_yn":"","show_once":"10000","logging_on":"","as_popup":"","popup_overlay":"1","bar_heading_text":"","cookie_bar_as":"banner","popup_showagain_position":"bottom-right","widget_position":"left"}; var log_object = {"ajax_url":"\/wp-admin\/admin-ajax.php"}; /* ]]> */ </script> <script type="text/javascript" src="/wp-content/plugins/cookie-law-info/legacy/public/js/cookie-law-info-public.js?ver=3.1.6" id="cookie-law-info-js"></script>   <link rel="EditURI" type="application/rsd+xml" title="RSD" href="/xmlrpc.php?rsd"> <style type="text/css">.cryptex, .cryptex .divider{display: inline-block;padding: 0px 1px 0px 1px;margin: 0px;background-color: transparent;cursor: auto;font-size: 12px;font-family: inherit;font-weight: normal;font-style: normal;text-align: left;text-transform: none;color: #000000;}.cryptex[rel], .cryptex[rel] span.divider {cursor: auto;}.cryptex img, .CryptexImg{margin: 0px;padding: 0px;border: solid 0px #ffffff;background-color: transparent;box-shadow: none;display: inline;vertical-align: middle;float: none;clear: none;}.CryptexImg{display: inline-block;background-size: contain;background-repeat: no-repeat;background-position: 0px 0px;}</style> </head> <body class="archive date post-type-archive post-type-archive-mpisws_news has-sec-nav page--news-archive lang--en_US"> <div class="top-nav js-top-nav"> <nav class="top-nav__ct" role="navigation" aria-label="Primary Menu">  <div class="nav--first nav js-nv js-nv-mn"> <div class="ct nav__ct"> <a href="/" class="nav__logo-lnk nav__logo-lnk"> <img src="/wp-content/themes/mpi-sws/assets/images/mpi-sws-logo.svg?ver=1.9.0" alt=" " class="nav__logo nav__logo--mob js-nv-lnk js-nv-lnk-home svg js-svg"> </a> <ul id="menu-header-menu" class="nav__menu menu"> <li id="menu-item-997" class="menu-item menu-item-type-custom menu-item-object-custom menu-item-has-children menu-item-997 nav__itm menu__itm"> <a href="/#ResearchAreas" class="nav__lnk js-nv-lnk menu__lnk">Research</a> <div class="nav-scroll-clip"><div class="nav-scroll-ct js-nv-scroll-ct"> <span class="arrow-prev js-scroll-left"></span><ul class="nav__menu menu menu--sub nav__menu--sub js-nv-sub-mn"> <li id="menu-item-454" class="menu-item menu-item-type-post_type menu-item-object-mpisws_researcharea menu-item-454 nav__itm menu__itm"><a href="/research-areas/algorithms-theory-logic/" class="nav__lnk js-nv-lnk menu__lnk">Algorithms, Theory & Logic</a></li> <li id="menu-item-252" class="menu-item menu-item-type-post_type menu-item-object-mpisws_researcharea menu-item-252 nav__itm menu__itm"><a href="/research-areas/programming-languages-and-verification/" class="nav__lnk js-nv-lnk menu__lnk">Programming Languages & Verification</a></li> <li id="menu-item-253" class="menu-item menu-item-type-post_type menu-item-object-mpisws_researcharea menu-item-253 nav__itm menu__itm"><a href="/research-areas/cyber-physical-systems/" class="nav__lnk js-nv-lnk menu__lnk">Cyber-Physical Systems</a></li> <li id="menu-item-251" class="menu-item menu-item-type-post_type menu-item-object-mpisws_researcharea menu-item-251 nav__itm menu__itm"><a href="/research-areas/distributed-networked-and-mobile-systems/" class="nav__lnk js-nv-lnk menu__lnk">Distributed, Networked & Mobile Systems</a></li> <li id="menu-item-254" class="menu-item menu-item-type-post_type menu-item-object-mpisws_researcharea menu-item-254 nav__itm menu__itm"><a href="/research-areas/security-and-privacy/" class="nav__lnk js-nv-lnk menu__lnk">Security & Privacy</a></li> <li id="menu-item-255" class="menu-item menu-item-type-post_type menu-item-object-mpisws_researcharea menu-item-255 nav__itm menu__itm"><a href="/research-areas/social-and-information-systems/" class="nav__lnk js-nv-lnk menu__lnk">Social & Information Systems</a></li> <li id="menu-item-537" class="menu-item menu-item-type-custom menu-item-object-custom menu-item-537 nav__itm menu__itm"><a href="https://cis.mpg.de/" class="nav__lnk js-nv-lnk menu__lnk">More CS @ MPG</a></li> </ul> <span class="arrow-next js-scroll-right"></span> </div></div> </li> <li id="menu-item-243" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-has-children menu-item-243 nav__itm menu__itm"> <a href="/research-careers/" class="nav__lnk js-nv-lnk menu__lnk">Careers</a> <div class="nav-scroll-clip"><div class="nav-scroll-ct js-nv-scroll-ct"> <span class="arrow-prev js-scroll-left"></span><ul class="nav__menu menu menu--sub nav__menu--sub js-nv-sub-mn"> <li id="menu-item-378" class="menu-item menu-item-type-custom menu-item-object-custom menu-item-378 nav__itm menu__itm"><a href="/research-careers/#general" class="nav__lnk js-nv-lnk menu__lnk">Overview</a></li> <li id="menu-item-6840" class="menu-item menu-item-type-custom menu-item-object-custom menu-item-6840 nav__itm menu__itm"><a href="/research-careers/#tenure-track-openings" class="nav__lnk js-nv-lnk menu__lnk">Tenure-track openings</a></li> <li id="menu-item-380" class="menu-item menu-item-type-custom menu-item-object-custom menu-item-380 nav__itm menu__itm"><a href="/research-careers/#postdoctoral-positions" class="nav__lnk js-nv-lnk menu__lnk">Postdoctoral Positions</a></li> <li id="menu-item-381" class="menu-item menu-item-type-custom menu-item-object-custom menu-item-381 nav__itm menu__itm"><a href="/research-careers/#internships" class="nav__lnk js-nv-lnk menu__lnk">Internships</a></li> <li id="menu-item-4860" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-4860 nav__itm menu__itm"><a href="/equal-opportunities/" class="nav__lnk js-nv-lnk menu__lnk">Equal Opportunity Resources</a></li> </ul> <span class="arrow-next js-scroll-right"></span> </div></div> </li> <li id="menu-item-244" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-has-children menu-item-244 nav__itm menu__itm"> <a href="/graduate-studies/" class="nav__lnk js-nv-lnk menu__lnk">Grad Studies</a> <div class="nav-scroll-clip"><div class="nav-scroll-ct js-nv-scroll-ct"> <span class="arrow-prev js-scroll-left"></span><ul class="nav__menu menu menu--sub nav__menu--sub js-nv-sub-mn"> <li id="menu-item-383" class="menu-item menu-item-type-custom menu-item-object-custom menu-item-383 nav__itm menu__itm"><a href="/graduate-studies/#general" class="nav__lnk js-nv-lnk menu__lnk">Overview</a></li> <li id="menu-item-384" class="menu-item menu-item-type-custom menu-item-object-custom menu-item-384 nav__itm menu__itm"><a href="/graduate-studies/#why-choose-mpi-swsY" class="nav__lnk js-nv-lnk menu__lnk">Why Choose MPI-SWS?</a></li> <li id="menu-item-385" class="menu-item menu-item-type-custom menu-item-object-custom menu-item-385 nav__itm menu__itm"><a href="/graduate-studies/#our-graduate-program" class="nav__lnk js-nv-lnk menu__lnk">Graduate Studies @ MPI-SWS</a></li> <li id="menu-item-386" class="menu-item menu-item-type-custom menu-item-object-custom menu-item-386 nav__itm menu__itm"><a href="/graduate-studies/#program-structure" class="nav__lnk js-nv-lnk menu__lnk">Program Structure</a></li> <li id="menu-item-387" class="menu-item menu-item-type-custom menu-item-object-custom menu-item-387 nav__itm menu__itm"><a href="/graduate-studies/#admission" class="nav__lnk js-nv-lnk menu__lnk">Admission</a></li> <li id="menu-item-388" class="menu-item menu-item-type-custom menu-item-object-custom menu-item-388 nav__itm menu__itm"><a href="/graduate-studies/#faqs" class="nav__lnk js-nv-lnk menu__lnk">FAQs</a></li> <li id="menu-item-8098" class="menu-item menu-item-type-custom menu-item-object-custom menu-item-8098 nav__itm menu__itm"><a href="/graduate-studies/#different-programs" class="nav__lnk js-nv-lnk menu__lnk">Different programs</a></li> <li id="menu-item-8097" class="menu-item menu-item-type-custom menu-item-object-custom menu-item-8097 nav__itm menu__itm"><a href="/graduate-studies/#support-services" class="nav__lnk js-nv-lnk menu__lnk">Support Services</a></li> <li id="menu-item-389" class="menu-item menu-item-type-custom menu-item-object-custom menu-item-389 nav__itm menu__itm"><a href="/graduate-studies/#life-in-germany" class="nav__lnk js-nv-lnk menu__lnk">Life in Germany</a></li> </ul> <span class="arrow-next js-scroll-right"></span> </div></div> </li> <li id="menu-item-309" class="menu-item menu-item-type-custom menu-item-object-custom menu-item-has-children menu-item-309 nav__itm menu__itm"> <a href="/people/" class="nav__lnk js-nv-lnk menu__lnk">People</a> <div class="nav-scroll-clip"><div class="nav-scroll-ct js-nv-scroll-ct"> <span class="arrow-prev js-scroll-left"></span><ul class="nav__menu menu menu--sub nav__menu--sub js-nv-sub-mn"> <li id="menu-item-967" class="menu-item menu-item-type-custom menu-item-object-custom menu-item-967 nav__itm menu__itm"><a href="/people/#faculty-and-researchers" class="nav__lnk js-nv-lnk menu__lnk">Faculty</a></li> <li id="menu-item-4086" class="menu-item menu-item-type-custom menu-item-object-custom menu-item-4086 nav__itm menu__itm"><a href="/people/#postdocs" class="nav__lnk js-nv-lnk menu__lnk">Postdoctoral Researchers</a></li> <li id="menu-item-968" class="menu-item menu-item-type-custom menu-item-object-custom menu-item-968 nav__itm menu__itm"><a href="/people/#students-and-interns" class="nav__lnk js-nv-lnk menu__lnk">Doctoral Students and Interns</a></li> <li id="menu-item-969" class="menu-item menu-item-type-custom menu-item-object-custom menu-item-969 nav__itm menu__itm"><a href="/people/#former" class="nav__lnk js-nv-lnk menu__lnk">Former members</a></li> <li id="menu-item-970" class="menu-item menu-item-type-custom menu-item-object-custom menu-item-970 nav__itm menu__itm"><a href="/people/#joint-administration" class="nav__lnk js-nv-lnk menu__lnk">Joint Central Services</a></li> <li id="menu-item-971" class="menu-item menu-item-type-custom menu-item-object-custom menu-item-971 nav__itm menu__itm"><a href="/people/#services" class="nav__lnk js-nv-lnk menu__lnk">Service Staff</a></li> </ul> <span class="arrow-next js-scroll-right"></span> </div></div> </li> <li id="menu-item-256" class="menu-item menu-item-type-custom menu-item-object-custom menu-item-has-children menu-item-256 nav__itm menu__itm"> <a href="/events/" class="nav__lnk js-nv-lnk menu__lnk">Events</a> <div class="nav-scroll-clip"><div class="nav-scroll-ct js-nv-scroll-ct"> <span class="arrow-prev js-scroll-left"></span><ul class="nav__menu menu menu--sub nav__menu--sub js-nv-sub-mn"> <li id="menu-item-390" class="menu-item menu-item-type-custom menu-item-object-custom menu-item-390 nav__itm menu__itm"><a href="/events/" class="nav__lnk js-nv-lnk menu__lnk">Overview</a></li> <li id="menu-item-391" class="menu-item menu-item-type-custom menu-item-object-custom menu-item-391 nav__itm menu__itm"><a href="/events/upcoming/" class="nav__lnk js-nv-lnk menu__lnk">Upcoming</a></li> <li id="menu-item-392" class="menu-item menu-item-type-custom menu-item-object-custom menu-item-392 nav__itm menu__itm"><a href="/events/recent/" class="nav__lnk js-nv-lnk menu__lnk">Recent</a></li> <li id="menu-item-393" class="menu-item menu-item-type-custom menu-item-object-custom menu-item-393 nav__itm menu__itm"><a href="/events/2016/" class="nav__lnk js-nv-lnk menu__lnk">Archive</a></li> </ul> <span class="arrow-next js-scroll-right"></span> </div></div> </li> <li id="menu-item-2651" class="menu-item menu-item-type-custom menu-item-object-custom menu-item-has-children menu-item-2651 nav__itm menu__itm"> <a href="/news/general" class="nav__lnk js-nv-lnk menu__lnk">News</a> <div class="nav-scroll-clip"><div class="nav-scroll-ct js-nv-scroll-ct"> <span class="arrow-prev js-scroll-left"></span><ul class="nav__menu menu menu--sub nav__menu--sub js-nv-sub-mn"> <li id="menu-item-4323" class="menu-item menu-item-type-custom menu-item-object-custom menu-item-4323 nav__itm menu__itm"><a href="/news/general/" class="nav__lnk js-nv-lnk menu__lnk">All</a></li> <li id="menu-item-8095" class="menu-item menu-item-type-custom menu-item-object-custom menu-item-8095 nav__itm menu__itm"><a href="/news/general/2023" class="nav__lnk js-nv-lnk menu__lnk">2023</a></li> <li id="menu-item-8094" class="menu-item menu-item-type-custom menu-item-object-custom menu-item-8094 nav__itm menu__itm"><a href="/news/general/2022" class="nav__lnk js-nv-lnk menu__lnk">2022</a></li> <li id="menu-item-8096" class="menu-item menu-item-type-custom menu-item-object-custom menu-item-8096 nav__itm menu__itm"><a href="/news/general/2021" class="nav__lnk js-nv-lnk menu__lnk">2021</a></li> <li id="menu-item-7192" class="menu-item menu-item-type-custom menu-item-object-custom menu-item-7192 nav__itm menu__itm"><a href="/news/general/2020" class="nav__lnk js-nv-lnk menu__lnk">2020</a></li> <li id="menu-item-7191" class="menu-item menu-item-type-custom menu-item-object-custom menu-item-7191 nav__itm menu__itm"><a href="/news/general/2019" class="nav__lnk js-nv-lnk menu__lnk">2019</a></li> <li id="menu-item-7190" class="menu-item menu-item-type-custom menu-item-object-custom menu-item-7190 nav__itm menu__itm"><a href="/news/general/2018" class="nav__lnk js-nv-lnk menu__lnk">2018</a></li> <li id="menu-item-6049" class="menu-item menu-item-type-custom menu-item-object-custom menu-item-6049 nav__itm menu__itm"><a href="/news/general/2017" class="nav__lnk js-nv-lnk menu__lnk">2017</a></li> <li id="menu-item-2115" class="menu-item menu-item-type-custom menu-item-object-custom menu-item-2115 nav__itm menu__itm"><a href="/news/general/2016" class="nav__lnk js-nv-lnk menu__lnk">2016</a></li> <li id="menu-item-2114" class="menu-item menu-item-type-custom menu-item-object-custom menu-item-2114 nav__itm menu__itm"><a href="/news/general/2015" class="nav__lnk js-nv-lnk menu__lnk">2015</a></li> <li id="menu-item-2113" class="menu-item menu-item-type-custom menu-item-object-custom menu-item-2113 nav__itm menu__itm"><a href="/news/general/2014" class="nav__lnk js-nv-lnk menu__lnk">2014</a></li> <li id="menu-item-2112" class="menu-item menu-item-type-custom menu-item-object-custom menu-item-2112 nav__itm menu__itm"><a href="/news/general/2013" class="nav__lnk js-nv-lnk menu__lnk">2013</a></li> <li id="menu-item-2111" class="menu-item menu-item-type-custom menu-item-object-custom menu-item-2111 nav__itm menu__itm"><a href="/news/general/2012" class="nav__lnk js-nv-lnk menu__lnk">2012</a></li> <li id="menu-item-2110" class="menu-item menu-item-type-custom menu-item-object-custom menu-item-2110 nav__itm menu__itm"><a href="/news/general/2011" class="nav__lnk js-nv-lnk menu__lnk">2011</a></li> <li id="menu-item-2109" class="menu-item menu-item-type-custom menu-item-object-custom menu-item-2109 nav__itm menu__itm"><a href="/news/general/2010" class="nav__lnk js-nv-lnk menu__lnk">2010</a></li> <li id="menu-item-2108" class="menu-item menu-item-type-custom menu-item-object-custom menu-item-2108 nav__itm menu__itm"><a href="/news/general/2009" class="nav__lnk js-nv-lnk menu__lnk">2009</a></li> <li id="menu-item-2107" class="menu-item menu-item-type-custom menu-item-object-custom menu-item-2107 nav__itm menu__itm"><a href="/news/general/2008" class="nav__lnk js-nv-lnk menu__lnk">2008</a></li> <li id="menu-item-2105" class="menu-item menu-item-type-custom menu-item-object-custom menu-item-2105 nav__itm menu__itm"><a href="/news/general/2007" class="nav__lnk js-nv-lnk menu__lnk">2007</a></li> <li id="menu-item-2106" class="menu-item menu-item-type-custom menu-item-object-custom menu-item-2106 nav__itm menu__itm"><a href="/news/general/2006" class="nav__lnk js-nv-lnk menu__lnk">2006</a></li> <li id="menu-item-2116" class="menu-item menu-item-type-custom menu-item-object-custom menu-item-2116 nav__itm menu__itm"><a href="/news/general/2005" class="nav__lnk js-nv-lnk menu__lnk">2005</a></li> <li id="menu-item-2117" class="menu-item menu-item-type-custom menu-item-object-custom menu-item-2117 nav__itm menu__itm"><a href="/news/general/2004/" class="nav__lnk js-nv-lnk menu__lnk">2004</a></li> </ul> <span class="arrow-next js-scroll-right"></span> </div></div> </li> <li id="menu-item-245" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-has-children menu-item-245 nav__itm menu__itm"> <a href="/about-us/" class="nav__lnk js-nv-lnk menu__lnk">About Us</a> <div class="nav-scroll-clip"><div class="nav-scroll-ct js-nv-scroll-ct"> <span class="arrow-prev js-scroll-left"></span><ul class="nav__menu menu menu--sub nav__menu--sub js-nv-sub-mn"> <li id="menu-item-2653" class="menu-item menu-item-type-custom menu-item-object-custom menu-item-2653 nav__itm menu__itm"><a href="/about-us/#welcome-from-the-founding-director" class="nav__lnk js-nv-lnk menu__lnk">Welcome from the Founding Director</a></li> <li id="menu-item-402" class="menu-item menu-item-type-custom menu-item-object-custom menu-item-402 nav__itm menu__itm"><a href="/about-us/#structure-and-organization" class="nav__lnk js-nv-lnk menu__lnk">Structure and Organization</a></li> <li id="menu-item-403" class="menu-item menu-item-type-custom menu-item-object-custom menu-item-403 nav__itm menu__itm"><a href="/about-us/#scientific-advisory-board" class="nav__lnk js-nv-lnk menu__lnk">Scientific Advisory Board</a></li> <li id="menu-item-404" class="menu-item menu-item-type-custom menu-item-object-custom menu-item-404 nav__itm menu__itm"><a href="/about-us/#biennial-progress-reports" class="nav__lnk js-nv-lnk menu__lnk">Biennial Progress Reports</a></li> <li id="menu-item-405" class="menu-item menu-item-type-custom menu-item-object-custom menu-item-405 nav__itm menu__itm"><a href="/about-us/#contact" class="nav__lnk js-nv-lnk menu__lnk">Contact</a></li> </ul> <span class="arrow-next js-scroll-right"></span> </div></div> </li> </ul> </div> </div>  <div class="nav js-nv nav--sec js-nv-sec"> <div class="ct nav__ct js-nv-scroll-ct nav-scroll-ct"> <span class="arrow-prev js-scroll-left"></span> <ul class="nav__lst--sec nav__lst"> <li class="nav__itm--sec nav__itm"> <a href="/news/" class="nav__lnk--sec nav__lnk ">All</a> </li> <li class="nav__itm--sec nav__itm"> <a href="/news/2024/" class="nav__lnk--sec nav__lnk ">2024</a> </li> <li class="nav__itm--sec nav__itm"> <a href="/news/2023/" class="nav__lnk--sec nav__lnk ">2023</a> </li> <li class="nav__itm--sec nav__itm"> <a href="/news/2022/" class="nav__lnk--sec nav__lnk is-active">2022</a> </li> <li class="nav__itm--sec nav__itm"> <a href="/news/2021/" class="nav__lnk--sec nav__lnk ">2021</a> </li> <li class="nav__itm--sec nav__itm"> <a href="/news/2020/" class="nav__lnk--sec nav__lnk ">2020</a> </li> <li class="nav__itm--sec nav__itm"> <a href="/news/2019/" class="nav__lnk--sec nav__lnk ">2019</a> </li> <li class="nav__itm--sec nav__itm"> <a href="/news/2018/" class="nav__lnk--sec nav__lnk ">2018</a> </li> <li class="nav__itm--sec nav__itm"> <a href="/news/2017/" class="nav__lnk--sec nav__lnk ">2017</a> </li> <li class="nav__itm--sec nav__itm"> <a href="/news/2016/" class="nav__lnk--sec nav__lnk ">2016</a> </li> <li class="nav__itm--sec nav__itm"> <a href="/news/2015/" class="nav__lnk--sec nav__lnk ">2015</a> </li> <li class="nav__itm--sec nav__itm"> <a href="/news/2014/" class="nav__lnk--sec nav__lnk ">2014</a> </li> <li class="nav__itm--sec nav__itm"> <a href="/news/2013/" class="nav__lnk--sec nav__lnk ">2013</a> </li> <li class="nav__itm--sec nav__itm"> <a href="/news/2012/" class="nav__lnk--sec nav__lnk ">2012</a> </li> <li class="nav__itm--sec nav__itm"> <a href="/news/2011/" class="nav__lnk--sec nav__lnk ">2011</a> </li> <li class="nav__itm--sec nav__itm"> <a href="/news/2010/" class="nav__lnk--sec nav__lnk ">2010</a> </li> <li class="nav__itm--sec nav__itm"> <a href="/news/2009/" class="nav__lnk--sec nav__lnk ">2009</a> </li> <li class="nav__itm--sec nav__itm"> <a href="/news/2008/" class="nav__lnk--sec nav__lnk ">2008</a> </li> <li class="nav__itm--sec nav__itm"> <a href="/news/2007/" class="nav__lnk--sec nav__lnk ">2007</a> </li> <li class="nav__itm--sec nav__itm"> <a href="/news/2006/" class="nav__lnk--sec nav__lnk ">2006</a> </li> <li class="nav__itm--sec nav__itm"> <a href="/news/2005/" class="nav__lnk--sec nav__lnk ">2005</a> </li> <li class="nav__itm--sec nav__itm"> <a href="/news/2004/" class="nav__lnk--sec nav__lnk ">2004</a> </li> </ul> <span class="arrow-next js-scroll-right"></span> </div> </div>   <div class="nav--mob nav js-nv-mob"> <a href="/" class="nav__logo-lnk nav__logo-lnk--mob"><img src="/wp-content/themes/mpi-sws/assets/images/mpi-sws-logo.svg?ver=1.9.0" alt=" " class="nav__logo nav__logo--mob js-nv-lnk js-nv-lnk-home svg js-svg"></a> <a class="nav__toggle-lnk lnk--burger js-nv-toggle-lnk" href="javascript:;" title="Show Navigation"><span class="ln ln--1 js-nv-mn-lnk-ln-1"></span><span class="ln ln--2 js-nv-mn-lnk-ln-2"></span><span class="ln ln--3 js-nv-mn-lnk-ln-3"></span></a> </div> </nav> </div> <div class="page__ct js-pg-ct"> <main class="page__main" role="main"> <style scoped>.page__hd { background-image: url("/wp-content/themes/mpi-sws/assets/images/bg/MPI-SWS-Research-Areas_180.jpg?ver=1.9.0"); background-position:50% 50%;background-repeat:no-repeat;background-size:cover;}@media (min-width: 181px) {.page__hd { background-image: url("/wp-content/themes/mpi-sws/assets/images/bg/MPI-SWS-Research-Areas_360.jpg?ver=1.9.0"); }}@media (min-width: 361px) {.page__hd { background-image: url("/wp-content/themes/mpi-sws/assets/images/bg/MPI-SWS-Research-Areas_720.jpg?ver=1.9.0"); }}@media (min-width: 721px) {.page__hd { background-image: url("/wp-content/themes/mpi-sws/assets/images/bg/MPI-SWS-Research-Areas_1440.jpg?ver=1.9.0"); }}</style> <header class="page__hd"> <div class="ct"> <div class="page__title-ct"> <h1 class="page__title">News 2022</h1> </div> </div> </header> <div class="page__body"> <article class="news "> <div class="ct"> <div class="page__anchor" id="georg-zetzsche-awarded-erc-starting-grant"></div> <header class="news__hd"> <h2 class="news__ttl">Georg Zetzsche awarded ERC Starting Grant</h2> <div class="news__meta"> <div class="news__date">December 2022</div> <div class="news__category"> <a href="/category/people/alumni-news/" rel="category tag">Alumni News</a>, <a href="/category/grants/erc-awards/" rel="category tag">ERC Awards</a>, <a href="/category/homepagenews/" rel="category tag">Homepage News</a> </div> </div> <div class="news__img-ct"> </div> </header> <div class="news__bd js-readmore-ct"> <div class="news__cnt"> <div class="news__cnt-preview cnt js-readmore-excerpt">Georg Zetzsche, head of the MPI-SWS Models of Computation group, has been awarded a 2022 ERC Starting Grant. Over the next five years, his project FINABIS will receive funding of 1.48 million euros for research on "Finite-state abstractions of infinite-state systems." Read more about the FINABIS project below.<br> <br> In addition, MPI-SWS and University of Saarland alumnus Pramod Bhatotia, who is currently a professor at TU Munich, has also received a 2022 ERC Starting Grant for his project "DOS: A Decentralized Operating System". ...</div> <div class="news__cnt-full cnt js-readmore-full">Georg Zetzsche, head of the MPI-SWS Models of Computation group, has been awarded a 2022 ERC Starting Grant. Over the next five years, his project FINABIS will receive funding of 1.48 million euros for research on "Finite-state abstractions of infinite-state systems." Read more about the FINABIS project below.<br> <br> In addition, MPI-SWS and University of Saarland alumnus Pramod Bhatotia, who is currently a professor at TU Munich, has also received a 2022 <span class="il">ERC</span> Starting Grant for his project "DOS: A Decentralized Operating System".<br> <br> ERC grants are the most prestigious and the most competitive European-level awards for ground-breaking scientific investigations. This year, less than 14% of all ERC Starting Grant applicants across all scientific disciplines received the award, with only 17 awardees in Computer Science across all of Europe and Israel!<br> <br> These grants carry substantial research funding -- each winner receives up to 1.5 Million Euros over a period of 5 years to carry out their research. You can find more information about 2022 <span class="il">ERC</span> Starting Grants here: <a href="https://erc.europa.eu/news-events/news/starting-grants-2022-call-results" target="_blank" rel="noopener noreferrer" data-saferedirecturl="https://www.google.com/url?q=https://erc.europa.eu/news-events/news/starting-grants-2022-call-results&source=gmail&ust=1669886669093000&usg=AOvVaw3Xp96wUy8nUxWzcIi0Vta3">https://<span class="il">erc</span>.europa.eu/news-events/news/starting-grants-2022-call-results</a><br> <br> <strong>The FINABIS Project</strong><br> <br> A fundamental question in computing is: What can programs find out algorithmically about other programs? If we want to analyze arbitrary programs, the answer is long known and simple: Essentially nothing. However, in recent decades, we have seen that if we restrict the class of analyzed programs, there is a rich variety of approaches to checking various important properties.<br> <br> Understanding how to restrict the analyzed programs (while retaining as much expressivity as possible) has gained practical importance in the area of software verification. Here, algorithms for analyzing programs can be used to automatically check their correctness.<br> <br> The available approaches to analyze programs typically transform a given program into an abstract model of computation. To account for program behaviors for all possible inputs, this usually results in models with infinitely many states. Designing algorithms that can work with such infinite-state systems poses a challenge. For example, we still do not have a clear picture of which types of infinite state spaces permit checking simple safety properties. In formal terms: For which infinite-state systems is reachability decidable?<br> <br> In the FINABIS project ("Finite-state abstractions of infinite-state systems"), we are studying ways to transform infinite-state systems into finite-state systems that preserve some pertinent aspects of the original system. Understanding such transformations helps in two ways: First, finite-state systems are easier to work with algorithmically. So if our transformation preserves enough of the original system's behavior, we can simply analyze the finite system instead. Second, the specific transformations we study (subword closures and separability problems), and how we study them, are closely connected to understanding the decidability and complexity of reachability and also several other long-standing open problems in theoretical computer science.</div> </div> <a class="btn-readmore js-readmore-btn" data-more="Read more" data-less="Read less" role="button">Read more</a> </div> </div> </article> <article class="news "> <div class="ct"> <div class="page__anchor" id="laurent-bindschaedler-joins-mpi-sws-faculty"></div> <header class="news__hd"> <h2 class="news__ttl">Laurent Bindschaedler joins MPI-SWS faculty</h2> <div class="news__meta"> <div class="news__date">November 2022</div> <div class="news__category"> <a href="/category/homepagenews/" rel="category tag">Homepage News</a>, <a href="/category/people/new-faculty/" rel="category tag">New faculty</a> </div> </div> <div class="news__img-ct"> <img src="/wp-content/uploads/2023/06/laurent-150x100.jpeg" width="150" height="100" srcset=" /wp-content/uploads/2023/06/laurent-150x100.jpeg 150w, /wp-content/uploads/2023/06/laurent-300x200.jpeg 300w, /wp-content/uploads/2023/06/laurent-600x400.jpeg 600w, /wp-content/uploads/2023/06/laurent-768x512.jpeg 768w, /wp-content/uploads/2023/06/laurent-900x600.jpeg 900w, /wp-content/uploads/2023/06/laurent-1024x683.jpeg 1024w, /wp-content/uploads/2023/06/laurent-1200x800.jpeg 1200w, /wp-content/uploads/2023/06/laurent.jpeg 1500w" title="laurent" sizes="100vw"> </div> </header> <div class="news__bd js-readmore-ct"> <div class="news__cnt"> <div class="news__cnt-preview cnt js-readmore-excerpt">Laurent Bindschaedler joins the faculty as a Research Group Leader at our institute starting November 2022. Laurent will be heading the Data Systems Group (DSG), which is focused on exploring a wide range of topics at the intersection of systems, data management, and machine learning. His group is particularly interested in systems for big data and machine learning, machine learning for systems, real-time analytics systems, and decentralized systems.<br> <br> Before joining MPI-SWS, Laurent was a postdoctoral researcher at MIT CSAIL, ...</div> <div class="news__cnt-full cnt js-readmore-full"> <div>Laurent Bindschaedler joins the faculty as a Research Group Leader at our institute starting November 2022. Laurent will be heading the Data Systems Group (DSG), which is focused on exploring a wide range of topics at the intersection of systems, data management, and machine learning. His group is particularly interested in systems for big data and machine learning, machine learning for systems, real-time analytics systems, and decentralized systems.</div> <br> <div></div> <br> <div>Before joining MPI-SWS, Laurent was a postdoctoral researcher at MIT CSAIL, working with Prof. Tim Kraska. He completed his Ph.D. at EPFL, advised by Prof. Willy Zwaenepoel. Laurent built the Chaos graph processing system, which holds a record for the largest graph processed in a small cluster of commodity servers. He is the recipient of a Swiss National Science Foundation Fellowship from 2020 to 2022 and an EPFL EDIC Fellowship from 2015 to 2016.</div> <br> <div></div> <br> <div>Laurent’s personal website: <a href="https://binds.ch/" target="_blank" rel="noopener" data-saferedirecturl="https://www.google.com/url?q=https://binds.ch&source=gmail&ust=1686046586623000&usg=AOvVaw1dmGaDGDnXJDgkyv4g827R">https://binds.ch</a> </div> <br> <div>DSG website: <a href="https://dsg.mpi-sws.org/" target="_blank" rel="noopener" data-saferedirecturl="https://www.google.com/url?q=https://dsg.mpi-sws.org&source=gmail&ust=1686046586623000&usg=AOvVaw22obYGkhQkH3AxpPewCiHK">https://dsg.mpi-sws.org</a> </div> </div> </div> <a class="btn-readmore js-readmore-btn" data-more="Read more" data-less="Read less" role="button">Read more</a> </div> </div> </article> <article class="news "> <div class="ct"> <div class="page__anchor" id="tenure-track-openings-at-max-planck-institutes-in-computer-science-3"></div> <header class="news__hd"> <h2 class="news__ttl">Tenure-track Openings at Max Planck Institutes in Computer Science</h2> <div class="news__meta"> <div class="news__date">November 2022</div> <div class="news__category"> <a href="/category/homepagenews/" rel="category tag">Homepage News</a>, <a href="/category/people/open-positions/" rel="category tag">Open Positions</a> </div> </div> <div class="news__img-ct"> </div> </header> <div class="news__bd js-readmore-ct"> <div class="news__cnt"> <div class="news__cnt-preview cnt js-readmore-excerpt">The Max Planck Institutes in Computer Science invite applications for tenure-track faculty in all areas of computer science. We expect to fill several positions.<br> <br> A doctoral degree in computer science or related areas and an outstanding research record are required. Successful candidates are expected to build a team and pursue a highly visible research agenda, both independently and in collaboration with other groups.<br> <br> The institutes are part of a network of over 80 Max Planck Institutes, ...</div> <div class="news__cnt-full cnt js-readmore-full">The Max Planck Institutes in Computer Science invite applications for tenure-track faculty in all areas of computer science. We expect to fill several positions.<br> <br> A doctoral degree in computer science or related areas and an outstanding research record are required. Successful candidates are expected to build a team and pursue a highly visible research agenda, both independently and in collaboration with other groups.<br> <br> The institutes are part of a network of over 80 Max Planck Institutes, Germany's premier basic-research organisations. MPIs have an established record of world-class, foundational research in the sciences, technology, and the humanities. The institutes offer a unique environment that combines the best aspects of a university department and a research laboratory: Faculty enjoy full academic freedom, lead a team of doctoral students and postdocs, and have the opportunity to teach university courses; at the same time, they enjoy ongoing institutional funding in addition to third-party funds, a technical infrastructure unrivaled for an academic institution, as well as internationally competitive compensation.<br> <br> We maintain an international and diverse work environment and seek applications from outstanding researchers worldwide. The working language is English; knowledge of the German language is not required for a successful career at the institutes.<br> <br> Qualified candidates should apply on our application website (<a href="https://apply.cis.mpg.de/">apply.cis.mpg.de</a>). Review of applications will begin by <b>December 1st, 2022</b>.<br> <br> The Max Planck Society wishes to increase the number of women in those areas where they are underrepresented. Women are therefore explicitly encouraged to apply. The Max Planck Society is also committed to increasing the number of employees with severe disabilities in its workforce. Applications from persons with severe disabilities are expressly desired.<br> <br> The initial tenure-track appointment is for five years; it can be extended to seven years based on a positive midterm evaluation in the fourth year. A permanent contract can be awarded upon a successful tenure evaluation in the sixth year.</div> </div> <a class="btn-readmore js-readmore-btn" data-more="Read more" data-less="Read less" role="button">Read more</a> </div> </div> </article> <article class="news "> <div class="ct"> <div class="page__anchor" id="ralf-jung-accepts-faculty-position-at-eth-zurich"></div> <header class="news__hd"> <h2 class="news__ttl">Ralf Jung accepts faculty position at ETH Zurich</h2> <div class="news__meta"> <div class="news__date">October 2022</div> <div class="news__category"> <a href="/category/people/alumni-news/" rel="category tag">Alumni News</a>, <a href="/category/homepagenews/" rel="category tag">Homepage News</a> </div> </div> <div class="news__img-ct"> <img src="/wp-content/uploads/2021/07/ralf2019-150x225.jpeg" width="150" height="225" srcset=" /wp-content/uploads/2021/07/ralf2019-150x225.jpeg 150w, /wp-content/uploads/2021/07/ralf2019-200x300.jpeg 200w, /wp-content/uploads/2021/07/ralf2019-300x450.jpeg 300w, /wp-content/uploads/2021/07/ralf2019-600x900.jpeg 600w, /wp-content/uploads/2021/07/ralf2019-682x1024.jpeg 682w, /wp-content/uploads/2021/07/ralf2019-768x1152.jpeg 768w, /wp-content/uploads/2021/07/ralf2019-900x1350.jpeg 900w, /wp-content/uploads/2021/07/ralf2019-1200x1800.jpeg 1200w, /wp-content/uploads/2021/07/ralf2019.jpeg 1333w" title="ralf2019" sizes="100vw"> </div> </header> <div class="news__bd js-readmore-ct"> <div class="news__cnt"> <div class="news__cnt-preview cnt js-readmore-excerpt">Ralf Jung, a doctoral student in the Foundations of Programming group, has accepted a position as a tenure-track assistant professor in the Department of Computer Science at ETH Zurich, Switzerland. Congratulations Ralf!<br> <br> Ralf's primary research interest is in developing formal foundations and tools that establish machine-checked guarantees for real-world software systems. To achieve this, his work spans all the way from foundational and deeply theoretical to applied, from proving theorems to developing tools used by other researchers and software developers.. ...</div> <div class="news__cnt-full cnt js-readmore-full">Ralf Jung, a doctoral student in the Foundations of Programming group, has accepted a position as a tenure-track assistant professor in the Department of Computer Science at ETH Zurich, Switzerland. Congratulations Ralf!<br> <br> Ralf's primary research interest is in developing formal foundations and tools that establish machine-checked guarantees for real-world software systems. To achieve this, his work spans all the way from foundational and deeply theoretical to applied, from proving theorems to developing tools used by other researchers and software developers.. You can find out more about his work at <a href="https://research.ralfj.de/" target="_blank" rel="noopener">https://research.ralfj.de/</a>.</div> </div> <a class="btn-readmore js-readmore-btn" data-more="Read more" data-less="Read less" role="button">Read more</a> </div> </div> </article> <article class="news "> <div class="ct"> <div class="page__anchor" id="simon-spies-receives-google-fellowship"></div> <header class="news__hd"> <h2 class="news__ttl">Simon Spies receives 2022 Google Fellowship</h2> <div class="news__meta"> <div class="news__date">September 2022</div> <div class="news__category"> <a href="/category/grants/fellowships/" rel="category tag">Fellowships</a>, <a href="/category/homepagenews/" rel="category tag">Homepage News</a> </div> </div> <div class="news__img-ct"> <img src="/wp-content/uploads/2020/05/simon-150x159.jpg" width="150" height="159" srcset=" /wp-content/uploads/2020/05/simon-150x159.jpg 150w, /wp-content/uploads/2020/05/simon-282x300.jpg 282w, /wp-content/uploads/2020/05/simon-300x319.jpg 300w, /wp-content/uploads/2020/05/simon-600x637.jpg 600w, /wp-content/uploads/2020/05/simon.jpg 723w" title="simon" sizes="100vw"> </div> </header> <div class="news__bd js-readmore-ct"> <div class="news__cnt"> <div class="news__cnt-preview cnt js-readmore-excerpt">MPI-SWS doctoral student Simon Spies was awarded a 2022 Google PhD Fellowship to fund his doctoral research on <a href="https://iris-project.org/pdfs/2024-pldi-quiver.pdf">Quiver</a>, a verification tool for inferring functional correctness specifications in separation logic.<br> <br> The Google PhD Fellowship Program was created to recognize outstanding graduate students doing exceptional and innovative research in areas relevant to computer science and related fields. Simon, who is advised by Derek Dreyer, was the only student in the area of Programming Technology and Software Engineering to receive a fellowship in 2022. ...</div> <div class="news__cnt-full cnt js-readmore-full">MPI-SWS doctoral student Simon Spies was awarded a 2022 Google PhD Fellowship to fund his doctoral research on <a href="https://iris-project.org/pdfs/2024-pldi-quiver.pdf">Quiver</a>, a verification tool for inferring functional correctness specifications in separation logic.<br> <br> The Google PhD Fellowship Program was created to recognize outstanding graduate students doing exceptional and innovative research in areas relevant to computer science and related fields. <span class="il">Simon</span>, who is advised by Derek Dreyer, was the only student in the area of Programming Technology and Software Engineering to receive a fellowship in 2022.<br> <br> Link: <a href="https://research.google/outreach/phd-fellowship/" target="_blank" rel="noopener noreferrer">https://research.google/outreach/phd-fellowship/</a> </div> </div> <a class="btn-readmore js-readmore-btn" data-more="Read more" data-less="Read less" role="button">Read more</a> </div> </div> </article> <article class="news "> <div class="ct"> <div class="page__anchor" id="mariya-toneva-will-join-mpi-sws-tenure-track-faculty"></div> <header class="news__hd"> <h2 class="news__ttl">Mariya Toneva joins MPI-SWS tenure-track faculty</h2> <div class="news__meta"> <div class="news__date">September 2022</div> <div class="news__category"> <a href="/category/homepagenews/" rel="category tag">Homepage News</a>, <a href="/category/people/new-faculty/" rel="category tag">New faculty</a> </div> </div> <div class="news__img-ct"> <img src="/wp-content/uploads/2021/10/MariyaTonevaLandscape-150x120.jpeg" width="150" height="120" srcset=" /wp-content/uploads/2021/10/MariyaTonevaLandscape-150x120.jpeg 150w, /wp-content/uploads/2021/10/MariyaTonevaLandscape-300x240.jpeg 300w, /wp-content/uploads/2021/10/MariyaTonevaLandscape-600x480.jpeg 600w, /wp-content/uploads/2021/10/MariyaTonevaLandscape-768x614.jpeg 768w, /wp-content/uploads/2021/10/MariyaTonevaLandscape-900x720.jpeg 900w, /wp-content/uploads/2021/10/MariyaTonevaLandscape-1024x819.jpeg 1024w, /wp-content/uploads/2021/10/MariyaTonevaLandscape-1200x960.jpeg 1200w, /wp-content/uploads/2021/10/MariyaTonevaLandscape.jpeg 1500w" title="MariyaTonevaLandscape" sizes="100vw"> </div> </header> <div class="news__bd js-readmore-ct"> <div class="news__cnt"> <div class="news__cnt-preview cnt js-readmore-excerpt">Mariya Toneva joins the tenure-track faculty at our institute starting September 2022. Mariya’s research is at the intersection of machine learning, natural language processing, and neuroscience. Her group bridges language in machines with language in the brain, with a focus on building computational models of language processing in the brain that can also improve natural language processing systems.<br> <br> Prior to joining MPI-SWS, Mariya conducted research as a C.V. Starr Fellow at the Princeton Neuroscience Institute. ...</div> <div class="news__cnt-full cnt js-readmore-full">Mariya Toneva joins the tenure-track faculty at our institute starting September 2022. Mariya’s research is at the intersection of machine learning, natural language processing, and neuroscience. Her group bridges language in machines with language in the brain, with a focus on building computational models of language processing in the brain that can also improve natural language processing systems.<br> <br> Prior to joining MPI-SWS, Mariya conducted research as a C.V. Starr Fellow at the Princeton Neuroscience Institute. She received her Ph.D. in a joint program between Machine Learning and Neural Computation from Carnegie Mellon University, and her B.S. in Computer Science and Cognitive Science from Yale University.</div> </div> <a class="btn-readmore js-readmore-btn" data-more="Read more" data-less="Read less" role="button">Read more</a> </div> </div> </article> <article class="news "> <div class="ct"> <div class="page__anchor" id="program-chair-of-popl-2024"></div> <header class="news__hd"> <h2 class="news__ttl">Program Chair of POPL 2024</h2> <div class="news__meta"> <div class="news__date">July 2022</div> <div class="news__category"> <a href="/category/homepagenews/" rel="category tag">Homepage News</a>, <a href="/category/people/leadership-roles/" rel="category tag">Leadership roles</a> </div> </div> <div class="news__img-ct"> </div> </header> <div class="news__bd js-readmore-ct"> <div class="news__cnt"> <div class="news__cnt-preview cnt js-readmore-excerpt">MPI-SWS Director Derek Dreyer has been selected as the program chair of the 51st ACM SIGPLAN Symposium on Principles of Programming (POPL'24), to be held in London January 17–19, 2024.<br> <br> POPL is the premier venue in the area of programming languages and, alongside PLDI, ranks as one of the top two international conferences on this topic.<br> <br> Principles of Programming Languages is the premier forum for the fundamental innovations in design, definition, analysis, ...</div> <div class="news__cnt-full cnt js-readmore-full">MPI-SWS Director Derek Dreyer has been selected as the program chair of the 51st ACM SIGPLAN Symposium on Principles of Programming (POPL'24), to be held in London January 17–19, 2024.<br> <br> POPL is the premier venue in the area of programming languages and, alongside PLDI, ranks as one of the top two international conferences on this topic.<br> <br> Principles of Programming Languages is the premier forum for the fundamental innovations in design, definition, analysis, transformation, and implementation of programming languages, programming systems, and programming abstractions.</div> </div> <a class="btn-readmore js-readmore-btn" data-more="Read more" data-less="Read less" role="button">Read more</a> </div> </div> </article> <article class="news "> <div class="ct"> <div class="page__anchor" id="7958"></div> <header class="news__hd"> <h2 class="news__ttl">Rupak Majumdar wins CONCUR test-of-time award</h2> <div class="news__meta"> <div class="news__date">June 2022</div> <div class="news__category"> <a href="/category/homepagenews/" rel="category tag">Homepage News</a>, <a href="/category/prize/test-of-time-award/" rel="category tag">Test-of-Time Award</a> </div> </div> <div class="news__img-ct"> </div> </header> <div class="news__bd js-readmore-ct"> <div class="news__cnt"> <div class="news__cnt-preview cnt js-readmore-excerpt">MPI-SWS faculty member Rupak Majumdar has received the 2022 <a href="https://concur2022.mimuw.edu.pl/tot-award/">CONCUR Test-of-Time Award</a> for his CONCUR 2003 paper on <i>The Element of Surprise in Timed Games</i>. The work was done in collaboration with Luca de Alfaro, Marco Faella, Thomas A. Henzinger, and Mariëlle Stoelinga.<br> <br> The award citation reads as follows: "The paper studies concurrent two-player games played on timed game structures, and in particular the ones arising from playing on timed automata. ...</div> <div class="news__cnt-full cnt js-readmore-full">MPI-SWS faculty member Rupak Majumdar has received the 2022 <a href="https://concur2022.mimuw.edu.pl/tot-award/">CONCUR Test-of-Time Award</a> for his CONCUR 2003 paper on <i>The Element of Surprise in Timed Games</i>. The work was done in collaboration with Luca de Alfaro, Marco Faella, Thomas A. Henzinger, and Mariëlle Stoelinga.<br> <br> The award citation reads as follows: "The paper studies concurrent two-player games played on timed game structures, and in particular the ones arising from playing on timed automata. A key contribution of the paper is the definition of an elegant timed game model, allowing both the representation of moves that can take the opponent by surprise as they are played "faster", and the definition of natural concepts of winning conditions for the two players -- ensuring that players can win only by playing according to a physically meaningful strategy. This approach provides a clean answer to the problem of time convergence, and the responsibility of the players in it. For this reason, it has since been the basis of numerous works on timed games. The algorithm established in the paper to study omega-regular conditions in this neat model of timed games is also enticing, resorting to mu-calculus on a cleverly enriched structure."<br> <div class="gmail_default"> <br> <br>  <br> <br> </div> </div> </div> <a class="btn-readmore js-readmore-btn" data-more="Read more" data-less="Read less" role="button">Read more</a> </div> </div> </article> <article class="news "> <div class="ct"> <div class="page__anchor" id="viktor-vafeiadis-receives-robin-milner-young-researcher-award"></div> <header class="news__hd"> <h2 class="news__ttl">Viktor Vafeiadis receives Robin Milner Young Researcher Award</h2> <div class="news__meta"> <div class="news__date">June 2022</div> <div class="news__category"> <a href="/category/prize/career-award/" rel="category tag">Career award</a>, <a href="/category/homepagenews/" rel="category tag">Homepage News</a> </div> </div> <div class="news__img-ct"> <img src="/wp-content/uploads/2021/10/viktor_wide-150x100.jpeg" width="150" height="100" srcset=" /wp-content/uploads/2021/10/viktor_wide-150x100.jpeg 150w, /wp-content/uploads/2021/10/viktor_wide-300x200.jpeg 300w, /wp-content/uploads/2021/10/viktor_wide-600x400.jpeg 600w, /wp-content/uploads/2021/10/viktor_wide-768x512.jpeg 768w, /wp-content/uploads/2021/10/viktor_wide-900x600.jpeg 900w, /wp-content/uploads/2021/10/viktor_wide-1024x683.jpeg 1024w, /wp-content/uploads/2021/10/viktor_wide-1200x801.jpeg 1200w, /wp-content/uploads/2021/10/viktor_wide.jpeg 1280w" title="viktor_wide" sizes="100vw"> </div> </header> <div class="news__bd js-readmore-ct"> <div class="news__cnt"> <div class="news__cnt-preview cnt js-readmore-excerpt">MPI-SWS faculty member Viktor Vafeiadis has received the 2022 Robin Milner Young Researcher Award, which is given by ACM SIGPLAN to recognize outstanding contributions by young investigators in the area of programming languages. The award citation reads as follows:<br> <br> "Viktor has become a world leader in semantics and verification research. His body of work includes fundamental and influential contributions to the study of concurrency, in particular separation logic and relaxed memory models. His landmark doctoral thesis developed RGSep, ...</div> <div class="news__cnt-full cnt js-readmore-full">MPI-SWS faculty member Viktor Vafeiadis has received the 2022 Robin Milner Young Researcher Award, which is given by ACM SIGPLAN to recognize outstanding contributions by young investigators in the area of programming languages. The award citation reads as follows:<br> <br> "Viktor has become a world leader in semantics and verification research. His body of work includes fundamental and influential contributions to the study of concurrency, in particular separation logic and relaxed memory models. His landmark doctoral thesis developed RGSep, the first extension of concurrent separation logic to support formal proofs about fine-grained concurrent algorithms. His work on Cave presented the first fully automatic verifier for establishing linearizability of a class of concurrent data structures, including ones with non-fixed linearization points. His work on CompCertTSO presented the first verified compiler for a concurrent language under a relaxed memory model. He developed the first direct (and mechanized) proof of soundness for concurrent separation logic (CSL) based on operational semantics—beautifully simple compared to prior proofs and a key enabler for proving soundness of more advanced program logics like CAP and Iris. He developed the first separation logic for the C/C++ relaxed memory model—a tour-de-force achievement compared to the standard CSL which assumes sequential consistency. This spawned a whole body of work on modular verification of concurrent data structures under relaxed memory models. His work has found and corrected a number of serious flaws in the C/C++ concurrency model, which led to changes in the C++ standard. And his "promising" semantics for relaxed-memory concurrency offered one of the first viable solutions to the 30-year-old "out-of-thin-air" problem and spawned much follow-on work. His work on GenMC presented the first efficient model checkers for relaxed-memory C/C++ programs with optimality guarantees about their state space exploration. Recent work together with his postdoc Azalea Raad (now faculty at Imperial), presented the first "persistency semantics" for non-volatile memory on multicore architectures. Viktor is not only highly-cited and incredibly prolific—he is also a true pioneer, repeatedly exploring dauntingly technical problems in the semantics and verification of concurrent programs before others dare to try."<br> <br> This award makes MPI-SWS the only institution in the world to boast two recipients of the SIGPLAN Milner award among its faculty.</div> </div> <a class="btn-readmore js-readmore-btn" data-more="Read more" data-less="Read less" role="button">Read more</a> </div> </div> </article> <article class="news "> <div class="ct"> <div class="page__anchor" id="two-faculty-win-prestigious-google-research-scholar-awards"></div> <header class="news__hd"> <h2 class="news__ttl">Two faculty win prestigious Google Research Scholar awards</h2> <div class="news__meta"> <div class="news__date">June 2022</div> <div class="news__category"> <a href="/category/grants/grant/" rel="category tag">Grants</a>, <a href="/category/homepagenews/" rel="category tag">Homepage News</a> </div> </div> <div class="news__img-ct"> </div> </header> <div class="news__bd js-readmore-ct"> <div class="news__cnt"> <div class="news__cnt-preview cnt js-readmore-excerpt"> <p class="">Two MPI-SWS faculty, Maria Christakis and Elissa Redmiles, have earned highly competitive <a href="https://research.google/outreach/research-scholar-program/">Google Research Scholar awards</a>. Maria Christakis's award was given for her research on metamorphic specification and testing of machine-learning models and Elissa Redmiles's award was given for her research on aligning technical data privacy protections with user concerns.</p> <br> The Google Research Scholar Program provides unrestricted gifts of up to $60,000 to support research at institutions around the world and is focused on funding world-class research conducted by early-career professors. ...</div> <div class="news__cnt-full cnt js-readmore-full"> <p class="">Two MPI-SWS faculty, Maria Christakis and Elissa Redmiles, have earned highly competitive <a href="https://research.google/outreach/research-scholar-program/">Google Research Scholar awards</a>. Maria Christakis's award was given for her research on metamorphic specification and testing of machine-learning models and Elissa Redmiles's award was given for her research on aligning technical data privacy protections with user concerns.</p> <br> The Google Research Scholar Program provides unrestricted gifts of up to $60,000 to support research at institutions around the world and is focused on funding world-class research conducted by early-career professors. Award proposals go through an internal, merit-based review process and selected faculty can receive a Google Research Scholar award only once in their career. Award recipients are assigned a liaison at the company to share findings with and as a point of contact for further collaboration.</div> </div> <a class="btn-readmore js-readmore-btn" data-more="Read more" data-less="Read less" role="button">Read more</a> </div> </div> </article> <article class="news "> <div class="ct"> <div class="page__anchor" id="derek-dreyer-appointed-mpi-sws-director"></div> <header class="news__hd"> <h2 class="news__ttl">Derek Dreyer appointed MPI-SWS Director</h2> <div class="news__meta"> <div class="news__date">May 2022</div> <div class="news__category"> <a href="/category/homepagenews/" rel="category tag">Homepage News</a>, <a href="/category/people/leadership-roles/" rel="category tag">Leadership roles</a>, <a href="/category/people/new-faculty/" rel="category tag">New faculty</a> </div> </div> <div class="news__img-ct"> <img src="/wp-content/uploads/2016/04/presse_DerekDreyer-150x100.jpg" width="150" height="100" srcset=" /wp-content/uploads/2016/04/presse_DerekDreyer-150x100.jpg 150w, /wp-content/uploads/2016/04/presse_DerekDreyer-300x200.jpg 300w, /wp-content/uploads/2016/04/presse_DerekDreyer-600x401.jpg 600w, /wp-content/uploads/2016/04/presse_DerekDreyer-768x513.jpg 768w, /wp-content/uploads/2016/04/presse_DerekDreyer-900x601.jpg 900w, /wp-content/uploads/2016/04/presse_DerekDreyer-1024x684.jpg 1024w, /wp-content/uploads/2016/04/presse_DerekDreyer-1200x801.jpg 1200w, /wp-content/uploads/2016/04/presse_DerekDreyer-1900x1268.jpg 1900w, /wp-content/uploads/2016/04/presse_DerekDreyer.jpg 4000w" title="Derek Dreyer" sizes="100vw"> </div> </header> <div class="news__bd js-readmore-ct"> <div class="news__cnt"> <div class="news__cnt-preview cnt js-readmore-excerpt">Derek Dreyer, head of the Foundations of Programming research group since 2008, has been appointed as a Scientific Member of the Max Planck Society and Scientific Director of MPI-SWS as of May 1, 2022.<br> <br> Derek became known for his pioneering work in programming languages and verification, with a particular emphasis on building rigorous foundations for establishing the reliability and correctness of realistic software systems. In recent years, he and his group have become especially well known for their work on the Iris and RustBelt verification frameworks, ...</div> <div class="news__cnt-full cnt js-readmore-full"> <b>Derek Dreyer, head of the Foundations of Programming research group since 2008, has been appointed as a Scientific Member of the Max Planck Society and Scientific Director of MPI-SWS as of May 1, 2022.</b><br> <br> Derek became known for his pioneering work in programming languages and verification, with a particular emphasis on building rigorous foundations for establishing the reliability and correctness of realistic software systems. In recent years, he and his group have become especially well known for their work on the Iris and RustBelt verification frameworks, both implemented in the Coq proof assistant. Developed initially in 2015, Iris is a system for developing and deploying higher-order concurrent separation logics; though only 7 years old, it has already been used in over 60 papers published in top venues in programming languages. One of the most significant applications of Iris is RustBelt, which constitutes the first formal, machine-checked foundation for verifying the safety of the increasingly popular systems programming language Rust. These large-scale verification efforts place Dreyer's group at the forefront of programming languages research worldwide.<br> <br> Derek has received numerous accolades for his research, teaching, and service, including the 2017 ACM SIGPLAN Robin Milner Young Researcher Award, a 2015 ERC Consolidator Grant, multiple Distinguished Paper Awards at top conferences like POPL, PLDI, and OOPSLA, the OOPSLA'18 Distinguished Reviewer Award, and most recently, the "Busy Beaver Award" at Saarland University for outstanding commitment to teaching. Under his mentorship, members of his group have also received numerous awards, including the prestigious ACM SIGPLAN John C. Reynolds Doctoral Dissertation Award and ACM Doctoral Dissertation Honorable Mention Award (for Dr. Ralf Jung).<br> <br> Derek was born in New York City in 1980. He holds a Bachelor's in Mathematics and Computer Science from New York University and received his PhD in Computer Science from Carnegie Mellon University in 2005. From 2005 to 2007, he was a Research Assistant Professor at the Toyota Technological Institute at Chicago. He joined MPI-SWS as a tenure-track faculty in January 2008, only a few years after the Institute's founding, and has been an integral member ever since. We are thus very proud to be able to retain him as a Scientific Director of the institute.</div> </div> <a class="btn-readmore js-readmore-btn" data-more="Read more" data-less="Read less" role="button">Read more</a> </div> </div> </article> <article class="news "> <div class="ct"> <div class="page__anchor" id="sandra-kiefer-joins-mpi-sws"></div> <header class="news__hd"> <h2 class="news__ttl">Sandra Kiefer joins MPI-SWS</h2> <div class="news__meta"> <div class="news__date">April 2022</div> <div class="news__category"> <a href="/category/homepagenews/" rel="category tag">Homepage News</a>, <a href="/category/people/new-faculty/" rel="category tag">New faculty</a> </div> </div> <div class="news__img-ct"> <img src="/wp-content/uploads/2022/04/sandra_kiefer_news-150x94.jpeg" width="150" height="94" srcset=" /wp-content/uploads/2022/04/sandra_kiefer_news-150x94.jpeg 150w, /wp-content/uploads/2022/04/sandra_kiefer_news-300x188.jpeg 300w, /wp-content/uploads/2022/04/sandra_kiefer_news-600x375.jpeg 600w, /wp-content/uploads/2022/04/sandra_kiefer_news-768x480.jpeg 768w, /wp-content/uploads/2022/04/sandra_kiefer_news-900x563.jpeg 900w, /wp-content/uploads/2022/04/sandra_kiefer_news-1024x640.jpeg 1024w, /wp-content/uploads/2022/04/sandra_kiefer_news-1200x750.jpeg 1200w, /wp-content/uploads/2022/04/sandra_kiefer_news-1536x960.jpeg 1536w, /wp-content/uploads/2022/04/sandra_kiefer_news-1900x1188.jpeg 1900w, /wp-content/uploads/2022/04/sandra_kiefer_news.jpeg 1920w" title="sandra_kiefer_news" sizes="100vw"> </div> </header> <div class="news__bd js-readmore-ct"> <div class="news__cnt"> <div class="news__cnt-preview cnt js-readmore-excerpt">Sandra Kiefer has joined MPI-SWS as a research group leader, effective April 1, 2022. Her research interests include algorithmic and structural graph theory as well as logic in computer science, with a recent focus on the applicability of tools from these areas to the study of biochemical networks.<br> <br> Sandra obtained her Ph.D. from RWTH Aachen University. For her work on combinatorial and logical approaches to graph comparison, she received the Ackermann Award 2020, the EACSL Outstanding Dissertation Award for Logic in Computer Science. ...</div> <div class="news__cnt-full cnt js-readmore-full">Sandra Kiefer has joined MPI-SWS as a research group leader, effective April 1, 2022. Her research interests include algorithmic and structural graph theory as well as logic in computer science, with a recent focus on the applicability of tools from these areas to the study of biochemical networks.<br> <br> Sandra obtained her Ph.D. from RWTH Aachen University. For her work on combinatorial and logical approaches to graph comparison, she received the Ackermann Award 2020, the EACSL Outstanding Dissertation Award for Logic in Computer Science. After her Ph.D. studies, Sandra was a postdoctoral researcher at RWTH and at the University of Warsaw. She holds Bachelor’s degrees in Bioinformatics and Mathematics and a Master’s degree in Mathematics from Goethe University Frankfurt. She has also completed an M.Ed. degree in Mathematics and Spanish.</div> </div> <a class="btn-readmore js-readmore-btn" data-more="Read more" data-less="Read less" role="button">Read more</a> </div> </div> </article> <article class="news "> <div class="ct"> <div class="page__anchor" id="outstanding-paper-honorable-mention-at-aaai-2022"></div> <header class="news__hd"> <h2 class="news__ttl">Outstanding Paper Honorable Mention at AAAI 2022</h2> <div class="news__meta"> <div class="news__date">March 2022</div> <div class="news__category"> <a href="/category/prize/best-paper-award/" rel="category tag">Best Paper Award</a>, <a href="/category/homepagenews/" rel="category tag">Homepage News</a> </div> </div> <div class="news__img-ct"> <img src="/wp-content/uploads/2022/03/adish-news-150x48.png" width="150" height="48" srcset=" /wp-content/uploads/2022/03/adish-news-150x48.png 150w, /wp-content/uploads/2022/03/adish-news-300x96.png 300w, /wp-content/uploads/2022/03/adish-news.png 526w" title="adish-news" sizes="100vw"> </div> </header> <div class="news__bd js-readmore-ct"> <div class="news__cnt"> <div class="news__cnt-preview cnt js-readmore-excerpt">MPI-SWS researchers Jiarui Gan, Rupak Majumdar, Goran Radanovic, and Adish Singla have received an Outstanding Paper Award Honorable Mention at AAAI 2022, for their paper "Bayesian Persuasion in Sequential Decision-Making."<br> <br> The AAAI conference is one of the leading international venues for AI research, covering all sub-areas of the field. AAAI 2022 received more than 9000 submissions, of which 1370 were accepted for publication. Of these 1370 papers, only <a href="https://aaai.org/Conferences/AAAI-22/wp-content/uploads/2022/02/AAAI-22-Paper-Awards.pdf">three papers were selected for an outstanding paper award</a>. ...</div> <div class="news__cnt-full cnt js-readmore-full">MPI-SWS researchers Jiarui Gan, Rupak Majumdar, Goran Radanovic, and Adish Singla have received an Outstanding Paper Award Honorable Mention at AAAI 2022, for their paper "Bayesian Persuasion in Sequential Decision-Making."<br> <br> The AAAI conference is one of the leading international venues for AI research, covering all sub-areas of the field. AAAI 2022 received more than 9000 submissions, of which 1370 were accepted for publication. Of these 1370 papers, only <a href="https://aaai.org/Conferences/AAAI-22/wp-content/uploads/2022/02/AAAI-22-Paper-Awards.pdf">three papers were selected for an outstanding paper award</a>. Of these three outstanding papers, <a href="https://saarland-informatics-campus.de/en/piece-of-news/aaai-awards/">two were authored by researchers at the Saarland Informatics Campus</a>.</div> </div> <a class="btn-readmore js-readmore-btn" data-more="Read more" data-less="Read less" role="button">Read more</a> </div> </div> </article> <article class="news "> <div class="ct"> <div class="page__anchor" id="joel-oukanine-appointed-acm-fellow"></div> <header class="news__hd"> <h2 class="news__ttl">Joël Ouaknine appointed ACM Fellow</h2> <div class="news__meta"> <div class="news__date">January 2022</div> <div class="news__category"> <a href="/category/homepagenews/" rel="category tag">Homepage News</a>, <a href="/category/prize/other-awards/" rel="category tag">Other Awards and Prizes</a> </div> </div> <div class="news__img-ct"> <img src="/wp-content/uploads/2022/02/joelouaknine-150x100.jpeg" width="150" height="100" srcset=" /wp-content/uploads/2022/02/joelouaknine-150x100.jpeg 150w, /wp-content/uploads/2022/02/joelouaknine-300x200.jpeg 300w, /wp-content/uploads/2022/02/joelouaknine-600x401.jpeg 600w, /wp-content/uploads/2022/02/joelouaknine-768x513.jpeg 768w, /wp-content/uploads/2022/02/joelouaknine-900x601.jpeg 900w, /wp-content/uploads/2022/02/joelouaknine-1024x684.jpeg 1024w, /wp-content/uploads/2022/02/joelouaknine-1200x801.jpeg 1200w, /wp-content/uploads/2022/02/joelouaknine-1536x1025.jpeg 1536w, /wp-content/uploads/2022/02/joelouaknine-1900x1268.jpeg 1900w, /wp-content/uploads/2022/02/joelouaknine-2048x1367.jpeg 2048w, /wp-content/uploads/2022/02/joelouaknine-scaled.jpeg 2560w" title="joelouaknine" sizes="100vw"> </div> </header> <div class="news__bd js-readmore-ct"> <div class="news__cnt"> <div class="news__cnt-preview cnt js-readmore-excerpt">MPI-SWS scientific director Joël Ouaknine was appointed as a <em>Fellow</em> by the Association for Computing Machinery (ACM), the largest computer science association in the world, Joel, who leads the “Foundations of Algorithmic Verification” research group, was appointed ACM fellow for his contributions to algorithmic analysis of dynamical systems.<br> <br> ACM has also elected as Fellows two researchers from our neighboring Max Planck Institute for Informatics: Thomas Lengauer is recognized for contributions to bioinformatics and medical informatics and Bernt Schiele is recognized for contributions to large-scale object recognition, ...</div> <div class="news__cnt-full cnt js-readmore-full">MPI-SWS scientific director Joël Ouaknine was appointed as a <em>Fellow</em> by the Association for Computing Machinery (ACM), the largest computer science association in the world, Joel, who leads the “Foundations of Algorithmic Verification” research group, was appointed ACM fellow for his contributions to algorithmic analysis of dynamical systems.<br> <br> ACM has also elected as Fellows two researchers from our neighboring Max Planck Institute for Informatics: Thomas Lengauer is recognized for contributions to bioinformatics and medical informatics and Bernt Schiele is recognized for contributions to large-scale object recognition, human detection, and pose estimation.<br> <br> The ACM Fellows program recognizes the 1% of ACM members who have made the most outstanding achievements in the field of computer and information technology. Worldwide 71 new ACM Fellows were elected this year, twelve of them in Europe, four in Germany and three of them in Saarbrücken.<br> <br> <strong>Further Information:</strong><strong> </strong><br> <ul> <br> <li><a href="https://www.acm.org/media-center/2022/january/fellows-2021">https://www.acm.org/media-center/2022/january/fellows-2021</a></li> <br> <li><a href="https://awards.acm.org/fellows/award-winners">https://awards.acm.org/fellows/award-winners</a></li> <br> <li><a href="https://www.mpi-sws.org/people/joel/">https://www.mpi-sws.org/people/joel/</a></li> <br> </ul> </div> </div> <a class="btn-readmore js-readmore-btn" data-more="Read more" data-less="Read less" role="button">Read more</a> </div> </div> </article> <article class="news "> <div class="ct"> <div class="page__anchor" id="bob-harper-receives-acm-sigplan-achievement-award"></div> <header class="news__hd"> <h2 class="news__ttl">Bob Harper receives ACM SIGPLAN Achievement Award</h2> <div class="news__meta"> <div class="news__date">January 2022</div> <div class="news__category"> <a href="/category/prize/career-award/" rel="category tag">Career award</a>, <a href="/category/homepagenews/" rel="category tag">Homepage News</a> </div> </div> <div class="news__img-ct"> <img src="/wp-content/uploads/2022/02/bobharper-150x150.jpeg" width="150" height="150" srcset=" /wp-content/uploads/2022/02/bobharper-150x150.jpeg 150w, /wp-content/uploads/2022/02/bobharper-300x299.jpeg 300w, /wp-content/uploads/2022/02/bobharper.jpeg 460w" title="bobharper" sizes="100vw"> </div> </header> <div class="news__bd js-readmore-ct"> <div class="news__cnt"> <div class="news__cnt-preview cnt js-readmore-excerpt">Bob Harper, an MPI-SWS external scientific member, has received the 2021 ACM SIGPLAN Programming Languages Achievement Award---the most significant international career award in programming languages. He received the award for his "foundational contributions to our understanding of type theory and its use in the design, specification, implementation, and verification of modern programming languages".<br> <br> Award Citation:<br> <br> Robert (Bob) Harper is widely known for his foundational contributions to our understanding of type theory and its use in the design, ...</div> <div class="news__cnt-full cnt js-readmore-full"> <span class="il">Bob</span> <span class="il">Harper</span>, an MPI-SWS external scientific member, has received the 2021 ACM SIGPLAN Programming Languages Achievement Award---the most significant international career award in programming languages. He received the award for his "foundational contributions to our understanding of type theory and its use in the design, specification, implementation, and verification of modern programming languages".<br> <br> Award Citation:<br> <br> Robert (Bob) Harper is widely known for his foundational contributions to our understanding of type theory and its use in the design, specification, implementation, and verification of modern programming languages. Bob demonstrated that sound type systems and operational semantics are not only appropriate vehicles for reasoning about idealized languages, but that this theory can be applied to complex, modern languages. His achievements include analysis of language features ranging from references to continuations to modules, the definition of a variety of new type systems, the idea of using types throughout the compilation process, the analysis of run-time system semantics and cost, a formal definition of Standard ML and its mechanization, the definition of logical framework LF and other logical frameworks based on homotopy type theory.<br> <br> Some of Bob’s most influential work involved the design, theory and implementation of the TIL (Typed Intermediate Language) compiler system, which pioneered the idea that compilers can propagate type information to lower-level intermediate languages, where it can be used to guide optimizations and to catch compiler bugs. These ideas led directly to the development of proof-carrying code, typed assembly language, and a wide array of type-preserving compilers.<br> <br> Bob Harper has also had a profound impact though his mentorship, teaching and the influence of his books “Programming in Standard ML” and “Practical Foundations for Programming Languages.”</div> </div> <a class="btn-readmore js-readmore-btn" data-more="Read more" data-less="Read less" role="button">Read more</a> </div> </div> </article> <article class="news "> <div class="ct"> <div class="page__anchor" id="adish-singla-awarded-erc-starting-grant"></div> <header class="news__hd"> <h2 class="news__ttl">Adish Singla awarded ERC Starting Grant</h2> <div class="news__meta"> <div class="news__date">January 2022</div> <div class="news__category"> <a href="/category/grants/erc-awards/" rel="category tag">ERC Awards</a>, <a href="/category/homepagenews/" rel="category tag">Homepage News</a> </div> </div> <div class="news__img-ct"> <img src="/wp-content/uploads/2022/01/AdishSingla-150x94.jpeg" width="150" height="94" srcset=" /wp-content/uploads/2022/01/AdishSingla-150x94.jpeg 150w, /wp-content/uploads/2022/01/AdishSingla-300x188.jpeg 300w, /wp-content/uploads/2022/01/AdishSingla-600x375.jpeg 600w, /wp-content/uploads/2022/01/AdishSingla-768x480.jpeg 768w, /wp-content/uploads/2022/01/AdishSingla-900x563.jpeg 900w, /wp-content/uploads/2022/01/AdishSingla-1024x640.jpeg 1024w, /wp-content/uploads/2022/01/AdishSingla-1200x750.jpeg 1200w, /wp-content/uploads/2022/01/AdishSingla-1536x960.jpeg 1536w, /wp-content/uploads/2022/01/AdishSingla-1900x1188.jpeg 1900w, /wp-content/uploads/2022/01/AdishSingla.jpeg 2000w" title="AdishSingla" sizes="100vw"> </div> </header> <div class="news__bd js-readmore-ct"> <div class="news__cnt"> <div class="news__cnt-preview cnt js-readmore-excerpt">Adish Singla, head of the MPI-SWS Machine Teaching Research group, has been awarded a 2021 ERC Starting Grant. Over the next five years, his project TOPS will receive funding of 1.5 million euros for research on "Machine-Assisted Teaching for Open-Ended Problem Solving: Foundations and Applications". Read more about the TOPS project below.<br> <br> ERC grants are the most prestigious and the most competitive European-level awards for ground-breaking scientific investigations. This year, less than 10% of all ERC Starting Grant applicants across all scientific disciplines received the award, ...</div> <div class="news__cnt-full cnt js-readmore-full">Adish Singla, head of the MPI-SWS Machine Teaching Research group, has been awarded a 2021 ERC Starting Grant. Over the next five years, his project TOPS will receive funding of 1.5 million euros for research on "Machine-Assisted Teaching for Open-Ended Problem Solving: Foundations and Applications". Read more about the TOPS project below.<br> <br> ERC grants are the most prestigious and the most competitive European-level awards for ground-breaking scientific investigations. This year, less than 10% of all ERC Starting Grant applicants across all scientific disciplines received the award, with only 23 awardees in Computer Science across all of Europe! You can find more information about ERC Starting Grants awarded this year at <a href="https://erc.europa.eu/news/StG-recipients-2021">https://erc.europa.eu/news/StG-recipients-2021</a>.<br> <br> <strong>The TOPS Project</strong><br> <br> Computational thinking and problem solving skills are essential for everyone in the 21st century, both for students to excel in STEM+Computing fields and for adults to thrive in the digital economy. Consequently, educators are putting increasing emphasis on pedagogical tasks in open-ended domains such as programming, conceptual puzzles, and virtual reality environments.<br> <br> When learning to solve such open-ended tasks by themselves, people often struggle. The difficulties are embodied in the very nature of tasks being open-ended: (a) underspecified (multiple solutions of variable quality), (b) conceptual (no well-defined procedure), (c) sequential (series of interdependent steps needed), and (d) exploratory (multiple pathways to reach a solution). These struggling learners can benefit from individualized assistance, for instance, by receiving personalized curriculum across tasks or feedback within a task. Unfortunately, human tutoring resources are scarce, and receiving individualized human-assistance is rather a privilege. Technology empowered by artificial intelligence has the potential to tackle this scarcity challenge by providing scalable and automated machine-assisted teaching. However, the state-of-the-art technology is limited: it is designed for well-defined procedural learning, but not for open-ended conceptual problem solving.<br> <br> The TOPS project will develop next-generation technology for machine-assisted teaching in open-ended domains. We will design novel algorithms for assisting the learner by bridging reinforcement learning, imitation learning, cognitive science, and symbolic reasoning. Our theoretical foundations will be based on a computational framework that models the learner as a reinforcement learning agent who gains mastery with the assistance of an automated teacher. In addition to providing solid foundations, we will demonstrate the performance of our techniques in a wide range of pedagogical applications.</div> </div> <a class="btn-readmore js-readmore-btn" data-more="Read more" data-less="Read less" role="button">Read more</a> </div> </div> </article> <article class="news "> <div class="ct"> <div class="page__anchor" id="goran-radanovic-receives-emmy-noether-award"></div> <header class="news__hd"> <h2 class="news__ttl">Goran Radanovic receives Emmy Noether Award</h2> <div class="news__meta"> <div class="news__date">January 2022</div> <div class="news__category"> <a href="/category/grants/grant/" rel="category tag">Grants</a>, <a href="/category/homepagenews/" rel="category tag">Homepage News</a> </div> </div> <div class="news__img-ct"> <img src="/wp-content/uploads/2022/01/gradanovic-150x68.jpeg" width="150" height="68" srcset=" /wp-content/uploads/2022/01/gradanovic-150x68.jpeg 150w, /wp-content/uploads/2022/01/gradanovic-300x135.jpeg 300w, /wp-content/uploads/2022/01/gradanovic-600x270.jpeg 600w, /wp-content/uploads/2022/01/gradanovic-768x346.jpeg 768w, /wp-content/uploads/2022/01/gradanovic-900x405.jpeg 900w, /wp-content/uploads/2022/01/gradanovic-1024x461.jpeg 1024w, /wp-content/uploads/2022/01/gradanovic-1200x540.jpeg 1200w, /wp-content/uploads/2022/01/gradanovic-1536x691.jpeg 1536w, /wp-content/uploads/2022/01/gradanovic-1900x855.jpeg 1900w, /wp-content/uploads/2022/01/gradanovic-2048x922.jpeg 2048w, /wp-content/uploads/2022/01/gradanovic-scaled.jpeg 2560w" title="gradanovic" sizes="100vw"> </div> </header> <div class="news__bd js-readmore-ct"> <div class="news__cnt"> <div class="news__cnt-preview cnt js-readmore-excerpt"> <br> <br> Goran Radanovic, a research group leader in the Multi-Agent Systems group, was accepted to the Emmy Noether Programme of the German Science Foundation (DFG). This grant programme is the most prestigious programme for early career researchers from the DFG. It provides funding for an independent research group for a period of six years.<br> <br> Goran's group will be hosted at MPI-SWS in Saarbruecken and will contribute to research on reinforcement learning for multi-agent systems. ...</div> <div class="news__cnt-full cnt js-readmore-full"><div> <br> <br> Goran Radanovic, a research group leader in the Multi-Agent Systems group, was accepted to the Emmy Noether Programme of the German Science Foundation (DFG). This grant programme is the most prestigious programme for early career researchers from the DFG. It provides funding for an independent research group for a period of six years.<br> <br> Goran's group will be hosted at MPI-SWS in Saarbruecken and will contribute to research on reinforcement learning for multi-agent systems. His Emmy Noether research project will focus on designing a framework for trustworthy multi-agent sequential decision making, and will study two important aspects of trustworthiness: robustness (the ability to deal with adversaries and uncertainty) and accountability (the ability to provide an account for one’s behavior).<br> <br> </div></div> </div> <a class="btn-readmore js-readmore-btn" data-more="Read more" data-less="Read less" role="button">Read more</a> </div> </div> </article> </div> </main> </div> <footer class="page__ft"> <div class="ct"> <div class="page__ft-qr"> <img class="page__ft-qr-img" src="/wp-content/themes/mpi-sws/assets/images/mpi-sws-qrcode.png"> </div> <div class="page__ft-menu"> <ul id="menu-footer-menu" class="footer__menu menu"> <li id="menu-item-6131" class="menu-item menu-item-type-custom menu-item-object-custom menu-item-6131 footer__menu-itm menu__itm"><a href="https://imprint.mpi-klsb.mpg.de/sws/www.mpi-sws.org" class="footer__menu-lnk menu__lnk">Imprint</a></li> <li id="menu-item-6132" class="menu-item menu-item-type-custom menu-item-object-custom menu-item-6132 footer__menu-itm menu__itm"><a href="https://data-protection.mpi-klsb.mpg.de/sws/www.mpi-sws.org" class="footer__menu-lnk menu__lnk">Data Protection</a></li> <li id="menu-item-4087" class="menu-item menu-item-type-custom menu-item-object-custom menu-item-4087 footer__menu-itm menu__itm"><a href="/about-us/#contact" class="footer__menu-lnk menu__lnk">Contact</a></li> </ul> </div>  <div class="page__ft-contact-copy-ct"> <div class="page__ft-webmaster"> <a href="mailto:webmaster-sws@mpi-sws.org">webmaster-sws@mpi-sws.org</a> </div> <div class="page__ft-copy"> <a href="https://www.linkedin.com/company/max-planck-institute-for-software-systems/"><div title="Follow MPI-SWS on Linkedin"><img style="width:10%" src="/wp-content/themes/mpi-sws/assets/images/LI-In-Bug.png"></div></a> © Copyright by Max Planck Institute for Software Systems 2024. All rights reserved. </div> </div> </div> </footer> <div id="cookie-law-info-bar" data-nosnippet="true"><span><div class="cli-bar-container cli-style-v2"> <div class="cli-bar-message">We use cookies on our website to give you the most relevant experience by remembering your preferences and repeat visits. By clicking “Accept All”, you consent to the use of ALL the cookies. However, you may visit "Cookie Settings" to provide a controlled consent.</div> <div class="cli-bar-btn_container"> <a role="button" class="medium cli-plugin-button cli-plugin-main-button cli_settings_button" style="margin:0px 5px 0px 0px">Cookie Settings</a><a id="wt-cli-accept-all-btn" role="button" data-cli_action="accept_all" class="wt-cli-element medium cli-plugin-button wt-cli-accept-all-btn cookie_action_close_header cli_action_button">Accept All</a> </div> </div></span></div> <div id="cookie-law-info-again" data-nosnippet="true"><span id="cookie_hdr_showagain">Manage consent</span></div> <div class="cli-modal" data-nosnippet="true" id="cliSettingsPopup" tabindex="-1" role="dialog" aria-labelledby="cliSettingsPopup" aria-hidden="true"> <div class="cli-modal-dialog" role="document"> <div class="cli-modal-content cli-bar-popup"> <button type="button" class="cli-modal-close" id="cliModalClose"> <svg class="" viewbox="0 0 24 24"><path d="M19 6.41l-1.41-1.41-5.59 5.59-5.59-5.59-1.41 1.41 5.59 5.59-5.59 5.59 1.41 1.41 5.59-5.59 5.59 5.59 1.41-1.41-5.59-5.59z"></path><path d="M0 0h24v24h-24z" fill="none"></path></svg> <span class="wt-cli-sr-only">Close</span> </button> <div class="cli-modal-body"> <div class="cli-container-fluid cli-tab-container"> <div class="cli-row"> <div class="cli-col-12 cli-align-items-stretch cli-px-0"> <div class="cli-privacy-overview"> <h4>Privacy Overview</h4> <div class="cli-privacy-content"> <div class="cli-privacy-content-text">This website uses cookies to improve your experience while you navigate through the website. Out of these, the cookies that are categorized as necessary are stored on your browser as they are essential for the working of basic functionalities of the website. We also use third-party cookies that help us analyze and understand how you use this website. These cookies will be stored in your browser only with your consent. You also have the option to opt-out of these cookies. But opting out of some of these cookies may affect your browsing experience.</div> </div> <a class="cli-privacy-readmore" aria-label="Show more" role="button" data-readmore-text="Show more" data-readless-text="Show less"></a> </div> </div> <div class="cli-col-12 cli-align-items-stretch cli-px-0 cli-tab-section-container"> <div class="cli-tab-section"> <div class="cli-tab-header"> <a role="button" tabindex="0" class="cli-nav-link cli-settings-mobile" data-target="necessary" data-toggle="cli-toggle-tab"> Necessary </a> <div class="wt-cli-necessary-checkbox"> <input type="checkbox" class="cli-user-preference-checkbox" id="wt-cli-checkbox-necessary" data-id="checkbox-necessary" checked> <label class="form-check-label" for="wt-cli-checkbox-necessary">Necessary</label> </div> <span class="cli-necessary-caption">Always Enabled</span> </div> <div class="cli-tab-content"> <div class="cli-tab-pane cli-fade" data-id="necessary"> <div class="wt-cli-cookie-description"> Necessary cookies are absolutely essential for the website to function properly. These cookies ensure basic functionalities and security features of the website, anonymously. <table class="cookielawinfo-row-cat-table cookielawinfo-winter"> <thead><tr> <th class="cookielawinfo-column-1">Cookie</th> <th class="cookielawinfo-column-3">Duration</th> <th class="cookielawinfo-column-4">Description</th> </tr></thead> <tbody> <tr class="cookielawinfo-row"> <td class="cookielawinfo-column-1">cookielawinfo-checkbox-analytics</td> <td class="cookielawinfo-column-3">11 months</td> <td class="cookielawinfo-column-4">This cookie is set by GDPR Cookie Consent plugin. The cookie is used to store the user consent for the cookies in the category "Analytics".</td> </tr> <tr class="cookielawinfo-row"> <td class="cookielawinfo-column-1">cookielawinfo-checkbox-functional</td> <td class="cookielawinfo-column-3">11 months</td> <td class="cookielawinfo-column-4">The cookie is set by GDPR cookie consent to record the user consent for the cookies in the category "Functional".</td> </tr> <tr class="cookielawinfo-row"> <td class="cookielawinfo-column-1">cookielawinfo-checkbox-necessary</td> <td class="cookielawinfo-column-3">11 months</td> <td class="cookielawinfo-column-4">This cookie is set by GDPR Cookie Consent plugin. The cookies is used to store the user consent for the cookies in the category "Necessary".</td> </tr> <tr class="cookielawinfo-row"> <td class="cookielawinfo-column-1">cookielawinfo-checkbox-others</td> <td class="cookielawinfo-column-3">11 months</td> <td class="cookielawinfo-column-4">This cookie is set by GDPR Cookie Consent plugin. The cookie is used to store the user consent for the cookies in the category "Other.</td> </tr> <tr class="cookielawinfo-row"> <td class="cookielawinfo-column-1">cookielawinfo-checkbox-performance</td> <td class="cookielawinfo-column-3">11 months</td> <td class="cookielawinfo-column-4">This cookie is set by GDPR Cookie Consent plugin. The cookie is used to store the user consent for the cookies in the category "Performance".</td> </tr> <tr class="cookielawinfo-row"> <td class="cookielawinfo-column-1">viewed_cookie_policy</td> <td class="cookielawinfo-column-3">11 months</td> <td class="cookielawinfo-column-4">The cookie is set by the GDPR Cookie Consent plugin and is used to store whether or not user has consented to the use of cookies. It does not store any personal data.</td> </tr> </tbody> </table> </div> </div> </div> </div> <div class="cli-tab-section"> <div class="cli-tab-header"> <a role="button" tabindex="0" class="cli-nav-link cli-settings-mobile" data-target="functional" data-toggle="cli-toggle-tab"> Functional </a> <div class="cli-switch"> <input type="checkbox" id="wt-cli-checkbox-functional" class="cli-user-preference-checkbox" data-id="checkbox-functional"> <label for="wt-cli-checkbox-functional" class="cli-slider" data-cli-enable="Enabled" data-cli-disable="Disabled"><span class="wt-cli-sr-only">Functional</span></label> </div> </div> <div class="cli-tab-content"> <div class="cli-tab-pane cli-fade" data-id="functional"> <div class="wt-cli-cookie-description"> Functional cookies help to perform certain functionalities like sharing the content of the website on social media platforms, collect feedbacks, and other third-party features. </div> </div> </div> </div> <div class="cli-tab-section"> <div class="cli-tab-header"> <a role="button" tabindex="0" class="cli-nav-link cli-settings-mobile" data-target="performance" data-toggle="cli-toggle-tab"> Performance </a> <div class="cli-switch"> <input type="checkbox" id="wt-cli-checkbox-performance" class="cli-user-preference-checkbox" data-id="checkbox-performance"> <label for="wt-cli-checkbox-performance" class="cli-slider" data-cli-enable="Enabled" data-cli-disable="Disabled"><span class="wt-cli-sr-only">Performance</span></label> </div> </div> <div class="cli-tab-content"> <div class="cli-tab-pane cli-fade" data-id="performance"> <div class="wt-cli-cookie-description"> Performance cookies are used to understand and analyze the key performance indexes of the website which helps in delivering a better user experience for the visitors. </div> </div> </div> </div> <div class="cli-tab-section"> <div class="cli-tab-header"> <a role="button" tabindex="0" class="cli-nav-link cli-settings-mobile" data-target="analytics" data-toggle="cli-toggle-tab"> Analytics </a> <div class="cli-switch"> <input type="checkbox" id="wt-cli-checkbox-analytics" class="cli-user-preference-checkbox" data-id="checkbox-analytics"> <label for="wt-cli-checkbox-analytics" class="cli-slider" data-cli-enable="Enabled" data-cli-disable="Disabled"><span class="wt-cli-sr-only">Analytics</span></label> </div> </div> <div class="cli-tab-content"> <div class="cli-tab-pane cli-fade" data-id="analytics"> <div class="wt-cli-cookie-description"> Analytical cookies are used to understand how visitors interact with the website. These cookies help provide information on metrics the number of visitors, bounce rate, traffic source, etc. </div> </div> </div> </div> <div class="cli-tab-section"> <div class="cli-tab-header"> <a role="button" tabindex="0" class="cli-nav-link cli-settings-mobile" data-target="advertisement" data-toggle="cli-toggle-tab"> Advertisement </a> <div class="cli-switch"> <input type="checkbox" id="wt-cli-checkbox-advertisement" class="cli-user-preference-checkbox" data-id="checkbox-advertisement"> <label for="wt-cli-checkbox-advertisement" class="cli-slider" data-cli-enable="Enabled" data-cli-disable="Disabled"><span class="wt-cli-sr-only">Advertisement</span></label> </div> </div> <div class="cli-tab-content"> <div class="cli-tab-pane cli-fade" data-id="advertisement"> <div class="wt-cli-cookie-description"> Advertisement cookies are used to provide visitors with relevant ads and marketing campaigns. These cookies track visitors across websites and collect information to provide customized ads. </div> </div> </div> </div> <div class="cli-tab-section"> <div class="cli-tab-header"> <a role="button" tabindex="0" class="cli-nav-link cli-settings-mobile" data-target="others" data-toggle="cli-toggle-tab"> Others </a> <div class="cli-switch"> <input type="checkbox" id="wt-cli-checkbox-others" class="cli-user-preference-checkbox" data-id="checkbox-others"> <label for="wt-cli-checkbox-others" class="cli-slider" data-cli-enable="Enabled" data-cli-disable="Disabled"><span class="wt-cli-sr-only">Others</span></label> </div> </div> <div class="cli-tab-content"> <div class="cli-tab-pane cli-fade" data-id="others"> <div class="wt-cli-cookie-description"> Other uncategorized cookies are those that are being analyzed and have not been classified into a category as yet. </div> </div> </div> </div> </div> </div> </div> </div> <div class="cli-modal-footer"> <div class="wt-cli-element cli-container-fluid cli-tab-container"> <div class="cli-row"> <div class="cli-col-12 cli-align-items-stretch cli-px-0"> <div class="cli-tab-footer wt-cli-privacy-overview-actions"> <a id="wt-cli-privacy-save-btn" role="button" tabindex="0" data-cli-action="accept" class="wt-cli-privacy-btn cli_setting_save_button wt-cli-privacy-accept-btn cli-btn">SAVE & ACCEPT</a> </div> </div> </div> </div> </div> </div> </div> </div> <div class="cli-modal-backdrop cli-fade cli-settings-overlay"></div> <div class="cli-modal-backdrop cli-fade cli-popupbar-overlay"></div> <link rel="stylesheet" id="cookie-law-info-table-css" href="/wp-content/plugins/cookie-law-info/legacy/public/css/cookie-law-info-table.css?ver=3.1.6" type="text/css" media="all"> <script type="text/javascript" id="main-scripts-js-extra"> /* <![CDATA[ */ var klflx_theme_settings = {"version":"1.9.0"}; /* ]]> */ </script> <script type="text/javascript" src="/wp-content/themes/mpi-sws/assets/scripts/main.js?ver=1.9.0" id="main-scripts-js"></script> <script type="text/javascript">var ip2long = function(ip){ var components; if(components = ip.match(/^(\d{1,3})\.(\d{1,3})\.(\d{1,3})\.(\d{1,3})$/)) { var iplong = 0; var power = 1; for(var i=4; i>=1; i-=1) { iplong += power * parseInt(components[i]); power *= 256; } return iplong; } else return -1; }; var inSubNet = function(ip, subnet) { var mask, base_ip, long_ip = ip2long(ip); if( (mask = subnet.match(/^(.*?)\/(\d{1,2})$/)) && ((base_ip=ip2long(mask[1])) >= 0) ) { var freedom = Math.pow(2, 32 - parseInt(mask[2])); return (long_ip > base_ip) && (long_ip < base_ip + freedom - 1); } else return false; }; jQuery(function($){ $.getJSON('/getip.php', function(data){ if (inSubNet(data.ip,'139.19.0.0/16')) { if(document.cookie.indexOf('hidecookiedingsbums=1') != -1){ jQuery('#cookiedingsbums').hide(); } else{ jQuery('#cookiedingsbums').attr('style','display: block;'); jQuery('#cookiedingsbums').prependTo('body'); jQuery('#cookiedingsbumsCloser').show(); } } else { jQuery('#cookiedingsbums').hide(); } }); });</script> <div style="display: none;" id="cookiedingsbums"> <h1>Need help?</h1> <a href="https://wiki.mpi-sws.org/wiki">General questions</a> | <a href="https://wiki.mpi-sws.org/wiki/ItResources">IT related questions</a> | <a href="https://plex.mpi-klsb.mpg.de/display/Documentation/WirelessLan">How to set up wireless lan</a> | <a href="https://apply.cis.mpg.de/">MPG-CIS Application system</a> | <a href="https://wiki.mpi-sws.org/wiki/mentalhealth">Mental health</a> <span id="cookiedingsbumsCloser" onclick="document.cookie = 'hidecookiedingsbums=1; max-age=86400; path=/';jQuery('#cookiedingsbums').slideUp()">✖</span> </div> </body> </html>

CINXE.COM

News – MPI SWS