{"id":423,"date":"2014-05-19T09:00:00","date_gmt":"2014-05-19T09:00:00","guid":{"rendered":"https:\/\/blogs.msdn.microsoft.com\/msr_er\/2014\/05\/19\/microsoft-research-inria-joint-centre-inventing-today-tomorrows-world\/"},"modified":"2019-06-25T16:39:03","modified_gmt":"2019-06-25T23:39:03","slug":"microsoft-research-inria-joint-centre-inventing-today-tomorrows-world","status":"publish","type":"post","link":"https:\/\/www.microsoft.com\/en-us\/research\/blog\/microsoft-research-inria-joint-centre-inventing-today-tomorrows-world\/","title":{"rendered":"Microsoft Research \u2013 Inria Joint Centre: inventing today, tomorrow\u2019s world"},"content":{"rendered":"<p><span style=\"font-family: verdana,geneva; font-size: medium;\">When world-class research organizations work together on a long-term basis, the whole is greater than the sum of the parts. That premise underlies Microsoft Research\u2019s collaborative projects and joint ventures around the globe, including our <a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" href=\"http:\/\/blogs.msdn.com\/b\/msr_er\/archive\/2014\/04\/09\/partnerships-propel-computer-science.aspx\" target=\"_blank\" rel=\"noopener noreferrer\">recently renewed joint research center<span class=\"sr-only\"> (opens in new tab)<\/span><\/a> with <a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" href=\"http:\/\/www.inria.fr\/en\/\" target=\"_blank\" rel=\"noopener noreferrer\">Inria<span class=\"sr-only\"> (opens in new tab)<\/span><\/a> (the French Institute for Research in Computer Science and Automation).<\/span><\/p>\n<p><span style=\"font-family: verdana,geneva; font-size: medium;\">Since its founding in 2006, the <a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" href=\"http:\/\/www.msr-inria.inria.fr\/\" target=\"_blank\" rel=\"noopener noreferrer\">Microsoft Research \u2013 Inria Joint Centre<span class=\"sr-only\"> (opens in new tab)<\/span><\/a> has innovatively applied computer science and mathematics to a host of scientific challenges, from formal methods for mathematics to distributed systems and security, computer vision and medical imaging, machine learning and big data, and social networks and privacy.<\/span><\/p>\n<p style=\"text-align: center;\"><img decoding=\"async\" title=\"From 4D cardiac MR images to mathematical components, researchers gather at the Inria Joint Research Centre\" src=\"https:\/\/msdnshared.blob.core.windows.net\/media\/MSDNBlogsFS\/prod.evol.blogs.msdn.com\/CommunityServer.Blogs.Components.WeblogFiles\/00\/00\/01\/32\/81\/1016.Inria-486x323.jpg\" alt=\"From 4D cardiac MR images to mathematical components, researchers gather at the Inria Joint Research Centre\" \/><\/p>\n<p><span style=\"font-family: verdana,geneva; font-size: medium;\">Microsoft Research \u2013 Inria includes 100 researchers overall: 40 permanent researchers from Inria, 30 permanent researchers from Microsoft Research, and 30 non-permanent researchers (interns and postdoctoral and PhD students, representing some 23 nationalities). Today, May 19, the Joint Centre continued its quest to use computing to help solve big problems, hosting an event that reported on the ambitious projects currently underway (see the list later in this blog). The event also featured the following keynotes from some of the world\u2019s foremost computing experts, including Jeanette Wing,\u00a0corporate vice president of Microsoft Research,\u00a0who gave an inspiring presentation on how the joint research center is important to\u00a0science, technology and society.<\/span><\/p>\n<p style=\"text-align: center;\"><span style=\"font-family: verdana,geneva; font-size: medium;\"><img decoding=\"async\" style=\"border: 0px currentColor;\" title=\"Jeanette Wing, corporate vice president Microsoft Research\" src=\"https:\/\/msdnshared.blob.core.windows.net\/media\/MSDNBlogsFS\/prod.evol.blogs.msdn.com\/CommunityServer.Blogs.Components.WeblogFiles\/00\/00\/01\/32\/81\/0383.FN5A84323.jpg\" alt=\"Jeanette Wing, corporate vice president Microsoft Research\" \/><\/span><span style=\"color: #888888; font-family: verdana,geneva; font-size: small;\"><br \/>\nJeanette Wing, corporate vice president of Microsoft Research<\/span><\/p>\n<ul>\n<li><span style=\"font-family: verdana,geneva; font-size: small;\">\u201c<strong>Thinking For Programmers: Rising Above the Code\u201d<\/strong><strong>: Leslie Lamport<\/strong>, this year\u2019s <a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" href=\"http:\/\/amturing.acm.org\/award_winners\/lamport_1205376.cfm\" target=\"_blank\" rel=\"noopener noreferrer\">Turing Award winner<span class=\"sr-only\"> (opens in new tab)<\/span><\/a> and a principal researcher at Microsoft Research Silicon Valley, discussed the need for programmers to create extremely rigorous specifications before coding complex systems, particularly concurrent and distributed systems.<\/span><\/li>\n<li><span style=\"font-family: verdana,geneva; font-size: small;\"><strong>\u201cMachine learning for Brain Imaging: from pattern analysis to brain atlases\u201d<\/strong><strong>: Bertrand Thirion<\/strong>, director of research at the Joint Centre, spoke about using machine learning to extract patterns of neurological activity that can lead to a functional atlas of the brain.<\/span><\/li>\n<li><span style=\"font-family: verdana,geneva; font-size: small;\">\u201c<strong>Formal components for the odd order theorem\u201d<\/strong><strong>: Georges Gonthier<\/strong>, principal researcher and team leader at Inria, focused on how to combine software engineering, programming language, and formal logic techniques to package formal mathematical theories into components that lend themselves to computer-checked formalization of results.<\/span><\/li>\n<li><span style=\"font-family: verdana,geneva; font-size: small;\">\u201c<strong>Big\u00a0Learning: New\u00a0Challenges\u00a0and\u00a0Opportunities\u201d<\/strong><strong>: Francis Bach<\/strong>, a senior researcher and team leader at Inria, reviewed recent developments in machine learning\u2014such as improvements in algorithm speed and the use of generalized learning representations\u2014that are tailored to solving modern large-scale problems.<\/span><\/li>\n<\/ul>\n<p style=\"text-align: center;\"><span style=\"font-family: verdana,geneva; font-size: medium;\"><img decoding=\"async\" style=\"margin-right: auto; margin-left: auto; display: block;\" title=\"Georges Gonthier, principal researcher and team leader at Inria\" src=\"https:\/\/msdnshared.blob.core.windows.net\/media\/MSDNBlogsFS\/prod.evol.blogs.msdn.com\/CommunityServer.Blogs.Components.WeblogFiles\/00\/00\/01\/32\/81\/2047.FN5A85183.jpg\" alt=\"Georges Gonthier, principal researcher and team leader at Inria\" border=\"0\" \/><\/span><span style=\"color: #888888; font-family: verdana,geneva; font-size: small;\">Georges Gonthier, principal researcher and team leader at Inria\u00a0<\/span><\/p>\n<p style=\"text-align: center;\"><span style=\"font-family: verdana,geneva; font-size: medium;\"><img decoding=\"async\" style=\"margin-right: auto; margin-left: auto; display: block;\" title=\"Bertrand Thirion, director of research at the Joint Centre\" src=\"https:\/\/msdnshared.blob.core.windows.net\/media\/MSDNBlogsFS\/prod.evol.blogs.msdn.com\/CommunityServer.Blogs.Components.WeblogFiles\/00\/00\/01\/32\/81\/0131.FN5A85893.jpg\" alt=\"Bertrand Thirion, director of research at the Joint Centre\" border=\"0\" \/><\/span><span style=\"color: #888888; font-family: verdana,geneva; font-size: small;\"> Bertrand Thirion, director of research at the Joint Centre<\/span><\/p>\n<p><span style=\"font-family: verdana,geneva; font-size: medium;\">The Joint Centre is currently focusing on the following projects:<\/span><\/p>\n<p><span style=\"font-family: verdana,geneva; font-size: medium;\"><strong>Projects on formal methods and their applications<\/strong><\/span><\/p>\n<ul>\n<li><span style=\"font-family: verdana,geneva; font-size: small;\"><strong>Mathematical Components <\/strong>aims to develop the ability of existing proof assistants, such as Coq, to automatically check difficult proofs in mathematics.<\/span><\/li>\n<li><span style=\"font-family: verdana,geneva; font-size: small;\"><strong>Temporal Logic of Actions for Proof System<\/strong> addresses challenges in certifying correct behavior of distributed and concurrent systems, in which there is no certainty as to when distinct components will interact.<\/span><\/li>\n<li><span style=\"font-family: verdana,geneva; font-size: small;\"><strong>Secure Computing<\/strong> develops new languages and associated certification tools to prove that implementations of cryptographic protocols are sound, thereby improving the security of Internet transactions.<\/span><\/li>\n<\/ul>\n<p><span style=\"font-family: verdana,geneva; font-size: medium;\"><strong>Projects on machine learning and big data<\/strong><\/span><\/p>\n<ul>\n<li><span style=\"font-family: verdana,geneva; font-size: small;\"><strong>Large-scale Structured Machine Learning <\/strong>develops new methods for achieving efficient trade-offs between statistical accuracy and computational cost. It also develops algorithms that efficiently trade off exploration with exploitation in active learning scenarios.<\/span><\/li>\n<li><span style=\"font-family: verdana,geneva; font-size: small;\"><strong>Z-Cloud Workflows<\/strong> develops solutions for efficiently instantiating workflows in a cloud-computing environment by mapping tasks of the workflow to specific machines. It conjointly optimizes the replication of data within the cloud computing nodes.<\/span><\/li>\n<li><span style=\"font-family: verdana,geneva; font-size: small;\"><strong>Interactive Network Visualization<\/strong> develops tools for interacting with and visualizing data that arises from both online social networks and brain imagery, with a particular emphasis on time series.<\/span><\/li>\n<li><span style=\"font-family: verdana,geneva; font-size: small;\"><strong>White Box Search-Based Software Engineering<\/strong> uses machine learning to improve software engineering by automatically determining software parameters and assisting developers through the recommendation of code snippets.<\/span><\/li>\n<\/ul>\n<p><span style=\"font-family: verdana,geneva; font-size: medium;\"><strong>Projects on computer vision and medical imaging<\/strong><\/span><\/p>\n<ul>\n<li><span style=\"font-family: verdana,geneva; font-size: small;\"><strong>Video Understanding<\/strong> aims to extract rich features automatically from large video catalogues, in order to support semantically rich queries when searching such catalogues.<\/span><\/li>\n<li><span style=\"font-family: verdana,geneva; font-size: small;\"><strong>Medilearn <\/strong>develops personalized models that assist in the diagnosis and treatment of heart conditions. It also focuses on identification of human brain activation patterns induced by conducting specific cognitive tasks.<\/span><\/li>\n<\/ul>\n<p><span style=\"font-family: verdana,geneva; font-size: medium;\"><strong>Projects on social networks and privacy<\/strong><\/span><\/p>\n<ul>\n<li><span style=\"font-family: verdana,geneva; font-size: small;\"><strong>Social Information Networks<\/strong> develops efficient recommendation of contacts and contents to users of online social networks. It also addresses the design of reward schemes for incentivizing efficient filtering of information by users.<\/span><\/li>\n<li><span style=\"font-family: verdana,geneva; font-size: small;\"><strong>Privacy-Friendly Services and Apps<\/strong> develops means for users to protect their private information, such as geo-localization traces, while preserving the ability of applications to provide value-added services.<\/span><\/li>\n<\/ul>\n<p><span style=\"font-family: verdana,geneva; font-size: medium;\">All told, this one-day event captured the essence of the valuable research taking place at the Microsoft Research \u2013 Inria Joint Research Centre, and it points out the value of our long-term investments in collaborative ventures.<\/span><\/p>\n<p><span style=\"font-family: verdana,geneva; font-size: medium;\"><em>\u2014<\/em><a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" href=\"http:\/\/research.microsoft.com\/en-us\/people\/scarlets\/default.aspx\" target=\"_blank\" rel=\"noopener noreferrer\"><em>Scarlet Schwiderski-Grosche<\/em><span class=\"sr-only\"> (opens in new tab)<\/span><\/a><em>, Senior Research Program Manager, Microsoft Research Connections EMEA<\/em><\/span><\/p>\n<p><span style=\"font-family: verdana,geneva; font-size: medium;\"><em><span style=\"font-family: verdana,geneva; font-size: medium;\"><em>\u2014Pierre-Louis Xech, Microsoft Research-Inria Joint Centre Deputy Director, Microsoft France<\/em><\/span><\/em><\/span><\/p>\n<p>&nbsp;<\/p>\n<p><span style=\"font-family: verdana,geneva; font-size: medium;\"><strong>Learn more<\/strong><\/span><\/p>\n<ul>\n<li><span style=\"font-family: verdana,geneva; font-size: small;\"><a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" href=\"http:\/\/www.inria.fr\/en\/\" target=\"_blank\" rel=\"noopener noreferrer\">Inria<span class=\"sr-only\"> (opens in new tab)<\/span><\/a><\/span><\/li>\n<li><a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" href=\"https:\/\/www.inria.fr\/en\/institute\/partnerships\/industrial-partnerships2\/microsoft-research\" target=\"_blank\" rel=\"noopener noreferrer\"><span style=\"font-family: verdana,geneva; font-size: small;\"> Microsoft Research \u2013 Inria Joint Centre<\/span><span class=\"sr-only\"> (opens in new tab)<\/span><\/a><\/li>\n<li><a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" href=\"http:\/\/amturing.acm.org\/award_winners\/lamport_1205376.cfm\" target=\"_blank\" rel=\"noopener noreferrer\"><span style=\"font-family: verdana,geneva; font-size: small;\">Turing Award<\/span><span class=\"sr-only\"> (opens in new tab)<\/span><\/a><\/li>\n<\/ul>\n","protected":false},"excerpt":{"rendered":"<p>When world-class research organizations work together on a long-term basis, the whole is greater than the sum of the parts. That premise underlies Microsoft Research\u2019s collaborative projects and joint ventures around the globe, including our recently renewed joint research center with Inria (the French Institute for Research in Computer Science and Automation). Since its founding [&hellip;]<\/p>\n","protected":false},"author":32627,"featured_media":0,"comment_status":"closed","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"msr-url-field":"","msr-podcast-episode":"","msrModifiedDate":"","msrModifiedDateEnabled":false,"ep_exclude_from_search":false,"_classifai_error":"","footnotes":""},"categories":[1],"tags":[194799,186831,186484,187230,186897,195527,195616,195683,195918,196219,186418,196318,186813,193504,186415,187285,196999,197093,186424,197519],"research-area":[],"msr-region":[],"msr-event-type":[],"msr-locale":[268875],"msr-post-option":[],"msr-impact-theme":[],"msr-promo-type":[],"msr-podcast-series":[],"class_list":["post-423","post","type-post","status-publish","format-standard","hentry","category-research-blog","tag-bertrand-thirion","tag-big-data","tag-collaboration","tag-computer-science","tag-computer-vision","tag-events","tag-francis-bach","tag-georges-gonthier","tag-inria-joint-centre","tag-leslie-lamport","tag-machine-learning","tag-mathematics","tag-medical-imaging","tag-microsoft-research","tag-privacy","tag-research","tag-research-methods","tag-scarlet-schwiderski-grosche","tag-social-networks","tag-turing-award","msr-locale-en_us"],"msr_event_details":{"start":"","end":"","location":""},"podcast_url":"","podcast_episode":"","msr_research_lab":[],"msr_impact_theme":[],"related-publications":[],"related-downloads":[],"related-videos":[],"related-academic-programs":[],"related-groups":[],"related-projects":[],"related-events":[],"related-researchers":[],"msr_type":"Post","byline":"","formattedDate":"May 19, 2014","formattedExcerpt":"When world-class research organizations work together on a long-term basis, the whole is greater than the sum of the parts. That premise underlies Microsoft Research\u2019s collaborative projects and joint ventures around the globe, including our recently renewed joint research center with Inria (the French Institute&hellip;","locale":{"slug":"en_us","name":"English","native":"","english":"English"},"_links":{"self":[{"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/posts\/423"}],"collection":[{"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/users\/32627"}],"replies":[{"embeddable":true,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/comments?post=423"}],"version-history":[{"count":3,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/posts\/423\/revisions"}],"predecessor-version":[{"id":595360,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/posts\/423\/revisions\/595360"}],"wp:attachment":[{"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/media?parent=423"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/categories?post=423"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/tags?post=423"},{"taxonomy":"msr-research-area","embeddable":true,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/research-area?post=423"},{"taxonomy":"msr-region","embeddable":true,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-region?post=423"},{"taxonomy":"msr-event-type","embeddable":true,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-event-type?post=423"},{"taxonomy":"msr-locale","embeddable":true,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-locale?post=423"},{"taxonomy":"msr-post-option","embeddable":true,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-post-option?post=423"},{"taxonomy":"msr-impact-theme","embeddable":true,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-impact-theme?post=423"},{"taxonomy":"msr-promo-type","embeddable":true,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-promo-type?post=423"},{"taxonomy":"msr-podcast-series","embeddable":true,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-podcast-series?post=423"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}