{"id":74,"date":"2014-07-26T11:54:34","date_gmt":"2014-07-26T09:54:34","guid":{"rendered":"https:\/\/web.umons.ac.be\/infortech\/?p=74"},"modified":"2017-07-18T11:57:31","modified_gmt":"2017-07-18T09:57:31","slug":"un-chercheur-en-informatique-de-lumons-au-heidelberg-laureate-forum-2014","status":"publish","type":"post","link":"https:\/\/web.umons.ac.be\/infortech\/fr\/un-chercheur-en-informatique-de-lumons-au-heidelberg-laureate-forum-2014\/","title":{"rendered":"Un chercheur en informatique de l&rsquo;UMONS au Heidelberg Laureate Forum 2014"},"content":{"rendered":"<p>Apr\u00e8s Quentin Menet (math\u00e9maticien) en 2013, Micka\u00ebl Randour, un jeune chercheur post-doctoral en informatique, participera au \u00ab\u00a0Heidelberg Laureate Forum\u00a0\u00bb en septembre 2014.<span style=\"font-weight: inherit; font-style: inherit;\">\u00a0\u00a0<\/span>Ce forum permet \u00e0 200 jeunes s\u00e9lectionn\u00e9s sur base de leur talent en math\u00e9matique ou en informatique d&rsquo;exposer leurs recherches et de dialoguer pendant une semaine avec des laur\u00e9ats de prix prestigieux (prix Abel, m\u00e9daille Fields, prix Turing,&#8230;).<\/p>\n<p>Les recherches de Micka\u00ebl Randour sont \u00e0 la fronti\u00e8re entre la th\u00e9orie des jeux, la v\u00e9rification formelle et la synth\u00e8se de syst\u00e8mes informatiques complexes.<span style=\"font-weight: inherit; font-style: inherit;\">\u00a0<\/span>Le but de la v\u00e9rification formelle est de trouver des algorithmes permettant de v\u00e9rifier automatiquement qu&rsquo;un syst\u00e8me donn\u00e9 est correct (i.e. qu&rsquo;il satisfait une propri\u00e9t\u00e9 donn\u00e9e).<span style=\"font-weight: inherit; font-style: inherit;\">\u00a0<\/span>La synth\u00e8se a un objectif plus ambitieux : automatiser la construction de syst\u00e8mes informatiques corrects par construction.<span style=\"font-weight: inherit; font-style: inherit;\">\u00a0<\/span><\/p>\n<p>Dans le cadre de ses recherches, en s&rsquo;appuyant sur le formalisme de la th\u00e9orie des jeux, Micka\u00ebl Randour s&rsquo;est pench\u00e9 sur des extensions quantitatives et multi-crit\u00e8res de ces deux approches.<span style=\"font-weight: inherit; font-style: inherit;\">\u00a0\u00a0<\/span>Ces extensions permettent d&rsquo;automatiser la construction de syst\u00e8mes informatiques, non seulement corrects, mais qui de plus minimisent certaines quantit\u00e9s telles que la consommation d&rsquo;\u00e9nergie, ou le temps de r\u00e9ponse.<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Micka\u00ebl Randour, jeune chercheur post-doctoral en informatique, participera au \u00ab\u00a0Heidelberg Laureate Forum\u00a0\u00bb en septembre 2014.  Ce forum permet \u00e0 200 jeunes d&rsquo;\u00e9changer avec des laur\u00e9ats de prix prestigieux (prix Abel, m\u00e9daille Fields, prix Turing,&#8230;).<\/p>\n","protected":false},"author":1,"featured_media":75,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[],"tags":[],"class_list":["post-74","post","type-post","status-publish","format-standard","has-post-thumbnail","hentry"],"yoast_head":"<!-- This site is optimized with the Yoast SEO plugin v27.2 - https:\/\/yoast.com\/product\/yoast-seo-wordpress\/ -->\n<title>Un chercheur en informatique de l&#039;UMONS au Heidelberg Laureate Forum 2014 - Institut \/ Infortech<\/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\/infortech\/fr\/un-chercheur-en-informatique-de-lumons-au-heidelberg-laureate-forum-2014\/\" \/>\n<meta property=\"og:locale\" content=\"fr_FR\" \/>\n<meta property=\"og:type\" content=\"article\" \/>\n<meta property=\"og:title\" content=\"Un chercheur en informatique de l&#039;UMONS au Heidelberg Laureate Forum 2014 - Institut \/ Infortech\" \/>\n<meta property=\"og:description\" content=\"Micka\u00ebl Randour, jeune chercheur post-doctoral en informatique, participera au &quot;Heidelberg Laureate Forum&quot; en septembre 2014. Ce forum permet \u00e0 200 jeunes d&#039;\u00e9changer avec des laur\u00e9ats de prix prestigieux (prix Abel, m\u00e9daille Fields, prix Turing,...).\" \/>\n<meta property=\"og:url\" content=\"https:\/\/web.umons.ac.be\/infortech\/fr\/un-chercheur-en-informatique-de-lumons-au-heidelberg-laureate-forum-2014\/\" \/>\n<meta property=\"og:site_name\" content=\"Institut \/ Infortech\" \/>\n<meta property=\"article:published_time\" content=\"2014-07-26T09:54:34+00:00\" \/>\n<meta property=\"article:modified_time\" content=\"2017-07-18T09:57:31+00:00\" \/>\n<meta property=\"og:image\" content=\"https:\/\/web.umons.ac.be\/app\/uploads\/sites\/34\/2017\/07\/download.jpg\" \/>\n\t<meta property=\"og:image:width\" content=\"264\" \/>\n\t<meta property=\"og:image:height\" content=\"191\" \/>\n\t<meta property=\"og:image:type\" content=\"image\/jpeg\" \/>\n<meta name=\"author\" content=\"UMONS Administration\" \/>\n<meta name=\"twitter:card\" content=\"summary_large_image\" \/>\n<meta name=\"twitter:label1\" content=\"\u00c9crit par\" \/>\n\t<meta name=\"twitter:data1\" content=\"UMONS Administration\" \/>\n\t<meta name=\"twitter:label2\" content=\"Dur\u00e9e de lecture estim\u00e9e\" \/>\n\t<meta name=\"twitter:data2\" content=\"1 minute\" \/>\n<script type=\"application\/ld+json\" class=\"yoast-schema-graph\">{\"@context\":\"https:\/\/schema.org\",\"@graph\":[{\"@type\":\"Article\",\"@id\":\"https:\/\/web.umons.ac.be\/infortech\/fr\/un-chercheur-en-informatique-de-lumons-au-heidelberg-laureate-forum-2014\/#article\",\"isPartOf\":{\"@id\":\"https:\/\/web.umons.ac.be\/infortech\/fr\/un-chercheur-en-informatique-de-lumons-au-heidelberg-laureate-forum-2014\/\"},\"author\":{\"name\":\"UMONS Administration\",\"@id\":\"https:\/\/web.umons.ac.be\/infortech\/#\/schema\/person\/fe6f953d2fd33e92c6d457f8f86a305f\"},\"headline\":\"Un chercheur en informatique de l&rsquo;UMONS au Heidelberg Laureate Forum 2014\",\"datePublished\":\"2014-07-26T09:54:34+00:00\",\"dateModified\":\"2017-07-18T09:57:31+00:00\",\"mainEntityOfPage\":{\"@id\":\"https:\/\/web.umons.ac.be\/infortech\/fr\/un-chercheur-en-informatique-de-lumons-au-heidelberg-laureate-forum-2014\/\"},\"wordCount\":226,\"commentCount\":0,\"image\":{\"@id\":\"https:\/\/web.umons.ac.be\/infortech\/fr\/un-chercheur-en-informatique-de-lumons-au-heidelberg-laureate-forum-2014\/#primaryimage\"},\"thumbnailUrl\":\"https:\/\/web.umons.ac.be\/app\/uploads\/sites\/34\/2017\/07\/download.jpg\",\"inLanguage\":\"fr-FR\",\"potentialAction\":[{\"@type\":\"CommentAction\",\"name\":\"Comment\",\"target\":[\"https:\/\/web.umons.ac.be\/infortech\/fr\/un-chercheur-en-informatique-de-lumons-au-heidelberg-laureate-forum-2014\/#respond\"]}]},{\"@type\":\"WebPage\",\"@id\":\"https:\/\/web.umons.ac.be\/infortech\/fr\/un-chercheur-en-informatique-de-lumons-au-heidelberg-laureate-forum-2014\/\",\"url\":\"https:\/\/web.umons.ac.be\/infortech\/fr\/un-chercheur-en-informatique-de-lumons-au-heidelberg-laureate-forum-2014\/\",\"name\":\"Un chercheur en informatique de l'UMONS au Heidelberg Laureate Forum 2014 - Institut \/ Infortech\",\"isPartOf\":{\"@id\":\"https:\/\/web.umons.ac.be\/infortech\/#website\"},\"primaryImageOfPage\":{\"@id\":\"https:\/\/web.umons.ac.be\/infortech\/fr\/un-chercheur-en-informatique-de-lumons-au-heidelberg-laureate-forum-2014\/#primaryimage\"},\"image\":{\"@id\":\"https:\/\/web.umons.ac.be\/infortech\/fr\/un-chercheur-en-informatique-de-lumons-au-heidelberg-laureate-forum-2014\/#primaryimage\"},\"thumbnailUrl\":\"https:\/\/web.umons.ac.be\/app\/uploads\/sites\/34\/2017\/07\/download.jpg\",\"datePublished\":\"2014-07-26T09:54:34+00:00\",\"dateModified\":\"2017-07-18T09:57:31+00:00\",\"author\":{\"@id\":\"https:\/\/web.umons.ac.be\/infortech\/#\/schema\/person\/fe6f953d2fd33e92c6d457f8f86a305f\"},\"breadcrumb\":{\"@id\":\"https:\/\/web.umons.ac.be\/infortech\/fr\/un-chercheur-en-informatique-de-lumons-au-heidelberg-laureate-forum-2014\/#breadcrumb\"},\"inLanguage\":\"fr-FR\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\/\/web.umons.ac.be\/infortech\/fr\/un-chercheur-en-informatique-de-lumons-au-heidelberg-laureate-forum-2014\/\"]}]},{\"@type\":\"ImageObject\",\"inLanguage\":\"fr-FR\",\"@id\":\"https:\/\/web.umons.ac.be\/infortech\/fr\/un-chercheur-en-informatique-de-lumons-au-heidelberg-laureate-forum-2014\/#primaryimage\",\"url\":\"https:\/\/web.umons.ac.be\/app\/uploads\/sites\/34\/2017\/07\/download.jpg\",\"contentUrl\":\"https:\/\/web.umons.ac.be\/app\/uploads\/sites\/34\/2017\/07\/download.jpg\",\"width\":264,\"height\":191},{\"@type\":\"BreadcrumbList\",\"@id\":\"https:\/\/web.umons.ac.be\/infortech\/fr\/un-chercheur-en-informatique-de-lumons-au-heidelberg-laureate-forum-2014\/#breadcrumb\",\"itemListElement\":[{\"@type\":\"ListItem\",\"position\":1,\"name\":\"Accueil\",\"item\":\"https:\/\/web.umons.ac.be\/infortech\/fr\/\"},{\"@type\":\"ListItem\",\"position\":2,\"name\":\"Un chercheur en informatique de l&rsquo;UMONS au Heidelberg Laureate Forum 2014\"}]},{\"@type\":\"WebSite\",\"@id\":\"https:\/\/web.umons.ac.be\/infortech\/#website\",\"url\":\"https:\/\/web.umons.ac.be\/infortech\/\",\"name\":\"Institut \/ Infortech\",\"description\":\"Un site utilisant Universit\u00e9 de Mons \u2013 UMONS\",\"potentialAction\":[{\"@type\":\"SearchAction\",\"target\":{\"@type\":\"EntryPoint\",\"urlTemplate\":\"https:\/\/web.umons.ac.be\/infortech\/?s={search_term_string}\"},\"query-input\":{\"@type\":\"PropertyValueSpecification\",\"valueRequired\":true,\"valueName\":\"search_term_string\"}}],\"inLanguage\":\"fr-FR\"},{\"@type\":\"Person\",\"@id\":\"https:\/\/web.umons.ac.be\/infortech\/#\/schema\/person\/fe6f953d2fd33e92c6d457f8f86a305f\",\"name\":\"UMONS Administration\",\"image\":{\"@type\":\"ImageObject\",\"inLanguage\":\"fr-FR\",\"@id\":\"https:\/\/secure.gravatar.com\/avatar\/a2a4086b60c40f46aa897949adc459f31405f93c9f0702f0a82b68f226f30bdc?s=96&d=mm&r=g\",\"url\":\"https:\/\/secure.gravatar.com\/avatar\/a2a4086b60c40f46aa897949adc459f31405f93c9f0702f0a82b68f226f30bdc?s=96&d=mm&r=g\",\"contentUrl\":\"https:\/\/secure.gravatar.com\/avatar\/a2a4086b60c40f46aa897949adc459f31405f93c9f0702f0a82b68f226f30bdc?s=96&d=mm&r=g\",\"caption\":\"UMONS Administration\"},\"url\":\"https:\/\/web.umons.ac.be\/infortech\/author\/umons\/\"}]}<\/script>\n<!-- \/ Yoast SEO plugin. -->","yoast_head_json":{"title":"Un chercheur en informatique de l'UMONS au Heidelberg Laureate Forum 2014 - Institut \/ Infortech","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\/infortech\/fr\/un-chercheur-en-informatique-de-lumons-au-heidelberg-laureate-forum-2014\/","og_locale":"fr_FR","og_type":"article","og_title":"Un chercheur en informatique de l'UMONS au Heidelberg Laureate Forum 2014 - Institut \/ Infortech","og_description":"Micka\u00ebl Randour, jeune chercheur post-doctoral en informatique, participera au \"Heidelberg Laureate Forum\" en septembre 2014. Ce forum permet \u00e0 200 jeunes d'\u00e9changer avec des laur\u00e9ats de prix prestigieux (prix Abel, m\u00e9daille Fields, prix Turing,...).","og_url":"https:\/\/web.umons.ac.be\/infortech\/fr\/un-chercheur-en-informatique-de-lumons-au-heidelberg-laureate-forum-2014\/","og_site_name":"Institut \/ Infortech","article_published_time":"2014-07-26T09:54:34+00:00","article_modified_time":"2017-07-18T09:57:31+00:00","og_image":[{"width":264,"height":191,"url":"https:\/\/web.umons.ac.be\/app\/uploads\/sites\/34\/2017\/07\/download.jpg","type":"image\/jpeg"}],"author":"UMONS Administration","twitter_card":"summary_large_image","twitter_misc":{"\u00c9crit par":"UMONS Administration","Dur\u00e9e de lecture estim\u00e9e":"1 minute"},"schema":{"@context":"https:\/\/schema.org","@graph":[{"@type":"Article","@id":"https:\/\/web.umons.ac.be\/infortech\/fr\/un-chercheur-en-informatique-de-lumons-au-heidelberg-laureate-forum-2014\/#article","isPartOf":{"@id":"https:\/\/web.umons.ac.be\/infortech\/fr\/un-chercheur-en-informatique-de-lumons-au-heidelberg-laureate-forum-2014\/"},"author":{"name":"UMONS Administration","@id":"https:\/\/web.umons.ac.be\/infortech\/#\/schema\/person\/fe6f953d2fd33e92c6d457f8f86a305f"},"headline":"Un chercheur en informatique de l&rsquo;UMONS au Heidelberg Laureate Forum 2014","datePublished":"2014-07-26T09:54:34+00:00","dateModified":"2017-07-18T09:57:31+00:00","mainEntityOfPage":{"@id":"https:\/\/web.umons.ac.be\/infortech\/fr\/un-chercheur-en-informatique-de-lumons-au-heidelberg-laureate-forum-2014\/"},"wordCount":226,"commentCount":0,"image":{"@id":"https:\/\/web.umons.ac.be\/infortech\/fr\/un-chercheur-en-informatique-de-lumons-au-heidelberg-laureate-forum-2014\/#primaryimage"},"thumbnailUrl":"https:\/\/web.umons.ac.be\/app\/uploads\/sites\/34\/2017\/07\/download.jpg","inLanguage":"fr-FR","potentialAction":[{"@type":"CommentAction","name":"Comment","target":["https:\/\/web.umons.ac.be\/infortech\/fr\/un-chercheur-en-informatique-de-lumons-au-heidelberg-laureate-forum-2014\/#respond"]}]},{"@type":"WebPage","@id":"https:\/\/web.umons.ac.be\/infortech\/fr\/un-chercheur-en-informatique-de-lumons-au-heidelberg-laureate-forum-2014\/","url":"https:\/\/web.umons.ac.be\/infortech\/fr\/un-chercheur-en-informatique-de-lumons-au-heidelberg-laureate-forum-2014\/","name":"Un chercheur en informatique de l'UMONS au Heidelberg Laureate Forum 2014 - Institut \/ Infortech","isPartOf":{"@id":"https:\/\/web.umons.ac.be\/infortech\/#website"},"primaryImageOfPage":{"@id":"https:\/\/web.umons.ac.be\/infortech\/fr\/un-chercheur-en-informatique-de-lumons-au-heidelberg-laureate-forum-2014\/#primaryimage"},"image":{"@id":"https:\/\/web.umons.ac.be\/infortech\/fr\/un-chercheur-en-informatique-de-lumons-au-heidelberg-laureate-forum-2014\/#primaryimage"},"thumbnailUrl":"https:\/\/web.umons.ac.be\/app\/uploads\/sites\/34\/2017\/07\/download.jpg","datePublished":"2014-07-26T09:54:34+00:00","dateModified":"2017-07-18T09:57:31+00:00","author":{"@id":"https:\/\/web.umons.ac.be\/infortech\/#\/schema\/person\/fe6f953d2fd33e92c6d457f8f86a305f"},"breadcrumb":{"@id":"https:\/\/web.umons.ac.be\/infortech\/fr\/un-chercheur-en-informatique-de-lumons-au-heidelberg-laureate-forum-2014\/#breadcrumb"},"inLanguage":"fr-FR","potentialAction":[{"@type":"ReadAction","target":["https:\/\/web.umons.ac.be\/infortech\/fr\/un-chercheur-en-informatique-de-lumons-au-heidelberg-laureate-forum-2014\/"]}]},{"@type":"ImageObject","inLanguage":"fr-FR","@id":"https:\/\/web.umons.ac.be\/infortech\/fr\/un-chercheur-en-informatique-de-lumons-au-heidelberg-laureate-forum-2014\/#primaryimage","url":"https:\/\/web.umons.ac.be\/app\/uploads\/sites\/34\/2017\/07\/download.jpg","contentUrl":"https:\/\/web.umons.ac.be\/app\/uploads\/sites\/34\/2017\/07\/download.jpg","width":264,"height":191},{"@type":"BreadcrumbList","@id":"https:\/\/web.umons.ac.be\/infortech\/fr\/un-chercheur-en-informatique-de-lumons-au-heidelberg-laureate-forum-2014\/#breadcrumb","itemListElement":[{"@type":"ListItem","position":1,"name":"Accueil","item":"https:\/\/web.umons.ac.be\/infortech\/fr\/"},{"@type":"ListItem","position":2,"name":"Un chercheur en informatique de l&rsquo;UMONS au Heidelberg Laureate Forum 2014"}]},{"@type":"WebSite","@id":"https:\/\/web.umons.ac.be\/infortech\/#website","url":"https:\/\/web.umons.ac.be\/infortech\/","name":"Institut \/ Infortech","description":"Un site utilisant Universit\u00e9 de Mons \u2013 UMONS","potentialAction":[{"@type":"SearchAction","target":{"@type":"EntryPoint","urlTemplate":"https:\/\/web.umons.ac.be\/infortech\/?s={search_term_string}"},"query-input":{"@type":"PropertyValueSpecification","valueRequired":true,"valueName":"search_term_string"}}],"inLanguage":"fr-FR"},{"@type":"Person","@id":"https:\/\/web.umons.ac.be\/infortech\/#\/schema\/person\/fe6f953d2fd33e92c6d457f8f86a305f","name":"UMONS Administration","image":{"@type":"ImageObject","inLanguage":"fr-FR","@id":"https:\/\/secure.gravatar.com\/avatar\/a2a4086b60c40f46aa897949adc459f31405f93c9f0702f0a82b68f226f30bdc?s=96&d=mm&r=g","url":"https:\/\/secure.gravatar.com\/avatar\/a2a4086b60c40f46aa897949adc459f31405f93c9f0702f0a82b68f226f30bdc?s=96&d=mm&r=g","contentUrl":"https:\/\/secure.gravatar.com\/avatar\/a2a4086b60c40f46aa897949adc459f31405f93c9f0702f0a82b68f226f30bdc?s=96&d=mm&r=g","caption":"UMONS Administration"},"url":"https:\/\/web.umons.ac.be\/infortech\/author\/umons\/"}]}},"lang":"fr","translations":{"fr":74},"pll_sync_post":[],"_links":{"self":[{"href":"https:\/\/web.umons.ac.be\/infortech\/wp-json\/wp\/v2\/posts\/74","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/web.umons.ac.be\/infortech\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/web.umons.ac.be\/infortech\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/web.umons.ac.be\/infortech\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/web.umons.ac.be\/infortech\/wp-json\/wp\/v2\/comments?post=74"}],"version-history":[{"count":0,"href":"https:\/\/web.umons.ac.be\/infortech\/wp-json\/wp\/v2\/posts\/74\/revisions"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/web.umons.ac.be\/infortech\/wp-json\/wp\/v2\/media\/75"}],"wp:attachment":[{"href":"https:\/\/web.umons.ac.be\/infortech\/wp-json\/wp\/v2\/media?parent=74"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/web.umons.ac.be\/infortech\/wp-json\/wp\/v2\/categories?post=74"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/web.umons.ac.be\/infortech\/wp-json\/wp\/v2\/tags?post=74"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}