{"id":9306,"date":"2021-04-22T15:11:52","date_gmt":"2021-04-22T13:11:52","guid":{"rendered":"https:\/\/saarland-informatics-campus.de\/?post_type=project&p=9306"},"modified":"2021-04-22T15:11:52","modified_gmt":"2021-04-22T13:11:52","slug":"research-on-the-interplay-of-hardware-and-software","status":"publish","type":"project","link":"https:\/\/saarland-informatics-campus.de\/en\/project\/research-on-the-interplay-of-hardware-and-software\/","title":{"rendered":"Research on the interplay of hardware and software"},"content":{"rendered":"

Many safety-critical areas of our lives are being controlled by computer systems: from airbag controls in cars and landing gear on airplanes to essential infrastructure such as energy supply and telecommunications. But are these systems reliable? Computer science professor Jan Reineke of Saarland University thinks not \u2013 because a crucial component of today\u2019s computer systems renders the development of safe and secure IT applications impossible at a fundamental level. To change this and to improve the interaction between hardware and software, the computer scientist is now being funded through an ERC Advanced Grant with around 2.5 million euros over five years.<\/p>\n

Full press release<\/a><\/p>\n","protected":false},"excerpt":{"rendered":"

Many safety-critical areas of our lives are being controlled by computer systems: from airbag controls in cars and landing gear on airplanes to essential infrastructure such as energy supply and telecommunications. But are these systems reliable? Computer science professor Jan Reineke of Saarland University thinks not – because a crucial component of today’s computer systems […]<\/p>\n","protected":false},"author":41,"featured_media":9283,"comment_status":"closed","ping_status":"closed","template":"","meta":{"_et_pb_use_builder":"","_et_pb_old_content":"","_et_gb_content_width":"","footnotes":""},"project_category":[72],"project_tag":[],"class_list":["post-9306","project","type-project","status-publish","has-post-thumbnail","hentry","project_category-2021-en"],"yoast_head":"\nResearch on the interplay of hardware and software - Saarland Informatics Campus<\/title>\n<meta name=\"robots\" content=\"index, follow, max-snippet:-1, max-image-preview:large, max-video-preview:-1\" \/>\n<link rel=\"canonical\" href=\"https:\/\/saarland-informatics-campus.de\/en\/project\/research-on-the-interplay-of-hardware-and-software\/\" \/>\n<meta property=\"og:locale\" content=\"en_US\" \/>\n<meta property=\"og:type\" content=\"article\" \/>\n<meta property=\"og:title\" content=\"Research on the interplay of hardware and software - Saarland Informatics Campus\" \/>\n<meta property=\"og:description\" content=\"Many safety-critical areas of our lives are being controlled by computer systems: from airbag controls in cars and landing gear on airplanes to essential infrastructure such as energy supply and telecommunications. But are these systems reliable? Computer science professor Jan Reineke of Saarland University thinks not – because a crucial component of today’s computer systems […]\" \/>\n<meta property=\"og:url\" content=\"https:\/\/saarland-informatics-campus.de\/en\/project\/research-on-the-interplay-of-hardware-and-software\/\" \/>\n<meta property=\"og:site_name\" content=\"Saarland Informatics Campus\" \/>\n<meta property=\"article:publisher\" content=\"https:\/\/www.facebook.com\/sic.informatik.saarland\/\" \/>\n<meta property=\"og:image\" content=\"https:\/\/saarland-informatics-campus.de\/wp-content\/uploads\/Jan_Reineke_122095_WEB.jpg\" \/>\n\t<meta property=\"og:image:width\" content=\"1000\" \/>\n\t<meta property=\"og:image:height\" content=\"640\" \/>\n\t<meta property=\"og:image:type\" content=\"image\/jpeg\" \/>\n<meta name=\"twitter:card\" content=\"summary_large_image\" \/>\n<meta name=\"twitter:label1\" content=\"Est. reading time\" \/>\n\t<meta name=\"twitter:data1\" content=\"1 minute\" \/>\n<script type=\"application\/ld+json\" class=\"yoast-schema-graph\">{\"@context\":\"https:\\\/\\\/schema.org\",\"@graph\":[{\"@type\":\"WebPage\",\"@id\":\"https:\\\/\\\/saarland-informatics-campus.de\\\/en\\\/project\\\/research-on-the-interplay-of-hardware-and-software\\\/\",\"url\":\"https:\\\/\\\/saarland-informatics-campus.de\\\/en\\\/project\\\/research-on-the-interplay-of-hardware-and-software\\\/\",\"name\":\"Research on the interplay of hardware and software - Saarland Informatics Campus\",\"isPartOf\":{\"@id\":\"https:\\\/\\\/saarland-informatics-campus.de\\\/en\\\/#website\"},\"primaryImageOfPage\":{\"@id\":\"https:\\\/\\\/saarland-informatics-campus.de\\\/en\\\/project\\\/research-on-the-interplay-of-hardware-and-software\\\/#primaryimage\"},\"image\":{\"@id\":\"https:\\\/\\\/saarland-informatics-campus.de\\\/en\\\/project\\\/research-on-the-interplay-of-hardware-and-software\\\/#primaryimage\"},\"thumbnailUrl\":\"https:\\\/\\\/saarland-informatics-campus.de\\\/wp-content\\\/uploads\\\/Jan_Reineke_122095_WEB.jpg\",\"datePublished\":\"2021-04-22T13:11:52+00:00\",\"breadcrumb\":{\"@id\":\"https:\\\/\\\/saarland-informatics-campus.de\\\/en\\\/project\\\/research-on-the-interplay-of-hardware-and-software\\\/#breadcrumb\"},\"inLanguage\":\"en-US\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\\\/\\\/saarland-informatics-campus.de\\\/en\\\/project\\\/research-on-the-interplay-of-hardware-and-software\\\/\"]}]},{\"@type\":\"ImageObject\",\"inLanguage\":\"en-US\",\"@id\":\"https:\\\/\\\/saarland-informatics-campus.de\\\/en\\\/project\\\/research-on-the-interplay-of-hardware-and-software\\\/#primaryimage\",\"url\":\"https:\\\/\\\/saarland-informatics-campus.de\\\/wp-content\\\/uploads\\\/Jan_Reineke_122095_WEB.jpg\",\"contentUrl\":\"https:\\\/\\\/saarland-informatics-campus.de\\\/wp-content\\\/uploads\\\/Jan_Reineke_122095_WEB.jpg\",\"width\":1000,\"height\":640},{\"@type\":\"BreadcrumbList\",\"@id\":\"https:\\\/\\\/saarland-informatics-campus.de\\\/en\\\/project\\\/research-on-the-interplay-of-hardware-and-software\\\/#breadcrumb\",\"itemListElement\":[{\"@type\":\"ListItem\",\"position\":1,\"name\":\"Home\",\"item\":\"https:\\\/\\\/saarland-informatics-campus.de\\\/en\\\/\"},{\"@type\":\"ListItem\",\"position\":2,\"name\":\"Projects\",\"item\":\"https:\\\/\\\/saarland-informatics-campus.de\\\/en\\\/project\\\/\"},{\"@type\":\"ListItem\",\"position\":3,\"name\":\"Research on the interplay of hardware and software\"}]},{\"@type\":\"WebSite\",\"@id\":\"https:\\\/\\\/saarland-informatics-campus.de\\\/en\\\/#website\",\"url\":\"https:\\\/\\\/saarland-informatics-campus.de\\\/en\\\/\",\"name\":\"Saarland Informatics Campus\",\"description\":\"in Saarbr\u00fccken, Germany\",\"publisher\":{\"@id\":\"https:\\\/\\\/saarland-informatics-campus.de\\\/en\\\/#organization\"},\"potentialAction\":[{\"@type\":\"SearchAction\",\"target\":{\"@type\":\"EntryPoint\",\"urlTemplate\":\"https:\\\/\\\/saarland-informatics-campus.de\\\/en\\\/?s={search_term_string}\"},\"query-input\":{\"@type\":\"PropertyValueSpecification\",\"valueRequired\":true,\"valueName\":\"search_term_string\"}}],\"inLanguage\":\"en-US\"},{\"@type\":\"Organization\",\"@id\":\"https:\\\/\\\/saarland-informatics-campus.de\\\/en\\\/#organization\",\"name\":\"Saarland Informatics Campus\",\"url\":\"https:\\\/\\\/saarland-informatics-campus.de\\\/en\\\/\",\"logo\":{\"@type\":\"ImageObject\",\"inLanguage\":\"en-US\",\"@id\":\"https:\\\/\\\/saarland-informatics-campus.de\\\/en\\\/#\\\/schema\\\/logo\\\/image\\\/\",\"url\":\"https:\\\/\\\/saarland-informatics-campus.de\\\/wp-content\\\/uploads\\\/SIC_logo_1453x343.png\",\"contentUrl\":\"https:\\\/\\\/saarland-informatics-campus.de\\\/wp-content\\\/uploads\\\/SIC_logo_1453x343.png\",\"width\":1453,\"height\":343,\"caption\":\"Saarland Informatics Campus\"},\"image\":{\"@id\":\"https:\\\/\\\/saarland-informatics-campus.de\\\/en\\\/#\\\/schema\\\/logo\\\/image\\\/\"},\"sameAs\":[\"https:\\\/\\\/www.facebook.com\\\/sic.informatik.saarland\\\/\",\"https:\\\/\\\/bsky.app\\\/profile\\\/saarland-informatics-campus.de\",\"https:\\\/\\\/www.instagram.com\\\/saarland_informatics_campus\\\/\",\"https:\\\/\\\/www.youtube.com\\\/channel\\\/UCaDDK5m9CGCzE4xhZTFC6cA\",\"https:\\\/\\\/www.linkedin.com\\\/company\\\/saarland-informatics-campus\"]}]}<\/script>\n<!-- \/ Yoast SEO plugin. -->","yoast_head_json":{"title":"Research on the interplay of hardware and software - Saarland Informatics Campus","robots":{"index":"index","follow":"follow","max-snippet":"max-snippet:-1","max-image-preview":"max-image-preview:large","max-video-preview":"max-video-preview:-1"},"canonical":"https:\/\/saarland-informatics-campus.de\/en\/project\/research-on-the-interplay-of-hardware-and-software\/","og_locale":"en_US","og_type":"article","og_title":"Research on the interplay of hardware and software - Saarland Informatics Campus","og_description":"Many safety-critical areas of our lives are being controlled by computer systems: from airbag controls in cars and landing gear on airplanes to essential infrastructure such as energy supply and telecommunications. But are these systems reliable? Computer science professor Jan Reineke of Saarland University thinks not – because a crucial component of today’s computer systems […]","og_url":"https:\/\/saarland-informatics-campus.de\/en\/project\/research-on-the-interplay-of-hardware-and-software\/","og_site_name":"Saarland Informatics Campus","article_publisher":"https:\/\/www.facebook.com\/sic.informatik.saarland\/","og_image":[{"width":1000,"height":640,"url":"https:\/\/saarland-informatics-campus.de\/wp-content\/uploads\/Jan_Reineke_122095_WEB.jpg","type":"image\/jpeg"}],"twitter_card":"summary_large_image","twitter_misc":{"Est. reading time":"1 minute"},"schema":{"@context":"https:\/\/schema.org","@graph":[{"@type":"WebPage","@id":"https:\/\/saarland-informatics-campus.de\/en\/project\/research-on-the-interplay-of-hardware-and-software\/","url":"https:\/\/saarland-informatics-campus.de\/en\/project\/research-on-the-interplay-of-hardware-and-software\/","name":"Research on the interplay of hardware and software - Saarland Informatics Campus","isPartOf":{"@id":"https:\/\/saarland-informatics-campus.de\/en\/#website"},"primaryImageOfPage":{"@id":"https:\/\/saarland-informatics-campus.de\/en\/project\/research-on-the-interplay-of-hardware-and-software\/#primaryimage"},"image":{"@id":"https:\/\/saarland-informatics-campus.de\/en\/project\/research-on-the-interplay-of-hardware-and-software\/#primaryimage"},"thumbnailUrl":"https:\/\/saarland-informatics-campus.de\/wp-content\/uploads\/Jan_Reineke_122095_WEB.jpg","datePublished":"2021-04-22T13:11:52+00:00","breadcrumb":{"@id":"https:\/\/saarland-informatics-campus.de\/en\/project\/research-on-the-interplay-of-hardware-and-software\/#breadcrumb"},"inLanguage":"en-US","potentialAction":[{"@type":"ReadAction","target":["https:\/\/saarland-informatics-campus.de\/en\/project\/research-on-the-interplay-of-hardware-and-software\/"]}]},{"@type":"ImageObject","inLanguage":"en-US","@id":"https:\/\/saarland-informatics-campus.de\/en\/project\/research-on-the-interplay-of-hardware-and-software\/#primaryimage","url":"https:\/\/saarland-informatics-campus.de\/wp-content\/uploads\/Jan_Reineke_122095_WEB.jpg","contentUrl":"https:\/\/saarland-informatics-campus.de\/wp-content\/uploads\/Jan_Reineke_122095_WEB.jpg","width":1000,"height":640},{"@type":"BreadcrumbList","@id":"https:\/\/saarland-informatics-campus.de\/en\/project\/research-on-the-interplay-of-hardware-and-software\/#breadcrumb","itemListElement":[{"@type":"ListItem","position":1,"name":"Home","item":"https:\/\/saarland-informatics-campus.de\/en\/"},{"@type":"ListItem","position":2,"name":"Projects","item":"https:\/\/saarland-informatics-campus.de\/en\/project\/"},{"@type":"ListItem","position":3,"name":"Research on the interplay of hardware and software"}]},{"@type":"WebSite","@id":"https:\/\/saarland-informatics-campus.de\/en\/#website","url":"https:\/\/saarland-informatics-campus.de\/en\/","name":"Saarland Informatics Campus","description":"in Saarbr\u00fccken, Germany","publisher":{"@id":"https:\/\/saarland-informatics-campus.de\/en\/#organization"},"potentialAction":[{"@type":"SearchAction","target":{"@type":"EntryPoint","urlTemplate":"https:\/\/saarland-informatics-campus.de\/en\/?s={search_term_string}"},"query-input":{"@type":"PropertyValueSpecification","valueRequired":true,"valueName":"search_term_string"}}],"inLanguage":"en-US"},{"@type":"Organization","@id":"https:\/\/saarland-informatics-campus.de\/en\/#organization","name":"Saarland Informatics Campus","url":"https:\/\/saarland-informatics-campus.de\/en\/","logo":{"@type":"ImageObject","inLanguage":"en-US","@id":"https:\/\/saarland-informatics-campus.de\/en\/#\/schema\/logo\/image\/","url":"https:\/\/saarland-informatics-campus.de\/wp-content\/uploads\/SIC_logo_1453x343.png","contentUrl":"https:\/\/saarland-informatics-campus.de\/wp-content\/uploads\/SIC_logo_1453x343.png","width":1453,"height":343,"caption":"Saarland Informatics Campus"},"image":{"@id":"https:\/\/saarland-informatics-campus.de\/en\/#\/schema\/logo\/image\/"},"sameAs":["https:\/\/www.facebook.com\/sic.informatik.saarland\/","https:\/\/bsky.app\/profile\/saarland-informatics-campus.de","https:\/\/www.instagram.com\/saarland_informatics_campus\/","https:\/\/www.youtube.com\/channel\/UCaDDK5m9CGCzE4xhZTFC6cA","https:\/\/www.linkedin.com\/company\/saarland-informatics-campus"]}]}},"_links":{"self":[{"href":"https:\/\/saarland-informatics-campus.de\/en\/wp-json\/wp\/v2\/project\/9306","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/saarland-informatics-campus.de\/en\/wp-json\/wp\/v2\/project"}],"about":[{"href":"https:\/\/saarland-informatics-campus.de\/en\/wp-json\/wp\/v2\/types\/project"}],"author":[{"embeddable":true,"href":"https:\/\/saarland-informatics-campus.de\/en\/wp-json\/wp\/v2\/users\/41"}],"replies":[{"embeddable":true,"href":"https:\/\/saarland-informatics-campus.de\/en\/wp-json\/wp\/v2\/comments?post=9306"}],"version-history":[{"count":0,"href":"https:\/\/saarland-informatics-campus.de\/en\/wp-json\/wp\/v2\/project\/9306\/revisions"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/saarland-informatics-campus.de\/en\/wp-json\/wp\/v2\/media\/9283"}],"wp:attachment":[{"href":"https:\/\/saarland-informatics-campus.de\/en\/wp-json\/wp\/v2\/media?parent=9306"}],"wp:term":[{"taxonomy":"project_category","embeddable":true,"href":"https:\/\/saarland-informatics-campus.de\/en\/wp-json\/wp\/v2\/project_category?post=9306"},{"taxonomy":"project_tag","embeddable":true,"href":"https:\/\/saarland-informatics-campus.de\/en\/wp-json\/wp\/v2\/project_tag?post=9306"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}