{"id":170805,"date":"2011-09-13T07:03:12","date_gmt":"2011-09-13T07:03:12","guid":{"rendered":"https:\/\/www.microsoft.com\/en-us\/research\/project\/university-of-edinburgh-microsoft-research-joint-initiative-in-informatics\/"},"modified":"2020-07-20T04:44:45","modified_gmt":"2020-07-20T11:44:45","slug":"university-of-edinburgh-microsoft-research-joint-initiative-in-informatics","status":"publish","type":"msr-project","link":"https:\/\/www.microsoft.com\/en-us\/research\/project\/university-of-edinburgh-microsoft-research-joint-initiative-in-informatics\/","title":{"rendered":"University of Edinburgh Microsoft Research Joint Initiative in Informatics"},"content":{"rendered":"<div style=\"width: 610px\" class=\"wp-caption alignnone\"><img loading=\"lazy\" decoding=\"async\" id=\"Imageee2e7ed8-58e3-49c6-91cc-c55e0378509c\" title=\"Jelte Meuse, Anastasis Georgoulas, Andy Gordon, Miltiadis Allamanis and Jinli Hu\" src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/02\/edinburgh-initiative-group.jpg\" alt=\"Jelte Meuse, Anastasis Georgoulas, Andy Gordon, Miltiadis Allamanis and Jinli Hu\" width=\"600\" height=\"358\" \/><p class=\"wp-caption-text\">Pictured left to right: Jelte Meuse, Anastasis Georgoulas, Andy Gordon, Miltiadis Allamanis and Jinli Hu<\/p><\/div>\n<p>The joint initiative celebrates and consolidates research ties between the <a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" rel=\"noopener noreferrer\" target=\"_blank\" href=\"http:\/\/www.ed.ac.uk\/schools-departments\/informatics\/\">School of Informatics<span class=\"sr-only\"> (opens in new tab)<\/span><\/a> of the University of Edinburgh,\u00a0and Microsoft Research, through the annual award of studentships to up to four PhD scholars within the <a href=\"https:\/\/www.microsoft.com\/en-us\/research\/academic-program\/phd-scholarship-europe-middle-east-africa\/\">Microsoft Research PhD Scholarship programme.<\/a><\/p>\n<div id=\"en-usprojectsedinburgh-initiativedefault\" class=\"page-content\">\n<p>The initiative\u00a0was launched October 5, 2011, at a meeting between Professor Sir Tim O\u2019Shea, Principal of the University of Edinburgh, and Rick Rashid, Chief Research Officer, Microsoft Research.<\/p>\n<p>The convenor of the initiative is <a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/adg\/\">Andy Gordon<\/a>, Principal Researcher at Microsoft Research Cambridge, and Professor of Computer Security, University of Edinburgh.<\/p>\n<p>Twenty one PhD students participated in the initiative, which consisted of six annual cohorts of PhD students.<\/p>\n<\/div>\n<div id=\"en-usprojectsedinburgh-initiativedefault\" class=\"page-content\">\n<h2>Coverage of the Launch of the Initiative<\/h2>\n<ul>\n<li>The Scotsman <a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" rel=\"noopener noreferrer\" target=\"_blank\" href=\"http:\/\/www.scotsman.com\/news\/education\/university_xboxing_clever_with_new_deal_1_1897129\">University Xboxing clever with new deal<span class=\"sr-only\"> (opens in new tab)<\/span><\/a><\/li>\n<li>Microsoft Research Connections Blog <a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" rel=\"noopener noreferrer\" target=\"_blank\" href=\"http:\/\/blogs.msdn.com\/b\/msr_er\/archive\/2011\/10\/12\/sound-the-bagpipes-joint-initiative-in-informatics-announced.aspx\">Sound the Bagpipes: Joint Initiative in Informatics Announced<span class=\"sr-only\"> (opens in new tab)<\/span><\/a><\/li>\n<\/ul>\n<\/div>\n<div id=\"en-usprojectsedinburgh-initiativedefault\" class=\"page-content\"><span id=\"829a2642-7d32-4796-9cad-cf2728ded255\" class=\"ImageBlock fn\"><span id=\"ImageCaption829a2642-7d32-4796-9cad-cf2728ded255\" class=\"ImageCaptionCoreCss ImageCaption\"><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/02\/edinburgh-initiative-emji_poster.jpg\"><img loading=\"lazy\" decoding=\"async\" class=\"alignnone wp-image-180554 \" src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/02\/edinburgh-initiative-emji_poster.jpg\" alt=\"emji_poster.jpg\" width=\"300\" height=\"424\" srcset=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/02\/edinburgh-initiative-emji_poster.jpg 550w, https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/02\/edinburgh-initiative-emji_poster-212x300.jpg 212w\" sizes=\"auto, (max-width: 300px) 100vw, 300px\" \/><\/a><\/span><\/span><\/div>\n","protected":false},"excerpt":{"rendered":"<p>The joint initiative celebrates and consolidates research ties between the School of Informatics of the University of Edinburgh,\u00a0and Microsoft Research, through the annual award of studentships to up to four PhD scholars within the Microsoft Research PhD Scholarship programme. The initiative\u00a0was launched October 5, 2011, at a meeting between Professor Sir Tim O\u2019Shea, Principal of [&hellip;]<\/p>\n","protected":false},"featured_media":0,"template":"","meta":{"msr-url-field":"","msr-podcast-episode":"","msrModifiedDate":"","msrModifiedDateEnabled":false,"ep_exclude_from_search":false,"_classifai_error":"","footnotes":""},"research-area":[13560],"msr-locale":[268875],"msr-impact-theme":[],"msr-pillar":[],"class_list":["post-170805","msr-project","type-msr-project","status-publish","hentry","msr-research-area-programming-languages-software-engineering","msr-locale-en_us","msr-archive-status-active"],"msr_project_start":"2011-10-05","related-publications":[],"related-downloads":[],"related-videos":[],"related-groups":[],"related-events":[],"related-opportunities":[],"related-posts":[],"related-articles":[],"tab-content":[{"id":0,"name":"September 2017 Cohort","content":"<strong>Programmable Single-Cell Biocomputers with Scalable Signal Processing Capacity\r\n<\/strong>Supervisor: Baojun Wang\r\nMSR Supervisor: Neil Dalchau\r\nStudent: Yiyu Xiang\r\n\r\n<strong>Improving the usability of TLS APIs\r\n<\/strong>Supervisor: Kami Vaniea\r\nMSR Supervisor: Antoine Delignat-Lavaud\r\nStudent: <a href=\"https:\/\/mohammad.tahaei.com\/\">Mohammad Tahaei<\/a>\r\n\r\n<strong>Towards Ethical Development of Symbiotic Human-Machine Systems; creating ethical frameworks and solutions\r\n<\/strong>Supervisor:\u00a0Ewa Luger\r\nMSR Supervisor:\u00a0Richard Banks\r\nStudent: <a href=\"https:\/\/www.linkedin.com\/in\/sarahbennett4\/\">Sarah Bennett<\/a>"},{"id":1,"name":"September 2016 Cohort","content":"<strong><img class=\"wp-image-434010 alignleft\" src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2011\/09\/christian-250x300.jpg\" alt=\"Christian Rauch\" width=\"100\" height=\"120\" \/>Dense Visual Tracking for Active Manipulation\r\n<\/strong>Supervisor:\u00a0Maurice Fallon\r\nMSR Supervisor:\u00a0Jamie Shotton\r\nStudent: Christian Rauch\r\n\r\n&nbsp;\r\n\r\n<strong><img class=\"alignleft wp-image-434007\" src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2011\/09\/ANTONIOS-KATSARAKIS-MSRC0594-250x300.jpg\" alt=\"Antonios Katsarakis \" width=\"100\" height=\"120\" \/>Rack-Scale Interconnect Fabrics for Disaggregated Memory\r\n<\/strong>Supervisor:\u00a0Boris Grot\r\nMSR Supervisor:\u00a0Paolo Costa\r\nStudent: Antonios Katsarakis\r\n\r\n&nbsp;\r\n\r\n<strong><img class=\"wp-image-434013 alignleft\" src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2011\/09\/eirini-vlassi-pandi-250x300.jpg\" alt=\"Eirini Vlassi Pandi \" width=\"100\" height=\"120\" \/>Reducing the Annotation Tax of Programming Language Types Using Machine Learning and Big Code\r\n<\/strong>Supervisor:\u00a0Charles Sutton\r\nMSR Supervisor:\u00a0Andy Gordon\r\nStudent: Eirini\u00a0Vlassi Pandi"},{"id":2,"name":"September 2015 Cohort","content":"<strong><img class=\"alignleft wp-image-295493\" src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2011\/09\/Patric-Fulop.jpg\" alt=\"patric-fulop\" width=\"102\" height=\"100\" \/>Formal Decompositions of Strongly Coupled Systems<\/strong>\r\nSupervisor: Vincent Danos\r\nMSR Supervisor: Boyan Yordanoff\r\nStudent: Patric Fulop\r\n\r\n<strong>Self-Optimising Internet Services\r\n<\/strong>Supervisor: Hugh Leather\r\nMSR Supervisor: Flavio Junqueira\r\nStudent: Chad Verbowski\r\n<div id=\"en-usprojectsedinburgh-initiativedefault\" class=\"page-content\">\r\n\r\n<strong><img class=\"alignleft wp-image-295490\" src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2011\/09\/Chris-Perivolaropoulos-264x300.jpg\" alt=\"chris-perivolaropoulos\" width=\"100\" height=\"114\" \/>System-Level Support for Persistent Memory<\/strong>\r\nSupervisor: Stratis Viglas\r\nMSR Supervisor:\u00a0Aleksandar Dragojevic\r\nStudent: Christos Perivolaropoulos\r\n\r\n<\/div>"},{"id":3,"name":"September 2014 Cohort","content":"The following selection was announced in\u00a0February 2014\r\n\r\n<strong><span id=\"6924d326-d2ac-46db-a349-2eed19abf6c6\" class=\"ImageBlock fl\"><img id=\"Image6924d326-d2ac-46db-a349-2eed19abf6c6\" class=\"BorderedImageWrapper alignleft\" src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/02\/\/edinburgh-initiative-lromaszko.jpg\" width=\"102\" height=\"122\" \/><span id=\"ImageCaption6924d326-d2ac-46db-a349-2eed19abf6c6\" class=\"ImageCaptionCoreCss ImageCaption\"><\/span><\/span>Vision as Inverse Graphics<\/strong>\r\nSupervisor: Christopher Williams\r\nMSR Supervisor: Pushmeet Kohli<b> <\/b>\r\nStudent: Lukasz Romaszko\r\n\r\n&nbsp;\r\n\r\n<strong><span id=\"6d3e1b9f-490d-44fb-8bd5-6ee753da1b3b\" class=\"ImageBlock fl\"><img id=\"Image6d3e1b9f-490d-44fb-8bd5-6ee753da1b3b\" class=\"BorderedImageWrapper alignleft\" src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/02\/\/edinburgh-initiative-jack.jpg\" width=\"102\" height=\"122\" \/><span id=\"ImageCaption6d3e1b9f-490d-44fb-8bd5-6ee753da1b3b\" class=\"ImageCaptionCoreCss ImageCaption\"><\/span><\/span>TypeScript: The Next Generation\r\n<\/strong>Supervisor: Philip Wadler\r\nMSR Supervisor: Andy Gordon (acting)\r\nStudent: John Williams\r\n\r\n&nbsp;\r\n\r\n<strong><span id=\"8db6f68f-8b6b-45ee-b0f8-38d9d9f0e5ef\" class=\"ImageBlock fl\"><img id=\"Image8db6f68f-8b6b-45ee-b0f8-38d9d9f0e5ef\" class=\"BorderedImageWrapper alignleft\" src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/02\/\/edinburgh-initiative-kristjan.jpg\" width=\"102\" height=\"123\" \/><span id=\"ImageCaption8db6f68f-8b6b-45ee-b0f8-38d9d9f0e5ef\" class=\"ImageCaptionCoreCss ImageCaption\"><\/span><\/span>SMT for nonlinear constraints with application to computational biology<\/strong>\r\nSupervisor: Paul Jackson\r\nMSR Supervisor: Christoph Wintersteiger\r\nStudent: Kristjan Liiva\r\n\r\n&nbsp;\r\n<p style=\"text-align: left\"><b>Formal Language Support for Ecological Modelling<\/b>\r\nSupervisor: Jane Hillston\r\nMSR Supervisor: Matthew Smith\r\nStudent: Ludovica Luisa Vissat<\/p>\r\n\r\n<h2><\/h2>"},{"id":4,"name":"September 2013 Cohort","content":"The following selection was announced in December 2012, and the students are starting September 2013, or later.\r\n<div id=\"en-usprojectsedinburgh-initiativedefault\" class=\"page-content\">\r\n\r\n<b><span id=\"1fa73ba7-4987-450f-a794-fd2607e259d0\" class=\"ImageBlock fl\"><img id=\"Image1fa73ba7-4987-450f-a794-fd2607e259d0\" class=\"BorderedImageWrapper alignleft\" title=\"Paul-Jules Micolet\" src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/02\/edinburgh-initiative-micolet.png\" alt=\"Paul-Jules Micolet\" width=\"103\" height=\"127\" \/><\/span>Performance Portability for Large-Scale Heterogeneous Systems\r\n<\/b>Supervisor: Christophe Dubach\r\nMSR Supervisor: Ant Rowstron\r\nStudent: Paul-Jules Micolet (<a href=\"http:\/\/www.inf.ed.ac.uk\/people\/students\/Paul-Jules_Micolet.html\" target=\"_new\">web<\/a>)\r\n\r\n&nbsp;\r\n\r\n<b><span id=\"91598712-fdcf-43aa-bd8a-dfcb3e0e2fa1\" class=\"ImageBlock fl\"><img id=\"Image91598712-fdcf-43aa-bd8a-dfcb3e0e2fa1\" class=\"BorderedImageWrapper alignleft\" src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/02\/\/edinburgh-initiative-weilifu.jpg\" width=\"102\" height=\"122\" \/><\/span>Provenance for Configuration Language Security\r\n<\/b>Supervisor: James Cheney\r\nMSR Supervisor: Dimitrios Vytiniotis\r\nStudent: Weili Fu (<a href=\"http:\/\/www.inf.ed.ac.uk\/people\/students\/Weili_Fu.html\" target=\"_new\">web<\/a>)\r\n\r\n&nbsp;\r\n\r\n<b><span id=\"d1d23104-fc46-4028-bf3f-d570f98a26f5\" class=\"ImageBlock fl\"><img id=\"Imaged1d23104-fc46-4028-bf3f-d570f98a26f5\" class=\"BorderedImageWrapper alignleft\" title=\"Marcin Szymczak\" src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/02\/edinburgh-initiative-szymczak.jpg\" alt=\"Marcin Szymczak\" width=\"102\" height=\"122\" \/><\/span>Bayesian Probabilistic Programming for Security\r\n<\/b>Supervisor: David Aspinall\r\nMSR Supervisor: Andy Gordon\r\nStudent: Marcin Szymczak (<a href=\"http:\/\/www.inf.ed.ac.uk\/people\/students\/Marcin_Szymczak.html\" target=\"_self\">web<\/a>)\r\n\r\n<\/div>\r\n&nbsp;\r\n<div id=\"en-usprojectsedinburgh-initiativedefault\" class=\"page-content\">\r\n<p align=\"left\"><strong><span id=\"7e2af444-3052-4975-82be-ef93114b5ea1\" class=\"ImageBlock fl\"><img id=\"Image7e2af444-3052-4975-82be-ef93114b5ea1\" class=\"BorderedImageWrapper alignleft\" src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/02\/edinburgh-initiative-george.jpg\" width=\"102\" height=\"148\" \/><\/span>Solvin<\/strong><strong>g <\/strong><strong>the Problem of Cascading Costs: Better Approximate Bayesian Inference for Data P<\/strong><strong>ipelines <\/strong>\r\nSupervisor: Iain Murray\r\nMSR Supervisor: John Winn\r\nStudent: Georgios Papamakarios (<a href=\"http:\/\/www.inf.ed.ac.uk\/people\/students\/Georgios_Papamakarios.html\" target=\"_new\">web<\/a>)<\/p>\r\n\r\n<\/div>\r\n<div id=\"en-usprojectsedinburgh-initiativedefault\" class=\"page-content\"><\/div>"},{"id":5,"name":"September 2012 Cohort","content":"<div id=\"en-usprojectsedinburgh-initiativedefault\" class=\"page-content\">\r\n\r\nThe following selection was announced by Rick Rashid, Chief Research Officer, Microsoft Research, during the launch of the initiative on October 5, 2011, and the students started their PhD course in September 2012.\r\n\r\n<span id=\"7060ad19-627f-4efb-84d4-9340dad0342c\" class=\"ImageBlock fl\"><img id=\"Image7060ad19-627f-4efb-84d4-9340dad0342c\" class=\"BorderedImageWrapper alignleft\" title=\"Jinli Hu\" src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/02\/edinburgh-initiative-hu.jpg\" alt=\"Jinli Hu\" \/><\/span><b>Machine Learning Markets <\/b>\r\nSupervisor: Amos Storkey, University of Edinburgh\r\nMSR Supervisors: Peter Key, Thore Graepel\r\nStudent: Jinli Hu (<a href=\"http:\/\/www.inf.ed.ac.uk\/people\/students\/Jinli_Hu.html\">web<\/a>)\r\n\r\n&nbsp;\r\n\r\n<\/div>\r\n<div id=\"en-usprojectsedinburgh-initiativedefault\" class=\"page-content\">\r\n\r\n<span id=\"226de645-33d8-48ea-ade2-d88ec5d92674\" class=\"ImageBlock fl\"><img id=\"Image226de645-33d8-48ea-ade2-d88ec5d92674\" class=\"BorderedImageWrapper alignleft\" title=\"Miltiadis Allamanis\" src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/02\/edinburgh-initiative-allamanis.jpg\" alt=\"Miltiadis Allamanis\" \/><\/span><b>Statistical Language Processing for Programming Language Text<\/b>\r\nSupervisor: Charles Sutton, University of Edinburgh\r\nMSR Supervisors: Andy Gordon, Thore Graepel\r\nStudent: Miltiadis Allamanis (<a href=\"http:\/\/miltos.allamanis.com\/\" target=\"_self\">web<\/a>)\r\n\r\n&nbsp;\r\n<div id=\"en-usprojectsedinburgh-initiativedefault\" class=\"page-content\">\r\n\r\n<span id=\"3d99e797-75f9-4483-b6fe-07461f7d5acf\" class=\"ImageBlock fl\"><img id=\"Image3d99e797-75f9-4483-b6fe-07461f7d5acf\" class=\"BorderedImageWrapper alignleft\" src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/02\/edinburgh-initiative-georgoulas.jpg\" \/><\/span><b>Machine Learning Methods for Formal Dynamical Systems: a Systems Biology Case Study<\/b>\r\nSupervisor: Jane Hillston (<a href=\"http:\/\/homepages.inf.ed.ac.uk\/jeh\/\" target=\"_self\">web<\/a>)\/Guido Sanguinetti (<a href=\"http:\/\/homepages.inf.ed.ac.uk\/gsanguin\/\" target=\"_self\">web<\/a>), University of Edinburgh\r\nMSR Supervisors: Luca Cardelli, Andrew Phillips\r\nStudent: Anastasis Georgoulas (<a href=\"http:\/\/www.inf.ed.ac.uk\/people\/students\/Anastasios_Georgoulas.html\" target=\"_self\">web<\/a>)\r\n\r\n&nbsp;\r\n\r\n<span id=\"f26c031a-2192-4820-8dc7-1c8701e4684d\" class=\"ImageBlock fl\"><img id=\"Imagef26c031a-2192-4820-8dc7-1c8701e4684d\" class=\"BorderedImageWrapper alignleft\" title=\"Fabian Nagel\" src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/02\/edinburgh-initiative-fabian.jpg\" alt=\"Fabian Nagel\" \/><\/span><b>Holistic Evaluation in LINQ<\/b>\r\nSupervisor: Stratis Viglas, University of Edinburgh\r\nMSR Supervisor: Gavin Bierman\r\nStudent: Fabian Nagel (<a href=\"http:\/\/www.inf.ed.ac.uk\/people\/students\/Fabian_Nagel.html\" target=\"_self\">web<\/a>)\r\n\r\n<\/div>\r\n<h2><\/h2>\r\n&nbsp;\r\n\r\n<\/div>"}],"slides":[],"related-researchers":[],"msr_research_lab":[],"msr_impact_theme":[],"_links":{"self":[{"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-project\/170805","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-project"}],"about":[{"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/types\/msr-project"}],"version-history":[{"count":11,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-project\/170805\/revisions"}],"predecessor-version":[{"id":676689,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-project\/170805\/revisions\/676689"}],"wp:attachment":[{"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/media?parent=170805"}],"wp:term":[{"taxonomy":"msr-research-area","embeddable":true,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/research-area?post=170805"},{"taxonomy":"msr-locale","embeddable":true,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-locale?post=170805"},{"taxonomy":"msr-impact-theme","embeddable":true,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-impact-theme?post=170805"},{"taxonomy":"msr-pillar","embeddable":true,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-pillar?post=170805"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}