{"id":17,"date":"2021-11-05T11:33:48","date_gmt":"2021-11-05T10:33:48","guid":{"rendered":"https:\/\/web.umons.ac.be\/maef\/research-activities\/"},"modified":"2021-11-05T11:46:40","modified_gmt":"2021-11-05T10:46:40","slug":"research-activities","status":"publish","type":"page","link":"https:\/\/web.umons.ac.be\/maef\/en\/research-activities\/","title":{"rendered":"Research activities"},"content":{"rendered":"<p>Our research field is vast and our techniques can be adapted to numerous contexts. Two examples of application fields: the synthesis of reliable controllers for embedded systems, the development of explainable AIs with strong guarantees.<\/p>\n<hr \/>\n<p>Our unit is also associated with the following UMONS research institutes :<\/p>\n<start-cask-shortcode-wrapper>\t\t<div class=\"associated-institutes content-block scheme-fs\">\n\t\t\t<ul class=\"institutes-list\">\n\t\t\t\t\t\t\t\t\t\t<li>\n\t\t\t\t\t\t\t<a href=\"https:\/\/web.umons.ac.be\/complexys\" title=\"Acc\u00e9der au site web de : Institut \/ Complexys\" class=\"associated-institute\">\n\t\t\t\t\t\t\t\t<img loading=\"lazy\" decoding=\"async\" width=\"1\" height=\"1\" src=\"https:\/\/web.umons.ac.be\/app\/uploads\/sites\/31\/2017\/11\/complexys_logo_fr.svg\" class=\"attachment-thumbnail size-thumbnail\" alt=\"\" \/>\t\t\t\t\t\t\t<\/a>\t\t\t\n\t\t\t\t\t\t<\/li>\n\t\t\t\t\t\t\t<\/ul>\n\t\t<\/div>\n <end-cask-shortcode-wrapper>\n","protected":false},"excerpt":{"rendered":"<p>Our research field is vast and our techniques can be adapted to numerous contexts. Two examples of application fields: the synthesis of reliable controllers for embedded systems, the development of explainable AIs with strong guarantees. Our unit is also associated with the following UMONS research institutes :<\/p>\n","protected":false},"author":4,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"footnotes":""},"class_list":["post-17","page","type-page","status-publish","hentry"],"yoast_head":"<!-- This site is optimized with the Yoast SEO plugin v25.1 - https:\/\/yoast.com\/wordpress\/plugins\/seo\/ -->\n<title>Research activities - Service \/ FS - Math\u00e9matiques effectives<\/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:\/\/web.umons.ac.be\/maef\/en\/research-activities\/\" \/>\n<meta property=\"og:locale\" content=\"fr_FR\" \/>\n<meta property=\"og:type\" content=\"article\" \/>\n<meta property=\"og:title\" content=\"Research activities - Service \/ FS - Math\u00e9matiques effectives\" \/>\n<meta property=\"og:description\" content=\"Our research field is vast and our techniques can be adapted to numerous contexts. Two examples of application fields: the synthesis of reliable controllers for embedded systems, the development of explainable AIs with strong guarantees. Our unit is also associated with the following UMONS research institutes :\" \/>\n<meta property=\"og:url\" content=\"https:\/\/web.umons.ac.be\/maef\/en\/research-activities\/\" \/>\n<meta property=\"og:site_name\" content=\"Service \/ FS - Math\u00e9matiques effectives\" \/>\n<meta property=\"article:modified_time\" content=\"2021-11-05T10:46:40+00:00\" \/>\n<meta name=\"twitter:card\" content=\"summary_large_image\" \/>\n<meta name=\"twitter:label1\" content=\"Dur\u00e9e de lecture estim\u00e9e\" \/>\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:\/\/web.umons.ac.be\/maef\/en\/research-activities\/\",\"url\":\"https:\/\/web.umons.ac.be\/maef\/en\/research-activities\/\",\"name\":\"Research activities - Service \/ FS - Math\u00e9matiques effectives\",\"isPartOf\":{\"@id\":\"https:\/\/web.umons.ac.be\/maef\/#website\"},\"datePublished\":\"2021-11-05T10:33:48+00:00\",\"dateModified\":\"2021-11-05T10:46:40+00:00\",\"breadcrumb\":{\"@id\":\"https:\/\/web.umons.ac.be\/maef\/en\/research-activities\/#breadcrumb\"},\"inLanguage\":\"fr-FR\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\/\/web.umons.ac.be\/maef\/en\/research-activities\/\"]}]},{\"@type\":\"BreadcrumbList\",\"@id\":\"https:\/\/web.umons.ac.be\/maef\/en\/research-activities\/#breadcrumb\",\"itemListElement\":[{\"@type\":\"ListItem\",\"position\":1,\"name\":\"Home\",\"item\":\"https:\/\/web.umons.ac.be\/maef\/\"},{\"@type\":\"ListItem\",\"position\":2,\"name\":\"Research activities\"}]},{\"@type\":\"WebSite\",\"@id\":\"https:\/\/web.umons.ac.be\/maef\/#website\",\"url\":\"https:\/\/web.umons.ac.be\/maef\/\",\"name\":\"Service \/ FS - Math\u00e9matiques effectives\",\"description\":\"\",\"potentialAction\":[{\"@type\":\"SearchAction\",\"target\":{\"@type\":\"EntryPoint\",\"urlTemplate\":\"https:\/\/web.umons.ac.be\/maef\/?s={search_term_string}\"},\"query-input\":{\"@type\":\"PropertyValueSpecification\",\"valueRequired\":true,\"valueName\":\"search_term_string\"}}],\"inLanguage\":\"fr-FR\"}]}<\/script>\n<!-- \/ Yoast SEO plugin. -->","yoast_head_json":{"title":"Research activities - Service \/ FS - Math\u00e9matiques effectives","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:\/\/web.umons.ac.be\/maef\/en\/research-activities\/","og_locale":"fr_FR","og_type":"article","og_title":"Research activities - Service \/ FS - Math\u00e9matiques effectives","og_description":"Our research field is vast and our techniques can be adapted to numerous contexts. Two examples of application fields: the synthesis of reliable controllers for embedded systems, the development of explainable AIs with strong guarantees. Our unit is also associated with the following UMONS research institutes :","og_url":"https:\/\/web.umons.ac.be\/maef\/en\/research-activities\/","og_site_name":"Service \/ FS - Math\u00e9matiques effectives","article_modified_time":"2021-11-05T10:46:40+00:00","twitter_card":"summary_large_image","twitter_misc":{"Dur\u00e9e de lecture estim\u00e9e":"1 minute"},"schema":{"@context":"https:\/\/schema.org","@graph":[{"@type":"WebPage","@id":"https:\/\/web.umons.ac.be\/maef\/en\/research-activities\/","url":"https:\/\/web.umons.ac.be\/maef\/en\/research-activities\/","name":"Research activities - Service \/ FS - Math\u00e9matiques effectives","isPartOf":{"@id":"https:\/\/web.umons.ac.be\/maef\/#website"},"datePublished":"2021-11-05T10:33:48+00:00","dateModified":"2021-11-05T10:46:40+00:00","breadcrumb":{"@id":"https:\/\/web.umons.ac.be\/maef\/en\/research-activities\/#breadcrumb"},"inLanguage":"fr-FR","potentialAction":[{"@type":"ReadAction","target":["https:\/\/web.umons.ac.be\/maef\/en\/research-activities\/"]}]},{"@type":"BreadcrumbList","@id":"https:\/\/web.umons.ac.be\/maef\/en\/research-activities\/#breadcrumb","itemListElement":[{"@type":"ListItem","position":1,"name":"Home","item":"https:\/\/web.umons.ac.be\/maef\/"},{"@type":"ListItem","position":2,"name":"Research activities"}]},{"@type":"WebSite","@id":"https:\/\/web.umons.ac.be\/maef\/#website","url":"https:\/\/web.umons.ac.be\/maef\/","name":"Service \/ FS - Math\u00e9matiques effectives","description":"","potentialAction":[{"@type":"SearchAction","target":{"@type":"EntryPoint","urlTemplate":"https:\/\/web.umons.ac.be\/maef\/?s={search_term_string}"},"query-input":{"@type":"PropertyValueSpecification","valueRequired":true,"valueName":"search_term_string"}}],"inLanguage":"fr-FR"}]}},"lang":"en","translations":{"en":17,"fr":15},"pll_sync_post":[],"_links":{"self":[{"href":"https:\/\/web.umons.ac.be\/maef\/wp-json\/wp\/v2\/pages\/17","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/web.umons.ac.be\/maef\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/web.umons.ac.be\/maef\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/web.umons.ac.be\/maef\/wp-json\/wp\/v2\/users\/4"}],"replies":[{"embeddable":true,"href":"https:\/\/web.umons.ac.be\/maef\/wp-json\/wp\/v2\/comments?post=17"}],"version-history":[{"count":1,"href":"https:\/\/web.umons.ac.be\/maef\/wp-json\/wp\/v2\/pages\/17\/revisions"}],"predecessor-version":[{"id":48,"href":"https:\/\/web.umons.ac.be\/maef\/wp-json\/wp\/v2\/pages\/17\/revisions\/48"}],"wp:attachment":[{"href":"https:\/\/web.umons.ac.be\/maef\/wp-json\/wp\/v2\/media?parent=17"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}