{"id":200039,"date":"2015-02-02T09:58:48","date_gmt":"2015-02-02T09:58:48","guid":{"rendered":"https:\/\/www.microsoft.com\/en-us\/research\/events\/phd-summer-school-2015\/"},"modified":"2025-08-06T12:01:30","modified_gmt":"2025-08-06T19:01:30","slug":"phd-summer-school-2015","status":"publish","type":"msr-event","link":"https:\/\/www.microsoft.com\/en-us\/research\/event\/phd-summer-school-2015\/","title":{"rendered":"PhD Summer School 2015"},"content":{"rendered":"\n\n<h3>Links<\/h3>\n<ul>\n<li><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/lab\/microsoft-research-cambridge\/\">Microsoft Research Cambridge<\/a><\/li>\n<li><a class=\"invalidLink\" href=\"https:\/\/www.microsoft.com\/en-us\/research\/event\/phd-summer-school-2014\/\" target=\"_self\">PhD Summer School 2014<\/a><\/li>\n<\/ul>\n<p><span id=\"label-external-link\" class=\"sr-only\" aria-hidden=\"true\">Opens in a new tab<\/span><\/p>\n<p><div id=\"attachment_203917\" style=\"width: 1010px\" class=\"wp-caption alignnone\"><img loading=\"lazy\" decoding=\"async\" aria-describedby=\"caption-attachment-203917\" class=\"wp-image-203917 size-full\" src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/02\/en-us-events-2015summerschool-phd2015.jpg\" alt=\"phd2015.jpg\" width=\"1000\" height=\"667\" srcset=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/02\/en-us-events-2015summerschool-phd2015.jpg 1000w, https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/02\/en-us-events-2015summerschool-phd2015-300x200.jpg 300w, https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/02\/en-us-events-2015summerschool-phd2015-768x512.jpg 768w\" sizes=\"auto, (max-width: 1000px) 100vw, 1000px\" \/><p id=\"caption-attachment-203917\" class=\"wp-caption-text\">PhD Summer School Participants 2015<\/p><\/div><\/p>\n<p>The PhD Summer School is an annual event that is organized at Microsoft Research Cambridge in relation to the Microsoft Research PhD Scholarship Programme. The tenth Microsoft Research Summer School took place at Microsoft Research in Cambridge, UK, from 29 June to 3 July 2015. It included a series of talks of academic interest, transferable skills talks, and poster sessions that provided invited students the opportunity to present their work to Microsoft researchers.<\/p>\n<p>Invited students included PhD students in their first or second year from universities and research institutions with which Microsoft Research partners, as well as all Microsoft Research PhD Scholars. In addition, lectures and posters sessions\u00a0were open to all research staff and students from the University of Cambridge.<\/p>\n<h3>About the Microsoft Research PhD Scholarship Programme<\/h3>\n<p>The Microsoft Research PhD Scholarship Programme was developed in 2004 to support research collaborations between academics in the Europe, Middle East, and Africa (EMEA) region with Microsoft Research researchers in the Cambridge Lab. Currently, there are approximately 100 students working at universities and research organizations across the whole region on peer-reviewed projects and in collaboration with their Microsoft Research Cambridge co-supervisors.<\/p>\n<h3><img loading=\"lazy\" decoding=\"async\" class=\"size-full wp-image-230179 alignleft\" src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/05\/scarletschwiderski-grosche100x132.jpg\" alt=\"Scarlet Schwiderski-Grosche\" width=\"100\" height=\"132\" \/>Summer School Chair<\/h3>\n<p><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/scarlets\/\"><b>Scarlet Schwiderski-Grosche<\/b><\/a><br \/>\nSenior Research Program Manager<br \/>\nMicrosoft Research Connections<span id=\"label-external-link\" class=\"sr-only\" aria-hidden=\"true\">Opens in a new tab<\/span><\/p>\n<h2>Monday,\u00a029 June<\/h2>\n<table class=\"msr-table-schedule\">\n<thead class=\"thead\">\n<tr class=\"tr\">\n<th class=\"th\">Time<\/th>\n<th class=\"th\">Session<\/th>\n<th class=\"th\">Speaker<\/th>\n<th class=\"th\">Location<\/th>\n<\/tr>\n<\/thead>\n<tbody class=\"tbody\">\n<tr class=\"tr\">\n<td class=\"td-1-4\">\n<div class=\"msr-table-schedule-cell\">16:00<\/div>\n<\/td>\n<td>\n<div class=\"msr-table-schedule-cell\">Arrival and check in at Selwyn College<\/div>\n<\/td>\n<td><\/td>\n<td><\/td>\n<\/tr>\n<tr class=\"tr\">\n<td class=\"td-1-4\">\n<div class=\"msr-table-schedule-cell\">16:00<\/div>\n<\/td>\n<td>\n<div class=\"msr-table-schedule-cell\">Registration and High Tea at Selwyn College<\/div>\n<\/td>\n<td><\/td>\n<td><\/td>\n<\/tr>\n<tr class=\"tr\">\n<td class=\"td-1-4\">\n<div class=\"msr-table-schedule-cell\">18:00<\/div>\n<\/td>\n<td>\n<div class=\"msr-table-schedule-cell\">Free Time<\/div>\n<\/td>\n<td><\/td>\n<td><\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n<h2>Tuesday, 30 June<\/h2>\n<table class=\"msr-table-schedule\">\n<thead class=\"thead\">\n<tr class=\"tr\">\n<th class=\"th\">Time<\/th>\n<th class=\"th\">Session<\/th>\n<th class=\"th\">Speaker<\/th>\n<th class=\"th\">Location<\/th>\n<\/tr>\n<\/thead>\n<tbody class=\"tbody\">\n<tr class=\"tr\">\n<td class=\"td-1-4\">\n<div class=\"msr-table-schedule-cell\">08:30<\/div>\n<\/td>\n<td>\n<div class=\"msr-table-schedule-cell\">Coach Transfer: Selwyn to Microsoft Research and Sign In of All Attendees<\/div>\n<\/td>\n<td><\/td>\n<td><\/td>\n<\/tr>\n<tr class=\"tr\">\n<td class=\"td-1-4\">\n<div class=\"msr-table-schedule-cell\">09:15<\/div>\n<\/td>\n<td>\n<div class=\"msr-table-schedule-cell\"><strong>Welcome to Microsoft Research Cambridge<\/strong><\/div>\n<\/td>\n<td>\n<div class=\"msr-table-schedule-cell\"><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/scarlets\/\">Scarlet Schwiderski-Grosche<\/a>, Microsoft Research<\/div>\n<\/td>\n<td>Main Auditorium<\/td>\n<\/tr>\n<tr class=\"tr\">\n<td class=\"td-1-4\">\n<div class=\"msr-table-schedule-cell\">09:30<\/div>\n<\/td>\n<td>\n<div class=\"msr-table-schedule-cell\"><strong>How to Give a Great Research Talk<\/strong><\/div>\n<\/td>\n<td>\n<div class=\"msr-table-schedule-cell\"><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/simonpj\/\">Simon Peyton Jones<\/a>, Microsoft Research<\/div>\n<\/td>\n<td>Main Auditorium<\/td>\n<\/tr>\n<tr class=\"tr\">\n<td class=\"td-1-4\">\n<div class=\"msr-table-schedule-cell\">\u00a010:00<\/div>\n<\/td>\n<td>\n<div class=\"msr-table-schedule-cell\">\n<div class=\"msr-table-schedule-cell\"><strong>Introduction to Code Hunt<\/strong><\/div>\n<\/div>\n<\/td>\n<td><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/nikolait\/\">Nikolai Tillmann<\/a>, Microsoft Research<\/td>\n<td>Main Auditorium<\/td>\n<\/tr>\n<tr class=\"tr\">\n<td class=\"td-1-4\">\n<div class=\"msr-table-schedule-cell\">10:30<\/div>\n<\/td>\n<td>\n<div class=\"msr-table-schedule-cell\">Morning Break<\/div>\n<\/td>\n<td><\/td>\n<td><\/td>\n<\/tr>\n<tr class=\"tr\">\n<td class=\"td-1-4\">\n<div class=\"msr-table-schedule-cell\">11:00<\/div>\n<\/td>\n<td>\n<div class=\"msr-table-schedule-cell\"><strong>Technology Development<\/strong><\/div>\n<\/td>\n<td>\n<div class=\"msr-table-schedule-cell\">Hermann Hauser, Amadeus Capital Partners<\/div>\n<\/td>\n<td>Main Auditorium<\/td>\n<td><\/td>\n<\/tr>\n<tr class=\"tr\">\n<td class=\"td-1-4\">\n<div class=\"msr-table-schedule-cell\">12:00<\/div>\n<\/td>\n<td>\n<div class=\"msr-table-schedule-cell\">Lunch\/Poster Session<\/div>\n<\/td>\n<td><\/td>\n<td><\/td>\n<\/tr>\n<tr class=\"tr\">\n<td class=\"td-1-4\">\n<div class=\"msr-table-schedule-cell\">14:00<\/div>\n<\/td>\n<td>\n<div class=\"msr-table-schedule-cell\"><strong>Research Parallel Sessions<\/strong><\/div>\n<\/td>\n<td><\/td>\n<td><\/td>\n<\/tr>\n<tr class=\"tr\">\n<td class=\"td-1-4\"><\/td>\n<td>\n<div class=\"msr-table-schedule-cell\"><strong>Machine Learning in Health Care<\/strong><\/div>\n<\/td>\n<td>\n<div class=\"msr-table-schedule-cell\">\n<p><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/antcrim\/\" target=\"_self\">Antonio Criminisi<\/a>, Microsoft Research<\/p>\n<\/div>\n<\/td>\n<td>Main Auditorium<\/td>\n<\/tr>\n<tr class=\"tr\">\n<td class=\"td-1-4\"><\/td>\n<td>\n<div class=\"msr-table-schedule-cell\"><strong>Hoarding Cats: Modelling and Testing Concurrent Systems<\/strong><\/div>\n<\/td>\n<td>\n<div class=\"msr-table-schedule-cell\">\n<p>Jade Alglave, Microsoft Research<\/p>\n<\/div>\n<\/td>\n<td>Flexible Meeting Room<\/td>\n<\/tr>\n<tr class=\"tr\">\n<td class=\"td-1-4\">\n<div class=\"msr-table-schedule-cell\">15:00<\/div>\n<\/td>\n<td>\n<div class=\"msr-table-schedule-cell\">Afternoon Break<\/div>\n<\/td>\n<td><\/td>\n<td><\/td>\n<\/tr>\n<tr class=\"tr\">\n<td class=\"td-1-4\">\n<div class=\"msr-table-schedule-cell\">15:30<\/div>\n<\/td>\n<td>\n<div class=\"msr-table-schedule-cell\"><strong>Research Parallel Sessions<\/strong><\/div>\n<\/td>\n<td><\/td>\n<td><\/td>\n<\/tr>\n<tr class=\"tr\">\n<td class=\"td-1-4\"><\/td>\n<td>\n<div class=\"msr-table-schedule-cell\"><strong>Designing Computer Systems That See<\/strong><\/div>\n<\/td>\n<td>\n<div class=\"msr-table-schedule-cell\">\n<p><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/asellen\/\">Abigail Sellen<\/a>, Microsoft Research<\/p>\n<\/div>\n<\/td>\n<td>Main Auditorium<\/td>\n<\/tr>\n<tr class=\"tr\">\n<td class=\"td-1-4\"><\/td>\n<td>\n<div class=\"msr-table-schedule-cell\"><strong>Joined Up Planetary Information, in the Cloud and on Devices<\/strong><\/div>\n<\/td>\n<td>\n<div class=\"msr-table-schedule-cell\">\n<p><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/mattsmi\/\" target=\"_self\">Matthew Smith<\/a>, Microsoft Research<\/p>\n<\/div>\n<\/td>\n<td>Flexible Meeting Room<\/td>\n<\/tr>\n<tr class=\"tr\">\n<td class=\"td-1-4\">\n<div class=\"msr-table-schedule-cell\">16:30<\/div>\n<\/td>\n<td>\n<div class=\"msr-table-schedule-cell\">Coach Transfer: Microsoft Research to WildTracks, Go Karting<\/div>\n<\/td>\n<td><\/td>\n<td><\/td>\n<\/tr>\n<tr class=\"tr\">\n<td class=\"td-1-4\">\n<div class=\"msr-table-schedule-cell\">17:15<\/div>\n<\/td>\n<td>\n<div class=\"msr-table-schedule-cell\">Go-Karting at WildTracks Karting and BBQ<\/div>\n<\/td>\n<td><\/td>\n<td><\/td>\n<\/tr>\n<tr class=\"tr\">\n<td class=\"td-1-4\">\n<div class=\"msr-table-schedule-cell\">21:30<\/div>\n<\/td>\n<td>\n<div class=\"msr-table-schedule-cell\">Coach Transfer: WildTracks to Selwyn College<\/div>\n<\/td>\n<td><\/td>\n<td><\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n<h2>Wednesday,\u00a01 July<\/h2>\n<table class=\"msr-table-schedule\">\n<thead class=\"thead\">\n<tr class=\"tr\">\n<th class=\"th\">Time<\/th>\n<th class=\"th\">Session<\/th>\n<th class=\"th\">Speaker<\/th>\n<th class=\"th\">Location<\/th>\n<\/tr>\n<\/thead>\n<tbody class=\"tbody\">\n<tr class=\"tr\">\n<td class=\"td-1-4\">\n<div class=\"msr-table-schedule-cell\">08:15<\/div>\n<\/td>\n<td>\n<div class=\"msr-table-schedule-cell\">Coach Transfer: Selwyn to Microsoft Research and Sign In of All Attendees<\/div>\n<\/td>\n<td><\/td>\n<td><\/td>\n<\/tr>\n<tr class=\"tr\">\n<td class=\"td-1-4\">\n<div class=\"msr-table-schedule-cell\">09:00<\/div>\n<\/td>\n<td>\n<div class=\"msr-table-schedule-cell\"><strong>Delivering a Fabulous Research Talk; How to Tell More Stories, Use Less PowerPoint and Get to the Point When Presenting<\/strong><\/div>\n<\/td>\n<td>\n<div class=\"msr-table-schedule-cell\">Dave Yewman, Elevator Speech Inc.<\/div>\n<\/td>\n<td>Main Auditorium<\/td>\n<\/tr>\n<tr class=\"tr\">\n<td class=\"td-1-4\">\n<div class=\"msr-table-schedule-cell\">10:30<\/div>\n<\/td>\n<td>\n<div class=\"msr-table-schedule-cell\">Morning Break<\/div>\n<\/td>\n<td><\/td>\n<td><\/td>\n<\/tr>\n<tr class=\"tr\">\n<td class=\"td-1-4\">\n<div class=\"msr-table-schedule-cell\">11:00<\/div>\n<\/td>\n<td>\n<div class=\"msr-table-schedule-cell\"><strong>Delivering a Fabulous Research Talk; How to Tell More Stories, Use Less PowerPoint and Get to the Point When Presenting<\/strong><\/div>\n<\/td>\n<td>\n<div class=\"msr-table-schedule-cell\">Dave Yewman, Elevator Speech Inc.<\/div>\n<\/td>\n<td>Main Auditorium<\/td>\n<\/tr>\n<tr class=\"tr\">\n<td class=\"td-1-4\">\n<div class=\"msr-table-schedule-cell\">12:00<\/div>\n<\/td>\n<td>\n<div class=\"msr-table-schedule-cell\">Lunch\/Poster Session<\/div>\n<\/td>\n<td><\/td>\n<td><\/td>\n<\/tr>\n<tr class=\"tr\">\n<td class=\"td-1-4\">\n<div class=\"msr-table-schedule-cell\">14:00<\/div>\n<\/td>\n<td>\n<div class=\"msr-table-schedule-cell\"><strong>Computing Reliability with Molecular Walkers<\/strong><\/div>\n<\/td>\n<td>\n<div class=\"msr-table-schedule-cell\">\n<p>Marta Kwiatkowska, University of Oxford<\/p>\n<\/div>\n<\/td>\n<td>Main Auditorium<\/td>\n<\/tr>\n<tr class=\"tr\">\n<td class=\"td-1-4\">\n<div class=\"msr-table-schedule-cell\">15:00<\/div>\n<\/td>\n<td>\n<div class=\"msr-table-schedule-cell\">Afternoon Break<\/div>\n<\/td>\n<td><\/td>\n<td><\/td>\n<\/tr>\n<tr class=\"tr\">\n<td class=\"td-1-4\">\n<div class=\"msr-table-schedule-cell\">15:30<\/div>\n<\/td>\n<td>\n<div class=\"msr-table-schedule-cell\"><strong>Strategic Thinking for Researchers<\/strong><\/div>\n<\/td>\n<td>\n<div class=\"msr-table-schedule-cell\"><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/adg\/\">Andy Gordon<\/a>, Microsoft Research<\/div>\n<\/td>\n<td>Main Auditorium<\/td>\n<\/tr>\n<tr class=\"tr\">\n<td class=\"td-1-4\">\n<div class=\"msr-table-schedule-cell\">\u00a016:30<\/div>\n<\/td>\n<td><strong>Research Parallel Sessions<\/strong><\/td>\n<td><\/td>\n<td><\/td>\n<\/tr>\n<tr class=\"tr\">\n<td class=\"td-1-4\"><\/td>\n<td>\n<div class=\"msr-table-schedule-cell\"><strong>Microsoft Azure Tutorial<\/strong><\/div>\n<\/td>\n<td>\n<div class=\"msr-table-schedule-cell\"><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/kenjitak\/\">Kenji Takeda<\/a>, Microsoft Research<\/div>\n<\/td>\n<td>Main Auditorium<\/td>\n<\/tr>\n<tr class=\"tr\">\n<td class=\"td-1-4\"><\/td>\n<td>\n<div class=\"msr-table-schedule-cell\"><strong>\u00a0<b>.NET Gadgeteer Workshop<\/b><\/strong><\/div>\n<\/td>\n<td>\n<div class=\"msr-table-schedule-cell\">\u00a0Paul Foster, Microsoft<\/div>\n<\/td>\n<td><\/td>\n<\/tr>\n<tr class=\"tr\">\n<td class=\"td-1-4\">\n<div class=\"msr-table-schedule-cell\">17:30<\/div>\n<\/td>\n<td>\n<div class=\"msr-table-schedule-cell\">Coach transfer: Microsoft Research to Selwyn College<\/div>\n<\/td>\n<td><\/td>\n<td><\/td>\n<\/tr>\n<tr class=\"tr\">\n<td class=\"td-1-4\">\n<div class=\"msr-table-schedule-cell\">17:30-19:30<\/div>\n<\/td>\n<td>\n<div class=\"msr-table-schedule-cell\"><strong>Code Hunt Contest<\/strong> (optional attendance)<\/div>\n<\/td>\n<td><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/nikolait\/\">Nikolai Tillmann<\/a>, Microsoft Research<\/td>\n<td>Main Auditorium<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n<h2>Thursday,\u00a02 July<\/h2>\n<table class=\"msr-table-schedule\">\n<thead class=\"thead\">\n<tr class=\"tr\">\n<th class=\"th\">Time<\/th>\n<th class=\"th\">Session<\/th>\n<th class=\"th\">Speaker<\/th>\n<th class=\"th\">Location<\/th>\n<\/tr>\n<\/thead>\n<tbody class=\"tbody\">\n<tr class=\"tr\">\n<td class=\"td-1-4\">\n<div class=\"msr-table-schedule-cell\">08:45<\/div>\n<\/td>\n<td>\n<div class=\"msr-table-schedule-cell\">Coach Transfer: Selwyn to Microsoft Research and Sign In of All Attendees<\/div>\n<\/td>\n<td><\/td>\n<td><\/td>\n<\/tr>\n<tr class=\"tr\">\n<td class=\"td-1-4\">\n<div class=\"msr-table-schedule-cell\">09:30<\/div>\n<\/td>\n<td>\n<div class=\"msr-table-schedule-cell\"><strong>Research Parallel Sessions<\/strong><\/div>\n<\/td>\n<td><\/td>\n<td><\/td>\n<\/tr>\n<tr class=\"tr\">\n<td class=\"td-1-4\"><\/td>\n<td>\n<div class=\"msr-table-schedule-cell\"><strong><b>Technology & Economics: Real-Time Ad Bidding and Personal Surveillance<\/b><\/strong><\/div>\n<\/td>\n<td>\n<div class=\"msr-table-schedule-cell\">\n<p>Natasa Milic-Frayling, Microsoft Research<\/p>\n<\/div>\n<\/td>\n<td>Main Auditorium<\/td>\n<\/tr>\n<tr class=\"tr\">\n<td class=\"td-1-4\"><\/td>\n<td>\n<div class=\"msr-table-schedule-cell\"><strong><b>The Varied Forms of Verification with Z3<\/b><\/strong><\/div>\n<\/td>\n<td>\n<div class=\"msr-table-schedule-cell\">\n<p><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/cwinter\/\">Christoph Wintersteiger<\/a>, Microsoft Research<\/p>\n<\/div>\n<\/td>\n<td>Flexible Meeting Room<\/td>\n<\/tr>\n<tr class=\"tr\">\n<td class=\"td-1-4\">\n<div class=\"msr-table-schedule-cell\">10:30<\/div>\n<\/td>\n<td>\n<div class=\"msr-table-schedule-cell\">Morning Break<\/div>\n<\/td>\n<td><\/td>\n<td><\/td>\n<\/tr>\n<tr class=\"tr\">\n<td class=\"td-1-4\">\n<div class=\"msr-table-schedule-cell\">11:00<\/div>\n<\/td>\n<td>\n<div class=\"msr-table-schedule-cell\"><strong>Research Parallel Sessions<\/strong><\/div>\n<\/td>\n<td><\/td>\n<td><\/td>\n<\/tr>\n<tr class=\"tr\">\n<td class=\"td-1-4\"><\/td>\n<td>\n<div class=\"msr-table-schedule-cell\"><strong><b>Predictable Data Centers<\/b> <\/strong><\/div>\n<\/td>\n<td>\n<div class=\"msr-table-schedule-cell\">\n<p><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/thomkar\/\">Thomas Karagiannis<\/a>, Microsoft Research<\/p>\n<\/div>\n<\/td>\n<td>Main Auditorium<\/td>\n<\/tr>\n<tr class=\"tr\">\n<td class=\"td-1-4\"><\/td>\n<td>\n<div class=\"msr-table-schedule-cell\"><strong><b>Designing Human Experiences<\/b> <\/strong><\/div>\n<\/td>\n<td>\n<div class=\"msr-table-schedule-cell\">\n<p><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/rbanks\/\" target=\"_self\">Richard Banks<\/a>, Microsoft Research<\/p>\n<\/div>\n<\/td>\n<td>Flexible Meeting Room<\/td>\n<\/tr>\n<tr class=\"tr\">\n<td class=\"td-1-4\">\n<div class=\"msr-table-schedule-cell\">12:00<\/div>\n<\/td>\n<td>\n<div class=\"msr-table-schedule-cell\">Lunch\/Poster Session<\/div>\n<\/td>\n<td><\/td>\n<td><\/td>\n<\/tr>\n<tr class=\"tr\">\n<td class=\"td-1-4\">\n<div class=\"msr-table-schedule-cell\">14:00<\/div>\n<\/td>\n<td>\n<div class=\"msr-table-schedule-cell\"><strong><b>The Laws of Programming with Concurrency<\/b><\/strong><\/div>\n<\/td>\n<td>\n<div class=\"msr-table-schedule-cell\">Tony Hoare, Microsoft Research<\/div>\n<\/td>\n<td>Main Auditorium<\/td>\n<\/tr>\n<tr class=\"tr\">\n<td class=\"td-1-4\">\n<div class=\"msr-table-schedule-cell\">15:00<\/div>\n<\/td>\n<td>\n<div class=\"msr-table-schedule-cell\"><strong><b>Empirical Inference for Intelligent Systems<\/b><\/strong><\/div>\n<\/td>\n<td>\n<div class=\"msr-table-schedule-cell\">\n<p>Bernhard Sch\u00f6lkopf, Max Planck Institute for Intelligent Systems<\/p>\n<\/div>\n<\/td>\n<td>Main Auditorium<\/td>\n<\/tr>\n<tr class=\"tr\">\n<td class=\"td-1-4\">\n<div class=\"msr-table-schedule-cell\">16:00<\/div>\n<\/td>\n<td>\n<div class=\"msr-table-schedule-cell\"><strong>DemoFest<\/strong> (including Afternoon Break)<\/div>\n<\/td>\n<td><\/td>\n<td><\/td>\n<\/tr>\n<tr class=\"tr\">\n<td class=\"td-1-4\">\n<div class=\"msr-table-schedule-cell\">17:30<\/div>\n<\/td>\n<td>\n<div class=\"msr-table-schedule-cell\">Coach transfer: Microsoft Research to Jesus College<\/div>\n<\/td>\n<td><\/td>\n<td><\/td>\n<\/tr>\n<tr class=\"tr\">\n<td class=\"td-1-4\">\n<div class=\"msr-table-schedule-cell\">18:00<\/div>\n<\/td>\n<td>\n<div class=\"msr-table-schedule-cell\">Drinks and Group Photo<\/div>\n<\/td>\n<td><\/td>\n<td><\/td>\n<\/tr>\n<tr class=\"tr\">\n<td class=\"td-1-4\">\n<div class=\"msr-table-schedule-cell\">19:00<\/div>\n<\/td>\n<td>\n<div class=\"msr-table-schedule-cell\">Formal Dinner at Jesus College<\/div>\n<\/td>\n<td><\/td>\n<td><\/td>\n<\/tr>\n<tr class=\"tr\">\n<td class=\"td-1-4\">\n<div class=\"msr-table-schedule-cell\">21:30<\/div>\n<\/td>\n<td>\n<div class=\"msr-table-schedule-cell\">Coach Transfer: Jesus College to Selwyn College<\/div>\n<\/td>\n<td><\/td>\n<td><\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n<h2>Friday,\u00a03 July<\/h2>\n<table class=\"msr-table-schedule\">\n<thead class=\"thead\">\n<tr class=\"tr\">\n<th class=\"th\">Time<\/th>\n<th class=\"th\">Session<\/th>\n<th class=\"th\">Speaker<\/th>\n<th class=\"th\">Location<\/th>\n<\/tr>\n<\/thead>\n<tbody class=\"tbody\">\n<tr class=\"tr\">\n<td class=\"td-1-4\">\n<div class=\"msr-table-schedule-cell\">08:45<\/div>\n<\/td>\n<td>\n<div class=\"msr-table-schedule-cell\">Coach Transfer: Selwyn to Microsoft Research and Sign In of All Attendees<\/div>\n<\/td>\n<td><\/td>\n<td><\/td>\n<\/tr>\n<tr class=\"tr\">\n<td class=\"td-1-4\">\n<div class=\"msr-table-schedule-cell\">09:30<\/div>\n<\/td>\n<td>\n<div class=\"msr-table-schedule-cell\"><strong>How to Present a Poster at an International Conference<\/strong><\/div>\n<\/td>\n<td>\n<div class=\"msr-table-schedule-cell\">Sue Duraikan, Duraikan Training<\/div>\n<\/td>\n<td>Main Auditorium<\/td>\n<\/tr>\n<tr class=\"tr\">\n<td class=\"td-1-4\">10:15<\/td>\n<td>\n<div class=\"msr-table-schedule-cell\">\n<div class=\"msr-table-schedule-cell\"><strong>How to Give a Great Research Talk<\/strong><\/div>\n<\/div>\n<\/td>\n<td>\n<div class=\"msr-table-schedule-cell\"><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/simonpj\/\">Simon Peyton Jones<\/a>, Microsoft Research<\/div>\n<\/td>\n<td>Main Auditorium<\/td>\n<\/tr>\n<tr class=\"tr\">\n<td class=\"td-1-4\">11:15<\/td>\n<td>\n<div class=\"msr-table-schedule-cell\">Morning Break<\/div>\n<\/td>\n<td><\/td>\n<td><\/td>\n<\/tr>\n<tr class=\"tr\">\n<td class=\"td-1-4\">11:30<\/td>\n<td>\n<div class=\"msr-table-schedule-cell\">\n<div class=\"msr-table-schedule-cell\"><strong>How to Write a Great Research Paper<\/strong><\/div>\n<\/div>\n<\/td>\n<td>\n<div class=\"msr-table-schedule-cell\">\n<div class=\"msr-table-schedule-cell\"><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/simonpj\/\">Simon Peyton Jones<\/a>, Microsoft Research<\/div>\n<\/div>\n<\/td>\n<td>Main Auditorium<\/td>\n<\/tr>\n<tr class=\"tr\">\n<td class=\"td-1-4\">\n<div class=\"msr-table-schedule-cell\">12:30<\/div>\n<\/td>\n<td>\n<div class=\"msr-table-schedule-cell\">PhD Summer School Closes | Grab-and-Go Lunch<\/div>\n<\/td>\n<td><\/td>\n<td><\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n<p><span id=\"label-external-link\" class=\"sr-only\" aria-hidden=\"true\">Opens in a new tab<\/span><\/p>\n<p>\t<div data-wp-context='{\"items\":[]}' data-wp-interactive=\"msr\/accordion\">\n\t\t\t\t\t<div class=\"clearfix\">\n\t\t\t\t<div\n\t\t\t\t\tclass=\"btn-group align-items-center mb-g float-sm-right\"\n\t\t\t\t\tdata-bi-aN=\"accordion-collapse-controls\"\n\t\t\t\t>\n\t\t\t\t\t<button\n\t\t\t\t\t\tclass=\"btn btn-link m-0\"\n\t\t\t\t\t\tdata-bi-cN=\"Expand all\"\n\t\t\t\t\t\tdata-wp-bind--aria-controls=\"state.ariaControls\"\n\t\t\t\t\t\tdata-wp-bind--aria-expanded=\"state.ariaExpanded\"\n\t\t\t\t\t\tdata-wp-bind--disabled=\"state.isAllExpanded\"\n\t\t\t\t\t\tdata-wp-class--inactive=\"state.isAllExpanded\"\n\t\t\t\t\t\tdata-wp-on--click=\"actions.onExpandAll\"\n\t\t\t\t\t\ttype=\"button\"\n\t\t\t\t\t>\n\t\t\t\t\t\tExpand all\t\t\t\t\t<\/button>\n\t\t\t\t\t<span aria-hidden=\"true\"> | <\/span>\n\t\t\t\t\t<button\n\t\t\t\t\t\tclass=\"btn btn-link m-0\"\n\t\t\t\t\t\tdata-bi-cN=\"Collapse all\"\n\t\t\t\t\t\tdata-wp-bind--aria-controls=\"state.ariaControls\"\n\t\t\t\t\t\tdata-wp-bind--aria-expanded=\"state.ariaExpanded\"\n\t\t\t\t\t\tdata-wp-bind--disabled=\"state.isAllCollapsed\"\n\t\t\t\t\t\tdata-wp-class--inactive=\"state.isAllCollapsed\"\n\t\t\t\t\t\tdata-wp-on--click=\"actions.onCollapseAll\"\n\t\t\t\t\t\ttype=\"button\"\n\t\t\t\t\t>\n\t\t\t\t\t\tCollapse all\t\t\t\t\t<\/button>\n\t\t\t\t<\/div>\n\t\t\t<\/div>\n\t\t\t\t<ul class=\"msr-accordion\">\n\t\t\t\t\t\t\t\t<li class=\"m-0\" data-wp-context='{\"id\":\"accordion-content-5844\"}' data-wp-init=\"callbacks.init\">\n\t\t<div class=\"accordion-header\">\n\t\t\t<button\n\t\t\t\taria-controls=\"accordion-content-5844\"\n\t\t\t\tclass=\"btn btn-collapse\"\n\t\t\t\tdata-wp-bind--aria-expanded=\"state.isExpanded\"\n\t\t\t\tdata-wp-on--click=\"actions.onClick\"\n\t\t\t\tid=\"accordion-button-5843\"\n\t\t\t\ttype=\"button\"\n\t\t\t>\n\t\t\t\tJade Alglave | Researcher, Microsoft Research\t\t\t<\/button>\n\t\t<\/div>\n\t\t<div\n\t\t\taria-labelledby=\"accordion-button-5843\"\n\t\t\tclass=\"msr-accordion__content\"\n\t\t\tdata-wp-bind--inert=\"!state.isExpanded\"\n\t\t\tdata-wp-run=\"callbacks.run\"\n\t\t\tid=\"accordion-content-5844\"\n\t\t>\n\t\t\t<div class=\"msr-accordion__body\">\n\t\t\t\t<h2>Herding Cats: Modelling and Testing Concurrent Systems<\/h2>\n<h3>Abstract<\/h3>\n<p>There is a joke where a physicist and a mathematician are asked to herd cats. The physicist starts with an infinitely large pen, which he reduces until it is of reasonable diameter yet contains all the cats. The mathematician builds a fence around himself and declares the outside to be the inside. Defining memory models is akin to herding cats: both the physicist\u2019s or mathematician\u2019s attitudes are tempting, but we cannot rely on one more than on the other. I study concurrent systems, trying to understand precisely what our machines guarantee. This is crucial for writing correct programs, especially since modern machines force us to revise the programming model that we have been taught at school, namely Lamport\u2019s Sequential Consistency. In this talk, I will show ways of defining formal models for concurrency, within a generic framework in which one can represent for example Sequential Consistency, Intel x86, IBM Power, ARM, C++ and GPUs.<\/p>\n<h3>Biography<\/h3>\n<p>Jade Alglave is a researcher at Microsoft Research Cambridge, and a lecturer at University College London. She tries to develop formal models of concurrent systems within a unifying framework, and use these models for verification purposes.<\/p>\n<p><span id=\"label-external-link\" class=\"sr-only\" aria-hidden=\"true\">Opens in a new tab<\/span><\/p>\n\t\t\t<\/div>\n\t\t<\/div>\n\t<\/li>\n\t\t<li class=\"m-0\" data-wp-context='{\"id\":\"accordion-content-5846\"}' data-wp-init=\"callbacks.init\">\n\t\t<div class=\"accordion-header\">\n\t\t\t<button\n\t\t\t\taria-controls=\"accordion-content-5846\"\n\t\t\t\tclass=\"btn btn-collapse\"\n\t\t\t\tdata-wp-bind--aria-expanded=\"state.isExpanded\"\n\t\t\t\tdata-wp-on--click=\"actions.onClick\"\n\t\t\t\tid=\"accordion-button-5845\"\n\t\t\t\ttype=\"button\"\n\t\t\t>\n\t\t\t\tRichard Banks | Principal Design Manager, Microsoft Research\t\t\t<\/button>\n\t\t<\/div>\n\t\t<div\n\t\t\taria-labelledby=\"accordion-button-5845\"\n\t\t\tclass=\"msr-accordion__content\"\n\t\t\tdata-wp-bind--inert=\"!state.isExpanded\"\n\t\t\tdata-wp-run=\"callbacks.run\"\n\t\t\tid=\"accordion-content-5846\"\n\t\t>\n\t\t\t<div class=\"msr-accordion__body\">\n\t\t\t\t<p><strong><img loading=\"lazy\" decoding=\"async\" class=\"size-full wp-image-269040 alignright\" src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2015\/02\/richard-banks100x132.jpg\" alt=\"richard-banks100x132\" width=\"100\" height=\"132\" \/><\/strong><\/p>\n<h2>Designing Human Experiences<strong><\/strong><\/h2>\n<ul>\n<li><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/video\/designing-human-experiences\/\">Watch the session<\/a> | <a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/02\/en-us-events-2015summerschool-rbanks-phdsummerschool2015.pdf\">view the slides<\/a><\/li>\n<\/ul>\n<h3>Abstract<\/h3>\n<p>The Human Experience & Design Group at Cambridge designs and fabricates new human experiences with computing. These play on many different kinds of human values, from amplifying efficiency and effectiveness to creating delight and wonder in our interactions with technology. And they can be situated in any aspect of everyday life, from increasing productivity in the workplace to respecting the tenderness of family life. In this talk, Richard Banks will give an overview of the work of the team, describing how the disciplines of social science, computer science and design work together as a multi-disciplinary unit, and showing a number of working projects and prototypes.<\/p>\n<h3>Biography<\/h3>\n<p>Richard Banks is principal design manager in Microsoft Research&#8217;s Cambridge lab. Working as part of the Human Experience & Design group he collaborates with social scientists and computer scientists in the lab on a broad range of projects that span device development, community engagement, gestural interaction and more. Richard is author of <em>The Future of Looking Back<\/em>, a book which focuses on new digital legacies and the impact they\u2019ll have on how we reminisce about our lives. He is honorary professor of design at the University of Dundee, a fellow of the Royal Society of Arts and external examiner for Edinburgh University\u2019s Design Informatics course.<\/p>\n<p><span id=\"label-external-link\" class=\"sr-only\" aria-hidden=\"true\">Opens in a new tab<\/span><\/p>\n\t\t\t<\/div>\n\t\t<\/div>\n\t<\/li>\n\t\t<li class=\"m-0\" data-wp-context='{\"id\":\"accordion-content-5848\"}' data-wp-init=\"callbacks.init\">\n\t\t<div class=\"accordion-header\">\n\t\t\t<button\n\t\t\t\taria-controls=\"accordion-content-5848\"\n\t\t\t\tclass=\"btn btn-collapse\"\n\t\t\t\tdata-wp-bind--aria-expanded=\"state.isExpanded\"\n\t\t\t\tdata-wp-on--click=\"actions.onClick\"\n\t\t\t\tid=\"accordion-button-5847\"\n\t\t\t\ttype=\"button\"\n\t\t\t>\n\t\t\t\tAndrew Blake | Laboratory Director, Microsoft Research\t\t\t<\/button>\n\t\t<\/div>\n\t\t<div\n\t\t\taria-labelledby=\"accordion-button-5847\"\n\t\t\tclass=\"msr-accordion__content\"\n\t\t\tdata-wp-bind--inert=\"!state.isExpanded\"\n\t\t\tdata-wp-run=\"callbacks.run\"\n\t\t\tid=\"accordion-content-5848\"\n\t\t>\n\t\t\t<div class=\"msr-accordion__body\">\n\t\t\t\t<p><strong><img loading=\"lazy\" decoding=\"async\" class=\"size-full wp-image-269016 alignright\" src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2015\/02\/blake.jpg\" alt=\"blake\" width=\"100\" height=\"132\" \/><\/strong><\/p>\n<h2>Welcome to Microsoft Research Cambridge<\/h2>\n<h3>Biography<\/h3>\n<p>Andrew Blake is a Microsoft Distinguished Scientist and the Laboratory Director of Microsoft Research Cambridge, England. He joined Microsoft in 1999 as a senior researcher to found the Computer Vision group. In 2008, he became a Deputy Managing Director at the lab, before assuming his current position in 2010. Prior to joining Microsoft, Andrew trained in mathematics and electrical engineering in Cambridge England, and studied for a doctorate in Artificial Intelligence in Edinburgh. He was an academic for 18 years, latterly on the faculty at Oxford University, where he was a pioneer in the development of the theory and algorithms that can make it possible for computers to behave as seeing machines.<\/p>\n<p><span id=\"label-external-link\" class=\"sr-only\" aria-hidden=\"true\">Opens in a new tab<\/span><\/p>\n\t\t\t<\/div>\n\t\t<\/div>\n\t<\/li>\n\t\t<li class=\"m-0\" data-wp-context='{\"id\":\"accordion-content-5850\"}' data-wp-init=\"callbacks.init\">\n\t\t<div class=\"accordion-header\">\n\t\t\t<button\n\t\t\t\taria-controls=\"accordion-content-5850\"\n\t\t\t\tclass=\"btn btn-collapse\"\n\t\t\t\tdata-wp-bind--aria-expanded=\"state.isExpanded\"\n\t\t\t\tdata-wp-on--click=\"actions.onClick\"\n\t\t\t\tid=\"accordion-button-5849\"\n\t\t\t\ttype=\"button\"\n\t\t\t>\n\t\t\t\tAntonio Criminisi | Principal Researcher, Microsoft Research\t\t\t<\/button>\n\t\t<\/div>\n\t\t<div\n\t\t\taria-labelledby=\"accordion-button-5849\"\n\t\t\tclass=\"msr-accordion__content\"\n\t\t\tdata-wp-bind--inert=\"!state.isExpanded\"\n\t\t\tdata-wp-run=\"callbacks.run\"\n\t\t\tid=\"accordion-content-5850\"\n\t\t>\n\t\t\t<div class=\"msr-accordion__body\">\n\t\t\t\t<p><strong><img loading=\"lazy\" decoding=\"async\" class=\"size-full wp-image-269010 alignright\" src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2015\/02\/antonio-criminisi90x90.jpg\" alt=\"antonio-criminisi90x90\" width=\"90\" height=\"90\" \/><\/strong><\/p>\n<h2>Machine Learning in Health Care<\/h2>\n<ul>\n<li><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/video\/machine-learning-in-health-care\/\">Watch the session<\/a> | <a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/02\/en-us-events-2015summerschool-acriminisi-machinelearninginhealthcare-phdss2015.pdf\">view the slides<\/a><\/li>\n<\/ul>\n<h3>Abstract<\/h3>\n<p>Analysis of medical images is essential in modern medicine. With the ever-increasing amount of patient data, new challenges and opportunities arise for different phases of the clinical routine, such as diagnosis, treatment, and monitoring.<\/p>\n<p>The InnerEye research project focuses on the automatic analysis of patients&#8217; medical scans. It uses state-of-the-art machine learning techniques for the:<\/p>\n<ul>\n<li>Automatic delineation and measurement of healthy anatomy and anomalies;<\/li>\n<li>Robust registration for monitoring disease progression;<\/li>\n<li>Semantic navigation and visualization for improved clinical workflow;<\/li>\n<li>Development of natural user interfaces for medical practitioners.<\/li>\n<\/ul>\n<h3>Biography<\/h3>\n<p>In June 2000, Antonio Criminisi joined Microsoft Research in Cambridge (Machine Learning and Perception group) as a visiting researcher. In February 2001, he moved to the Interactive Visual Media Group in Redmond (WA, United States) as a post-doctorate researcher. In October 2002, he moved back to the Machine Learning and Perception Group in Cambridge as a researcher. In September 2011, he became senior researcher and is now leading the Medical Image Analysis team.<\/p>\n<p>Antonio&#8217;s current research interests are in the area of medical image analysis, object category recognition, image and video analysis and editing, one-to-one teleconferencing, 3D reconstruction from single and multiple images with application to virtual reality, forensic science, and history of art.<\/p>\n<p>Antonio Criminisi was born in 1972 in Italy. In October 1990, he was appointed &#8220;Alfiere del Lavoro&#8221; by the Italian President F. Cossiga for his successful studies. In July 1996, he received a degree in Electronics Engineering at the University of Palermo and in December 1999, he obtained a PhD in Computer Vision at the University of Oxford. His thesis. <em>Accurate Visual Metrology from Single and Multiple Uncalibrated Images<\/em>, won the British Computer Society Distinguished Dissertation Award for the year 2000 and was published by Springer-Verlag London Ltd. in August 2001. Antonio was a Research Fellow at Clare Hall College, Cambridge from 2002 to 2005. Antonio has won a number of best paper prizes in top computer vision conferences.<\/p>\n<p><span id=\"label-external-link\" class=\"sr-only\" aria-hidden=\"true\">Opens in a new tab<\/span><\/p>\n\t\t\t<\/div>\n\t\t<\/div>\n\t<\/li>\n\t\t<li class=\"m-0\" data-wp-context='{\"id\":\"accordion-content-5852\"}' data-wp-init=\"callbacks.init\">\n\t\t<div class=\"accordion-header\">\n\t\t\t<button\n\t\t\t\taria-controls=\"accordion-content-5852\"\n\t\t\t\tclass=\"btn btn-collapse\"\n\t\t\t\tdata-wp-bind--aria-expanded=\"state.isExpanded\"\n\t\t\t\tdata-wp-on--click=\"actions.onClick\"\n\t\t\t\tid=\"accordion-button-5851\"\n\t\t\t\ttype=\"button\"\n\t\t\t>\n\t\t\t\tSue Duraikan | Duraikan Training\t\t\t<\/button>\n\t\t<\/div>\n\t\t<div\n\t\t\taria-labelledby=\"accordion-button-5851\"\n\t\t\tclass=\"msr-accordion__content\"\n\t\t\tdata-wp-bind--inert=\"!state.isExpanded\"\n\t\t\tdata-wp-run=\"callbacks.run\"\n\t\t\tid=\"accordion-content-5852\"\n\t\t>\n\t\t\t<div class=\"msr-accordion__body\">\n\t\t\t\t<p><strong><img loading=\"lazy\" decoding=\"async\" class=\"size-full wp-image-269046 alignright\" src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2015\/02\/sue-duraikan100x132.jpg\" alt=\"sue-duraikan100x132\" width=\"100\" height=\"132\" \/><\/strong><\/p>\n<h2>How to Present a Poster at an International Conference<\/h2>\n<h3>Abstract<\/h3>\n<p>Presenting a poster at an international conference is a terrific opportunity to promote your research and raise your professional profile in a global academic forum. However, it can be daunting to compete with other presenters to get the attention of a passing audience. As well as a clear and captivating poster, you need the ability to build rapport quickly and present your subject positively and succinctly.<\/p>\n<p>This can be especially challenging when English is the shared language but not everyone\u2019s mother tongue. Whether you are a native or a non-native English speaker, you will require flexibility and sensitivity to others in order to get your message across clearly.<\/p>\n<p>During the three poster sessions, Sue will be hovering in the room, watching and listening to your approach. She will then prepare to highlight on the final day the key thought-processes as well as the verbal and non-verbal skills you need to give a powerful poster presentation.<\/p>\n<p>Sue will also be available each day to provide confidential one-to-one feedback for any students who are interested.<\/p>\n<h3>Biography<\/h3>\n<p>Sue Duraikan runs Duraikan Training (www.duraikan-training.com), a consultancy which aims to help individuals and organisations develop. Duraikan Training provides support in designing and delivering learning strategies. We also run group workshops and one-to-one coaching on a wide range of professional skills. As a former teacher of French and German and with wide experience of working globally, Sue Duraikan has a particular interest in cross-cultural communication, and deep respect for those who operate daily in a second or third language.<\/p>\n<p><span id=\"label-external-link\" class=\"sr-only\" aria-hidden=\"true\">Opens in a new tab<\/span><\/p>\n\t\t\t<\/div>\n\t\t<\/div>\n\t<\/li>\n\t\t<li class=\"m-0\" data-wp-context='{\"id\":\"accordion-content-5854\"}' data-wp-init=\"callbacks.init\">\n\t\t<div class=\"accordion-header\">\n\t\t\t<button\n\t\t\t\taria-controls=\"accordion-content-5854\"\n\t\t\t\tclass=\"btn btn-collapse\"\n\t\t\t\tdata-wp-bind--aria-expanded=\"state.isExpanded\"\n\t\t\t\tdata-wp-on--click=\"actions.onClick\"\n\t\t\t\tid=\"accordion-button-5853\"\n\t\t\t\ttype=\"button\"\n\t\t\t>\n\t\t\t\tAndy Gordon | Principal Researcher, Microsoft Research\t\t\t<\/button>\n\t\t<\/div>\n\t\t<div\n\t\t\taria-labelledby=\"accordion-button-5853\"\n\t\t\tclass=\"msr-accordion__content\"\n\t\t\tdata-wp-bind--inert=\"!state.isExpanded\"\n\t\t\tdata-wp-run=\"callbacks.run\"\n\t\t\tid=\"accordion-content-5854\"\n\t\t>\n\t\t\t<div class=\"msr-accordion__body\">\n\t\t\t\t<p><strong><img loading=\"lazy\" decoding=\"async\" class=\"size-full wp-image-269007 alignright\" src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2015\/02\/andy-gordon100x132.jpg\" alt=\"andy-gordon100x132\" width=\"100\" height=\"132\" \/><\/strong><\/p>\n<h2>Strategic Thinking for Researchers<\/h2>\n<ul>\n<li><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/video\/strategic-thinking-for-researchers-3\/\">Watch the session<\/a><\/li>\n<\/ul>\n<h3>Abstract<\/h3>\n<p>From time to time at Microsoft Research, we set aside time to talk about strategic aspects of research, that is, the big picture of why we do research and how to have different sorts of impact, beyond the more immediate tasks of writing papers, giving talks, and transferring ideas. This talk will cover some of these strategies for having a happy and productive career as a researcher.<\/p>\n<h3>Biography<\/h3>\n<p>Andy Gordon is a principal researcher at Microsoft Research Cambridge, where he manages Programming Principles and Tools, and is a Professor at the University of Edinburgh. Andy wrote his PhD on input\/output in lazy functional programming, and is the proud inventor of Haskell&#8217;s &#8220;>>=&#8221; notation for monads. He&#8217;s worked on a range of topics in concurrency, verification, and security, never straying too far from his roots in functional programming. His current passion is a functional language to enable probabilistic inference from Excel.<\/p>\n<p><span id=\"label-external-link\" class=\"sr-only\" aria-hidden=\"true\">Opens in a new tab<\/span><\/p>\n\t\t\t<\/div>\n\t\t<\/div>\n\t<\/li>\n\t\t<li class=\"m-0\" data-wp-context='{\"id\":\"accordion-content-5856\"}' data-wp-init=\"callbacks.init\">\n\t\t<div class=\"accordion-header\">\n\t\t\t<button\n\t\t\t\taria-controls=\"accordion-content-5856\"\n\t\t\t\tclass=\"btn btn-collapse\"\n\t\t\t\tdata-wp-bind--aria-expanded=\"state.isExpanded\"\n\t\t\t\tdata-wp-on--click=\"actions.onClick\"\n\t\t\t\tid=\"accordion-button-5855\"\n\t\t\t\ttype=\"button\"\n\t\t\t>\n\t\t\t\tHermann Hauser | Co-Founder, Amadeus Capital Partners\t\t\t<\/button>\n\t\t<\/div>\n\t\t<div\n\t\t\taria-labelledby=\"accordion-button-5855\"\n\t\t\tclass=\"msr-accordion__content\"\n\t\t\tdata-wp-bind--inert=\"!state.isExpanded\"\n\t\t\tdata-wp-run=\"callbacks.run\"\n\t\t\tid=\"accordion-content-5856\"\n\t\t>\n\t\t\t<div class=\"msr-accordion__body\">\n\t\t\t\t<p><strong><img loading=\"lazy\" decoding=\"async\" class=\"alignright wp-image-269025 size-full\" src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2015\/02\/hermann-hauser100x132.jpg\" width=\"100\" height=\"132\" \/><\/strong><\/p>\n<h2>Technology Development<\/h2>\n<h3>Abstract<\/h3>\n<p>The Technology Development lecture starts with an overview of general purpose technologies, which changed the world economy 24 times. It then focuses on computing and how it developed its own characteristics and lead companies. The lecture then concentrates on machine learning and artificial intelligence as technologies which could transform not just our economy but every aspect of our future lives. These are man\u2019s most powerful-but also most unpredictable-technologies. Aspects of the speed with which this transformation could happen will be discussed together with the consequences it may have for employment and how likely it is that super intelligences will emerge and when.<\/p>\n<h3>Biography<\/h3>\n<p>In 2015, Hermann was awarded a KBE for services to Engineering and Industry.<\/p>\n<p>Serial entrepreneur and co-founder of Amadeus Capital Partners, Dr. Hermann Hauser CBE has wide experience in developing and financing companies in the information technology sector. He co-founded a number of high-tech companies including Acorn Computers which spun out ARM, E-trade UK, Virata and Cambridge Network. Subsequently, Hermann became vice president of research at Olivetti. During his tenure at Olivetti, he established a global network of research laboratories. Since leaving Olivetti, Hermann has founded over 20 technology companies. In 1997, he co-founded Amadeus Capital Partners. At Amadeus, he invested in CSR, Solexa, Icera, Xmos and Cambridge Broadband.<\/p>\n<p>Hermann is a Fellow of the Royal Society, the Institute of Physics and of the Royal Academy of Engineering and an Honorary Fellow of King&#8217;s College, Cambridge. In 2001, he was awarded an Honorary CBE for \u2018innovative service to the UK enterprise sector\u2019. In 2004, he was made a member of the Government\u2019s Council for Science and Technology and in 2013, he was made a Distinguished Fellow of BCS, the Chartered Institute for IT.<\/p>\n<p>Hermann has honorary doctorates from the Universities of Loughborough, Bath, Anglia Ruskin and The University of Strathclyde.<\/p>\n<p><span id=\"label-external-link\" class=\"sr-only\" aria-hidden=\"true\">Opens in a new tab<\/span><\/p>\n\t\t\t<\/div>\n\t\t<\/div>\n\t<\/li>\n\t\t<li class=\"m-0\" data-wp-context='{\"id\":\"accordion-content-5858\"}' data-wp-init=\"callbacks.init\">\n\t\t<div class=\"accordion-header\">\n\t\t\t<button\n\t\t\t\taria-controls=\"accordion-content-5858\"\n\t\t\t\tclass=\"btn btn-collapse\"\n\t\t\t\tdata-wp-bind--aria-expanded=\"state.isExpanded\"\n\t\t\t\tdata-wp-on--click=\"actions.onClick\"\n\t\t\t\tid=\"accordion-button-5857\"\n\t\t\t\ttype=\"button\"\n\t\t\t>\n\t\t\t\tTony Hoare | Consultant Principal Researcher, Microsoft Research\t\t\t<\/button>\n\t\t<\/div>\n\t\t<div\n\t\t\taria-labelledby=\"accordion-button-5857\"\n\t\t\tclass=\"msr-accordion__content\"\n\t\t\tdata-wp-bind--inert=\"!state.isExpanded\"\n\t\t\tdata-wp-run=\"callbacks.run\"\n\t\t\tid=\"accordion-content-5858\"\n\t\t>\n\t\t\t<div class=\"msr-accordion__body\">\n\t\t\t\t<p><strong><img loading=\"lazy\" decoding=\"async\" class=\"size-full wp-image-269055 alignright\" src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2015\/02\/tony-hoare100x132.jpg\" alt=\"tony-hoare100x132\" width=\"100\" height=\"132\" \/><\/strong><\/p>\n<h2>The Laws of Programming with Concurrency<\/h2>\n<ul>\n<li><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/video\/the-laws-of-programming-with-concurrency\/\">Watch the session<\/a><\/li>\n<\/ul>\n<h3>Abstract<\/h3>\n<p>Regular algebra provides a full set of simple laws for the programming of abstract state machines by regular expressions. They apply equally to sequential programs run on real computers. When extended by similar laws for interleaving of regular expressions, they apply also to programs for modern concurrent and distributed systems.<\/p>\n<p>Evidence for this claim is given by deriving from the algebra a concurrent extension of Hoare Logic (O\u2019Hearn\u2019s separation logic), and also an operational semantics for Milner\u2019s process calculus (CCS).<\/p>\n<h3>Biography<\/h3>\n<p>In 1956, I graduated from Oxford University with an MA in classics and philosophy. I was fascinated primarily by the philosophy of mathematics, and studied the logical foundations from books by Quine and Russell. In my first industrial job (1960) for a computer manufacture, I led a project implementing a classical programming language, ALGOL 60. The implementation was based on the novel context-free syntactic definition of this language. In my first academic employment, I resolved to provide a logical foundation for the semantics of a programming language as well.<\/p>\n<p>Other semantic definitions have been strongly promoted and widely used-for example, denotational, algebraic, and operational. These were often regarded as rival approaches. In my recent research at Microsoft, I have discovered that all four foundations are complementary presentations of essentially the same theory. In my first academic employment at the Queen\u2019s University, Belfast, I resolved to provide a logical foundation for the semantics of a programming language as well. This was later called Hoare Logic, and gave a method of assuring correctness of programs.<\/p>\n<p><span id=\"label-external-link\" class=\"sr-only\" aria-hidden=\"true\">Opens in a new tab<\/span><\/p>\n\t\t\t<\/div>\n\t\t<\/div>\n\t<\/li>\n\t\t<li class=\"m-0\" data-wp-context='{\"id\":\"accordion-content-5860\"}' data-wp-init=\"callbacks.init\">\n\t\t<div class=\"accordion-header\">\n\t\t\t<button\n\t\t\t\taria-controls=\"accordion-content-5860\"\n\t\t\t\tclass=\"btn btn-collapse\"\n\t\t\t\tdata-wp-bind--aria-expanded=\"state.isExpanded\"\n\t\t\t\tdata-wp-on--click=\"actions.onClick\"\n\t\t\t\tid=\"accordion-button-5859\"\n\t\t\t\ttype=\"button\"\n\t\t\t>\n\t\t\t\tThomas Karagiannis | Researcher, Microsoft Research\t\t\t<\/button>\n\t\t<\/div>\n\t\t<div\n\t\t\taria-labelledby=\"accordion-button-5859\"\n\t\t\tclass=\"msr-accordion__content\"\n\t\t\tdata-wp-bind--inert=\"!state.isExpanded\"\n\t\t\tdata-wp-run=\"callbacks.run\"\n\t\t\tid=\"accordion-content-5860\"\n\t\t>\n\t\t\t<div class=\"msr-accordion__body\">\n\t\t\t\t<p><strong><img loading=\"lazy\" decoding=\"async\" class=\"size-full wp-image-269052 alignright\" src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2015\/02\/thomas-karagiannis100x132.png\" alt=\"thomas-karagiannis100x132\" width=\"100\" height=\"132\" \/><\/strong><\/p>\n<h2>Predictable Data Centers<\/h2>\n<ul>\n<li><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/video\/predictable-data-centers-3\/\">Watch the session<\/a><\/li>\n<\/ul>\n<h3>Abstract<\/h3>\n<p>Performance predictability is a key requirement for high-performant applications in today&#8217;s multi-tenant massive-scale data centers hosting hundreds of thousands of servers. Online services like search or social networks running in infrastructure data centers need such predictability to satisfy application Service Level Agreements (SLAs); for example, online search queries need to be responded within a few hundred milliseconds. Cloud data centers require guaranteed performance to bound customer costs and spur adoption. However, several components of today\u2019s datacenters are at odds with such high-level application SLAs.<\/p>\n<p>The Predictable Data Centers (PDC) project tackles the issue of unpredictable application performance in data centers. A key contributor to such unpredictability is shared resources like network and storage. The bandwidth across the cloud network and to the cloud storage service can vary significantly. In this talk, I will discuss how we can design a predictable data center architecture that offers performance SLAs across shared resources<\/p>\n<h3>Biography<\/h3>\n<p>Thomas Karagiannis is a researcher in the Systems and Networking group at Microsoft Research Cambridge, UK since 2006. Prior to joining Microsoft Research, Thomas has been with Intel Research Cambridge and the Cooperative Association for Internet Data Analysis (CAIDA). Thomas\u2019s work focuses on improving the performance and predictability of various types of computer networks, such as home or datacenter networks. Thomas received his Ph.D. degree in Computer Science from the University of California, Riverside and B.S at the Applied Informatics department of the University of Macedonia, in Thessaloniki, Greece. Besides datacenter networks, his research interests also include Internet measurements and monitoring, and social networks.<\/p>\n<p><span id=\"label-external-link\" class=\"sr-only\" aria-hidden=\"true\">Opens in a new tab<\/span><\/p>\n\t\t\t<\/div>\n\t\t<\/div>\n\t<\/li>\n\t\t<li class=\"m-0\" data-wp-context='{\"id\":\"accordion-content-5862\"}' data-wp-init=\"callbacks.init\">\n\t\t<div class=\"accordion-header\">\n\t\t\t<button\n\t\t\t\taria-controls=\"accordion-content-5862\"\n\t\t\t\tclass=\"btn btn-collapse\"\n\t\t\t\tdata-wp-bind--aria-expanded=\"state.isExpanded\"\n\t\t\t\tdata-wp-on--click=\"actions.onClick\"\n\t\t\t\tid=\"accordion-button-5861\"\n\t\t\t\ttype=\"button\"\n\t\t\t>\n\t\t\t\tMarta Kwiatkowska | Professor of Computing Systems, Fellow, Trinity College, University of Oxford\t\t\t<\/button>\n\t\t<\/div>\n\t\t<div\n\t\t\taria-labelledby=\"accordion-button-5861\"\n\t\t\tclass=\"msr-accordion__content\"\n\t\t\tdata-wp-bind--inert=\"!state.isExpanded\"\n\t\t\tdata-wp-run=\"callbacks.run\"\n\t\t\tid=\"accordion-content-5862\"\n\t\t>\n\t\t\t<div class=\"msr-accordion__body\">\n\t\t\t\t<h2><strong><img loading=\"lazy\" decoding=\"async\" class=\"size-full wp-image-269028 alignright\" src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2015\/02\/marta-kwiatkowska100x132.jpg\" alt=\"marta-kwiatkowska100x132\" width=\"100\" height=\"132\" \/><\/strong>Keynote Session: Computing Reliably with Molecular Walkers<\/h2>\n<ul>\n<li><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/video\/computing-reliably-with-molecular-walkers\/\">Watch the session<\/a><\/li>\n<\/ul>\n<h3>Abstract<\/h3>\n<p>DNA computing is emerging as a versatile technology that promises a vast range of applications, including biosensing, drug delivery and synthetic biology. DNA logic circuits can be achieved in solution using strand displacement reactions, or by decision-making molecular robots-so called &#8216;walkers&#8217;-that traverse tracks placed on DNA &#8216;origami&#8217; tiles.<\/p>\n<p>Similarly to conventional silicon technologies, ensuring fault-free DNA circuit designs is challenging, with the difficulty compounded by the inherent unreliability of the DNA technology and lack of scientific understanding. This lecture will give an overview of computational models that capture DNA walker computation and demonstrate the role of quantitative verification and synthesis in ensuring the reliability of such systems. Future research challenges will also be discussed.<\/p>\n<h3>Biography<\/h3>\n<p>Marta Kwiatkowska is Professor of Computing Systems and Fellow of Trinity College, University of Oxford. She holds a BSc\/MSc in Computer Science from the Jagiellonian University, MA from Oxford and a PhD from the University of Leicester. In 2014 she was awarded an honorary doctorate from KTH Royal Institute of Technology in Stockholm.<\/p>\n<p>Marta Kwiatkowska spearheaded the development of probabilistic and quantitative methods in verification on the international scene. She led the development of the PRISM model checker (<a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" target=\"_blank\" href=\"http:\/\/www.prismmodelchecker.org\/\">www.prismmodelchecker.org<span class=\"sr-only\"> (opens in new tab)<\/span><\/a>), the leading software tool in the area and widely used for research and teaching. Applications of probabilistic model checking have spanned communication and security protocols, nanotechnology designs, power management, game theory, planning and systems biology, with genuine flaws found and corrected in real-world protocols. Kwiatkowska gave the Milner Lecture in 2012 in recognition of &#8220;excellent and original theoretical work which has a perceived significance for practical computing&#8221; and was invited to give keynotes at the LICS 2003, ESEC\/FSE 2007, ETAPS\/FASE 2011 and ATVA 2013 conferences. Marta Kwiatkowska is a member of Academia Europea and Fellow of the BCS. Kwiatkowska&#8217;s research has been supported by grant funding from EPSRC, ERC, EU, DARPA and Microsoft Research Cambridge, including the prestigious ERC Advanced Grant VERIWARE &#8220;From software verification to everyware verification&#8221; and \u00a35m EPSRC programme grant on Mobile Robotics.<\/p>\n<p><span id=\"label-external-link\" class=\"sr-only\" aria-hidden=\"true\">Opens in a new tab<\/span><\/p>\n\t\t\t<\/div>\n\t\t<\/div>\n\t<\/li>\n\t\t<li class=\"m-0\" data-wp-context='{\"id\":\"accordion-content-5864\"}' data-wp-init=\"callbacks.init\">\n\t\t<div class=\"accordion-header\">\n\t\t\t<button\n\t\t\t\taria-controls=\"accordion-content-5864\"\n\t\t\t\tclass=\"btn btn-collapse\"\n\t\t\t\tdata-wp-bind--aria-expanded=\"state.isExpanded\"\n\t\t\t\tdata-wp-on--click=\"actions.onClick\"\n\t\t\t\tid=\"accordion-button-5863\"\n\t\t\t\ttype=\"button\"\n\t\t\t>\n\t\t\t\tNatasa Milic-Frayling | Principal Researcher, Microsoft Research\t\t\t<\/button>\n\t\t<\/div>\n\t\t<div\n\t\t\taria-labelledby=\"accordion-button-5863\"\n\t\t\tclass=\"msr-accordion__content\"\n\t\t\tdata-wp-bind--inert=\"!state.isExpanded\"\n\t\t\tdata-wp-run=\"callbacks.run\"\n\t\t\tid=\"accordion-content-5864\"\n\t\t>\n\t\t\t<div class=\"msr-accordion__body\">\n\t\t\t\t<p><strong><img loading=\"lazy\" decoding=\"async\" class=\"size-full wp-image-269034 alignright\" src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2015\/02\/milic-frayling.jpg\" alt=\"milic-frayling\" width=\"100\" height=\"132\" \/><\/strong><\/p>\n<h2>Technology & Economics: Real-Time Ad Bidding and Personal Surveillance<\/h2>\n<ul>\n<li><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/video\/technology-economics-real-time-ad-bidding-and-personal-surveillance\/\">Watch the session<\/a><\/li>\n<\/ul>\n<h3>Abstract<\/h3>\n<p>Internet advertisers reach millions of customers through practices that involve real time tracking of users\u2019 online activities. The tracking is commonly conducted through browser cookies by third-party services that facilitate marketing campaigns and gather service analytics. By installing cookies on users\u2019 computers, they track the users as they navigate from one site to another. Other trackers exploit shortcomings in the cache access control and apply cookie-less profiling.<\/p>\n<p>At the same time, user applications, such as commonly used Internet browsers, reveal little or no information about the information flow between the devices and services. That leaves the consumers with no insight about the breadth of the digital footprints they leave while interacting with services and no understanding of how that data is exploited.<\/p>\n<p>We outline a research agenda that investigates several aspects of this problem. That involves (1) characterizing the tracking ecosystem and the value exchange within it, (2) understanding of the users\u2019 attitudes, behaviour, and awareness of the tracking practices, and (3) analysing the protocols and application design that contribute to the problem. We discuss the findings of several studies that investigate these issues. While they motivate us to think of alternatives to the privacy invading practices, they also urge deeper questions about the principles of design and comprehensibility of computing systems.<\/p>\n<h3>Biography<\/h3>\n<p>As a principal researcher at Microsoft Research in Cambridge, Natasa is working on the design, prototyping and evaluation of information and communication systems. She is passionate about innovation in personal and social computing and promotes a dialogue between IT industry, consumers, and policy makers on the issues that arise from the adoption and use of technology. Her current focus is on digital obsolescence, automation of user tasks across devices and services, and privacy respecting systems and applications. Natasa is actively involved with a wider community of academics and practitioners through public speaking, collaborative projects, and serving on advisory boards of academic programs and commercial enterprises. She is a visiting professor at the UCL and QMUL and a member of the ACM EU Council. She serves on the advisory boards for the Course in Entrepreneurship University of Cambridge and for the Turing Gateway in Mathematics at Isaac Newton Institute for Mathematical Sciences (INI).<\/p>\n<p><span id=\"label-external-link\" class=\"sr-only\" aria-hidden=\"true\">Opens in a new tab<\/span><\/p>\n\t\t\t<\/div>\n\t\t<\/div>\n\t<\/li>\n\t\t<li class=\"m-0\" data-wp-context='{\"id\":\"accordion-content-5866\"}' data-wp-init=\"callbacks.init\">\n\t\t<div class=\"accordion-header\">\n\t\t\t<button\n\t\t\t\taria-controls=\"accordion-content-5866\"\n\t\t\t\tclass=\"btn btn-collapse\"\n\t\t\t\tdata-wp-bind--aria-expanded=\"state.isExpanded\"\n\t\t\t\tdata-wp-on--click=\"actions.onClick\"\n\t\t\t\tid=\"accordion-button-5865\"\n\t\t\t\ttype=\"button\"\n\t\t\t>\n\t\t\t\tSimon Peyton Jones | Principal Researcher, Microsoft Research\t\t\t<\/button>\n\t\t<\/div>\n\t\t<div\n\t\t\taria-labelledby=\"accordion-button-5865\"\n\t\t\tclass=\"msr-accordion__content\"\n\t\t\tdata-wp-bind--inert=\"!state.isExpanded\"\n\t\t\tdata-wp-run=\"callbacks.run\"\n\t\t\tid=\"accordion-content-5866\"\n\t\t>\n\t\t\t<div class=\"msr-accordion__body\">\n\t\t\t\t<h2>How to\u00a0Write a Great Research\u00a0Paper and How to Give a Great Research Talk<strong><img loading=\"lazy\" decoding=\"async\" class=\"size-full wp-image-269043 alignright\" src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2015\/02\/simonpj.jpg\" alt=\"simonpj\" width=\"100\" height=\"132\" \/><\/strong><\/h2>\n<ul>\n<li><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2015\/02\/simon-peyton-jones_paper.pdf\">How to Write a Great Research Paper<\/a> | <a href=\"https:\/\/www.microsoft.com\/en-us\/research\/video\/how-to-write-a-great-research-paper-4\/\">Watch this Session<\/a><\/li>\n<li><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2015\/02\/simon-peyton-jones_talk.pdf\">How to Give a Great Research Talk<\/a> | <a href=\"https:\/\/www.microsoft.com\/en-us\/research\/video\/how-to-give-a-great-research-talk-4\/\">Watch this Session<\/a><\/li>\n<\/ul>\n<h3>Abstract<\/h3>\n<p>Writing papers and giving talks are key skills for any researcher, but they aren\u2019t easy. In this pair of presentations, I\u2019ll describe simple guidelines that I follow for writing papers and giving talks, which I think may be useful to you too. I don\u2019t have all the answers-far from it-and I hope that the presentation will evolve into a discussion in which you share your own insights, rather than a lecture.<\/p>\n<h3>Biography<\/h3>\n<p>Simon Peyton Jones, MA, MBCS, CEng, graduated from Trinity College Cambridge in 1980. After two years in industry, he spent seven years as a lecturer at University College London, and nine years as a professor at Glasgow University, before moving to Microsoft Research in 1998. His main research interest is in functional programming languages, their implementation, and their application. He has led a succession of research projects focused around the design and implementation of production-quality functional-language systems for both uniprocessors and parallel machines. He was a key contributor to the design of the now-standard functional language Haskell, and is the lead designer of the widely used Glasgow Haskell Compiler (GHC). He has written two textbooks about the implementation of functional languages. More generally, he is interested in language design, rich type systems, software component architectures, compiler technology, code generation, runtime systems, virtual machines, garbage collection, and more. He is particularly motivated by direct use of principled theory to practical language design and implementation-that\u2019s one reason he loves functional programming so much. He is also keen to apply ideas from advanced programming languages to mainstream settings.<\/p>\n<p><span id=\"label-external-link\" class=\"sr-only\" aria-hidden=\"true\">Opens in a new tab<\/span><\/p>\n\t\t\t<\/div>\n\t\t<\/div>\n\t<\/li>\n\t\t<li class=\"m-0\" data-wp-context='{\"id\":\"accordion-content-5868\"}' data-wp-init=\"callbacks.init\">\n\t\t<div class=\"accordion-header\">\n\t\t\t<button\n\t\t\t\taria-controls=\"accordion-content-5868\"\n\t\t\t\tclass=\"btn btn-collapse\"\n\t\t\t\tdata-wp-bind--aria-expanded=\"state.isExpanded\"\n\t\t\t\tdata-wp-on--click=\"actions.onClick\"\n\t\t\t\tid=\"accordion-button-5867\"\n\t\t\t\ttype=\"button\"\n\t\t\t>\n\t\t\t\tScarlet Schwiderski-Grosche <strong>|<\/strong> Senior Research Program Manager, Microsoft Research\t\t\t<\/button>\n\t\t<\/div>\n\t\t<div\n\t\t\taria-labelledby=\"accordion-button-5867\"\n\t\t\tclass=\"msr-accordion__content\"\n\t\t\tdata-wp-bind--inert=\"!state.isExpanded\"\n\t\t\tdata-wp-run=\"callbacks.run\"\n\t\t\tid=\"accordion-content-5868\"\n\t\t>\n\t\t\t<div class=\"msr-accordion__body\">\n\t\t\t\t<h2><strong><img loading=\"lazy\" decoding=\"async\" class=\"size-full wp-image-269058 alignright\" src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2015\/02\/scarletschwiderski-grosche100x132.jpg\" alt=\"scarletschwiderski-grosche100x132\" width=\"100\" height=\"132\" \/><\/strong>Summer School Chair; Welcome to PhD Summer School 2015<\/h2>\n<p>Scarlet Schwiderski-Grosche is a Senior Research Program Manager at Microsoft Research Cambridge, working for Microsoft Research Outreach in the Europe, Middle East, and Africa (EMEA) region. She is responsible for academic research partnerships in the region, especially for the Joint Research Centres with Inria in France and EPFL and ETH Zurich in Switzerland. Scarlet has a PhD in Computer Science from University of Cambridge. She was in academia for almost 10 years before joining Microsoft in March 2009. In academia, she worked as Lecturer in Information Security at Royal Holloway, University of London.<\/p>\n<p><span id=\"label-external-link\" class=\"sr-only\" aria-hidden=\"true\">Opens in a new tab<\/span><\/p>\n\t\t\t<\/div>\n\t\t<\/div>\n\t<\/li>\n\t\t<li class=\"m-0\" data-wp-context='{\"id\":\"accordion-content-5870\"}' data-wp-init=\"callbacks.init\">\n\t\t<div class=\"accordion-header\">\n\t\t\t<button\n\t\t\t\taria-controls=\"accordion-content-5870\"\n\t\t\t\tclass=\"btn btn-collapse\"\n\t\t\t\tdata-wp-bind--aria-expanded=\"state.isExpanded\"\n\t\t\t\tdata-wp-on--click=\"actions.onClick\"\n\t\t\t\tid=\"accordion-button-5869\"\n\t\t\t\ttype=\"button\"\n\t\t\t>\n\t\t\t\tBernhard Sch\u00f6lkopf | Max Planck Institute for Intelligent Systems\t\t\t<\/button>\n\t\t<\/div>\n\t\t<div\n\t\t\taria-labelledby=\"accordion-button-5869\"\n\t\t\tclass=\"msr-accordion__content\"\n\t\t\tdata-wp-bind--inert=\"!state.isExpanded\"\n\t\t\tdata-wp-run=\"callbacks.run\"\n\t\t\tid=\"accordion-content-5870\"\n\t\t>\n\t\t\t<div class=\"msr-accordion__body\">\n\t\t\t\t<p><strong><img loading=\"lazy\" decoding=\"async\" class=\"size-full wp-image-269013 alignright\" src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2015\/02\/bernhard-scholkopf.jpg\" alt=\"bernhard-scholkopf\" width=\"100\" height=\"132\" \/><\/strong><\/p>\n<h2>Empirical Inference for Intelligent Systems<\/h2>\n<ul>\n<li><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/video\/empirical-inference-for-intelligent-systems\/\">Watch the session<\/a><\/li>\n<\/ul>\n<h3>Abstract<\/h3>\n<p>Empirical Inference is the process of drawing conclusions from observational data. For instance, the data can be measurements from an experiment, which are used by a researcher to infer a scientific law. Another kind of empirical inference is performed by living beings, continuously recording data from their environment and carrying out appropriate actions. Do these problems have anything in common, and are there underlying principles governing the extraction of regularities from data? What characterizes hard inference problems, and how can we solve them?<\/p>\n<p>The talk will describe some of the main ideas and problems of machine learning. It will provide illustrative examples of real-world machine learning applications. Time permitting, it will touch upon recent developments in estimating causal structures, and\/or probabilistic programming.<\/p>\n<h3>Biography<\/h3>\n<p>Bernhard Sch\u00f6lkopf&#8217;s scientific interests are in machine learning and inference. In particular, he studies kernel methods for extracting regularities from possibly high-dimensional data. These regularities are usually statistical ones, however, in recent years he also got interested in methods for finding causal structures that underlie statistical dependences. He has worked on a number of different applications of machine learning, with a recent focus on photography and astronomy. Bernhard has researched at AT&T Bell Labs; at GMD FIRST, Berlin; and at Microsoft Research Cambridge, UK, before becoming a Max Planck director in 2001. He received the J.K. Aggarwal Prize of the International Association for Pattern Recognition, the Max Planck Research Award, the Academy Prize of the Berlin-Brandenburg Academy of Sciences and Humanities, and the Royal Society Milner Award.<\/p>\n<p><span id=\"label-external-link\" class=\"sr-only\" aria-hidden=\"true\">Opens in a new tab<\/span><\/p>\n\t\t\t<\/div>\n\t\t<\/div>\n\t<\/li>\n\t\t<li class=\"m-0\" data-wp-context='{\"id\":\"accordion-content-5872\"}' data-wp-init=\"callbacks.init\">\n\t\t<div class=\"accordion-header\">\n\t\t\t<button\n\t\t\t\taria-controls=\"accordion-content-5872\"\n\t\t\t\tclass=\"btn btn-collapse\"\n\t\t\t\tdata-wp-bind--aria-expanded=\"state.isExpanded\"\n\t\t\t\tdata-wp-on--click=\"actions.onClick\"\n\t\t\t\tid=\"accordion-button-5871\"\n\t\t\t\ttype=\"button\"\n\t\t\t>\n\t\t\t\tAbigail Sellen | Principal Researcher, Microsoft Research\t\t\t<\/button>\n\t\t<\/div>\n\t\t<div\n\t\t\taria-labelledby=\"accordion-button-5871\"\n\t\t\tclass=\"msr-accordion__content\"\n\t\t\tdata-wp-bind--inert=\"!state.isExpanded\"\n\t\t\tdata-wp-run=\"callbacks.run\"\n\t\t\tid=\"accordion-content-5872\"\n\t\t>\n\t\t\t<div class=\"msr-accordion__body\">\n\t\t\t\t<p><strong><img loading=\"lazy\" decoding=\"async\" class=\"wp-image-269004 size-full alignright\" src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2015\/02\/abigail-sellen100x132.jpg\" width=\"100\" height=\"132\" \/><\/strong><\/p>\n<h2>Designing Computer Systems That See<\/h2>\n<h3>Abstract<\/h3>\n<p>The last decade has witnessed rapid advancements in computer vision systems, not just in the world of gaming, but in many aspects of everyday life, from medical systems to augmented reality. Computer systems that &#8220;see\u201d enable new forms of input, can track and identify people, can capture and model the physical world around us, and can be combined with other system capabilities such as conversational agents. But the challenge in developing these systems is much more than technical. In this talk, I explore the process of designing computer vision applications from a human perspective, and through our own attempts to build them for a variety of real world settings. In doing so, I propose that such systems need to make their users aware of the differences between how computer systems and how people sense, perceive, analyse and respond to the world. This has implications beyond computer vision to more general notions of \u201csmart\u201d systems in an era where artificial intelligence has again taken hold of our collective imagination.<\/p>\n<h3>Biography<\/h3>\n<p>Abigail Sellen is a principal researcher at Microsoft Research Cambridge where she manages the Human Experience & Design Group. Prior to Microsoft, she worked at Hewlett-Packard Labs, Rank Xerox EuroPARC, Apple Computer, and Bell Northern Research. Abigail first became interested in human-computer interaction through a summer internship at Apple while working on her doctorate in cognitive science with Don Norman. She has since published extensively on many diverse topics, including the book <em>The Myth of the Paperless Office<\/em> (with co-author Richard Harper). Alongside honorary professorships at University College London and the University of Nottingham, she is also a Fellow of the Royal Academy of Engineering, Fellow of the British Computer Society, and a member of the ACM SIGCHI Academy.<\/p>\n<p><span id=\"label-external-link\" class=\"sr-only\" aria-hidden=\"true\">Opens in a new tab<\/span><\/p>\n\t\t\t<\/div>\n\t\t<\/div>\n\t<\/li>\n\t\t<li class=\"m-0\" data-wp-context='{\"id\":\"accordion-content-5874\"}' data-wp-init=\"callbacks.init\">\n\t\t<div class=\"accordion-header\">\n\t\t\t<button\n\t\t\t\taria-controls=\"accordion-content-5874\"\n\t\t\t\tclass=\"btn btn-collapse\"\n\t\t\t\tdata-wp-bind--aria-expanded=\"state.isExpanded\"\n\t\t\t\tdata-wp-on--click=\"actions.onClick\"\n\t\t\t\tid=\"accordion-button-5873\"\n\t\t\t\ttype=\"button\"\n\t\t\t>\n\t\t\t\tMatthew Smith | Scientist, Microsoft Research\t\t\t<\/button>\n\t\t<\/div>\n\t\t<div\n\t\t\taria-labelledby=\"accordion-button-5873\"\n\t\t\tclass=\"msr-accordion__content\"\n\t\t\tdata-wp-bind--inert=\"!state.isExpanded\"\n\t\t\tdata-wp-run=\"callbacks.run\"\n\t\t\tid=\"accordion-content-5874\"\n\t\t>\n\t\t\t<div class=\"msr-accordion__body\">\n\t\t\t\t<p><strong><img loading=\"lazy\" decoding=\"async\" class=\"size-full wp-image-269031 alignright\" src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2015\/02\/matthew-smith100x132.png\" alt=\"matthew-smith100x132\" width=\"100\" height=\"132\" \/><\/strong><\/p>\n<h2>Joined up Planetary Information, in the Cloud and on Devices<\/h2>\n<ul>\n<li><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/02\/en-us-events-2015summerschool-msmith-phdsummerschool2015.pdf\">View the slides<\/a><\/li>\n<\/ul>\n<h3>Abstract<\/h3>\n<p>In scientific research and development, emphasis is placed on research over development. A significant cost is that the two-way interaction between scientific insights and societal needs does not function effectively to lead to impacts in the wider world. We simply must embrace new software and hardware approaches if we are to provide timely predictive information to address global problems, support businesses and inform governments and citizens. The Microsoft Research Computational Science Lab has been pioneering research into software and methodologies to provide useful and usable new environmental information. Our approach has been very joined-up: from accelerating data acquisition from the field with remote sensor technology, targeted data collection and citizen science, to enabling process based modelling-using multiple heterogeneous data-sets in the cloud and enabling the resulting planetary information to be accessed from any device. This talk will demonstrate some of the specific research and development we are doing to accelerate the pace in which important science has impact on the wider world and will emphasise the important insights gained from advancing the research and development together.<\/p>\n<h3>Biography<\/h3>\n<p>Always fascinated by patterns in nature, Matthew undertook an ecology undergraduate degree at his local university (Aberdeen) that culminated in his first serious modelling: evolving virtual plants in virtual worlds to understand what determines their form and function. That work took him on to very practical work with the Royal Botanic Gardens Kew where he was a conservation projects officer for several years, conducting research in his free time before finally he cracked and decided he should know what it is he\u2019s talking about. That led to a PhD in mathematics at Heriot-Watt University in Edinburgh, where he acquired more traditional mathematical modelling skills. Since then, he has worked exclusively for Microsoft Research where he thrives on combining scientific understanding of how natural systems work with real world evidence to try to build defensible forecast systems of biological phenomena: diseases, vegetation dynamics, crops, riots, plankton. He is now driven by a realisation that it is possible to generate genuinely valuable forecasts of a lot more than just weather!<\/p>\n<p><span id=\"label-external-link\" class=\"sr-only\" aria-hidden=\"true\">Opens in a new tab<\/span><\/p>\n\t\t\t<\/div>\n\t\t<\/div>\n\t<\/li>\n\t\t<li class=\"m-0\" data-wp-context='{\"id\":\"accordion-content-5876\"}' data-wp-init=\"callbacks.init\">\n\t\t<div class=\"accordion-header\">\n\t\t\t<button\n\t\t\t\taria-controls=\"accordion-content-5876\"\n\t\t\t\tclass=\"btn btn-collapse\"\n\t\t\t\tdata-wp-bind--aria-expanded=\"state.isExpanded\"\n\t\t\t\tdata-wp-on--click=\"actions.onClick\"\n\t\t\t\tid=\"accordion-button-5875\"\n\t\t\t\ttype=\"button\"\n\t\t\t>\n\t\t\t\tKenji Takeda | Solutions Architect, Microsoft Research\t\t\t<\/button>\n\t\t<\/div>\n\t\t<div\n\t\t\taria-labelledby=\"accordion-button-5875\"\n\t\t\tclass=\"msr-accordion__content\"\n\t\t\tdata-wp-bind--inert=\"!state.isExpanded\"\n\t\t\tdata-wp-run=\"callbacks.run\"\n\t\t\tid=\"accordion-content-5876\"\n\t\t>\n\t\t\t<div class=\"msr-accordion__body\">\n\t\t\t\t<p><strong><img loading=\"lazy\" decoding=\"async\" class=\"size-full wp-image-269049 alignright\" src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2015\/02\/takeda.jpg\" alt=\"takeda\" width=\"100\" height=\"132\" \/><\/strong><\/p>\n<h2>Microsoft Azure Tutorial<\/h2>\n<h3>Biography<\/h3>\n<p>Dr. Kenji Takeda is Solutions Architect and Technical Manager for the Microsoft Research Outreach EMEA team. He has extensive experience in Cloud Computing, High Performance and High Productivity Computing, Data-intensive Science, Scientific Workflows, Scholarly Communication, Engineering and Educational Outreach. He has a passion for developing novel computational approaches to tackle fundamental and applied problems in science and engineering. He was previously Co-Director of the Microsoft Institute for High Performance Computing, and Senior Lecturer in Aeronautics, at the University of Southampton, UK. There he worked with leading high value manufacturing companies such as Airbus, AgustaWestland, BAE Systems, Rolls-Royce and Formula One teams, to develop state-of-the-art capability for improving science and engineering processes. He also worked in the areas of aerodynamics, aeroacoustics and flight simulation.<\/p>\n<p><span id=\"label-external-link\" class=\"sr-only\" aria-hidden=\"true\">Opens in a new tab<\/span><\/p>\n\t\t\t<\/div>\n\t\t<\/div>\n\t<\/li>\n\t\t<li class=\"m-0\" data-wp-context='{\"id\":\"accordion-content-5878\"}' data-wp-init=\"callbacks.init\">\n\t\t<div class=\"accordion-header\">\n\t\t\t<button\n\t\t\t\taria-controls=\"accordion-content-5878\"\n\t\t\t\tclass=\"btn btn-collapse\"\n\t\t\t\tdata-wp-bind--aria-expanded=\"state.isExpanded\"\n\t\t\t\tdata-wp-on--click=\"actions.onClick\"\n\t\t\t\tid=\"accordion-button-5877\"\n\t\t\t\ttype=\"button\"\n\t\t\t>\n\t\t\t\tNikolai Tillmann | Principal Software Engineering Manager, Microsoft\t\t\t<\/button>\n\t\t<\/div>\n\t\t<div\n\t\t\taria-labelledby=\"accordion-button-5877\"\n\t\t\tclass=\"msr-accordion__content\"\n\t\t\tdata-wp-bind--inert=\"!state.isExpanded\"\n\t\t\tdata-wp-run=\"callbacks.run\"\n\t\t\tid=\"accordion-content-5878\"\n\t\t>\n\t\t\t<div class=\"msr-accordion__body\">\n\t\t\t\t<p><strong><img loading=\"lazy\" decoding=\"async\" class=\"size-full wp-image-269037 alignright\" src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2015\/02\/nikolai-tillmann100x132.jpg\" alt=\"nikolai-tillmann100x132\" width=\"100\" height=\"132\" \/><\/strong><\/p>\n<h2>Code Hunt<\/h2>\n<h3>Abstract<\/h3>\n<p>Code Hunt is a serious game where the player writes code (Java or C#) to satisfy a mysterious oracle in the cloud. The game play advances through a series of increasingly difficult levels. In each level, the player has to discover the goal by studying a stream of test cases that show behavioral differences between the player\u2019s code and the secret algorithm which the oracle in the cloud desires. The cloud-based game engine is powered by Microsoft Research\u2019s Pex system, an automated test generation tool for .NET based on dynamic symbolic execution and the Z3 solver; Pex is now shipping as \u201cIntelliTest\u201d in Visual Studio 2015. Try the game for yourself at <a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" target=\"_blank\" href=\"http:\/\/www.codehunt.com\/\">http:\/\/www.codehunt.com<span class=\"sr-only\"> (opens in new tab)<\/span><\/a>.<\/p>\n<h3>Biography<\/h3>\n<p>Nikolai Tillmann is a principal software engineering manager at Microsoft, Redmond. He currently leads an effort to transform Microsoft\u2019s core build system to achieve unprecedented reliability, scalability and maintainability. He is the architect of Visual Studio 2015\u2019s IntelliTest (\u201cPex\u201d) feature, enabling automatic test case generation for .NET applications via dynamic symbolic execution. Try out Pex on the web at <a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" target=\"_blank\" href=\"http:\/\/www.pexforfun.com\/\">www.pexforfun.com<span class=\"sr-only\"> (opens in new tab)<\/span><\/a>, or play a coding game based on the Pex engine at <a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" target=\"_blank\" href=\"http:\/\/www.codehunt.com\/\">www.codehunt.com<span class=\"sr-only\"> (opens in new tab)<\/span><\/a>. At Microsoft Research, Nikolai also started <a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" target=\"_blank\" href=\"http:\/\/www.touchdevelop.com\/\">TouchDevelop<span class=\"sr-only\"> (opens in new tab)<\/span><\/a>, a cross-platform development environment that enables end-users to write programs for mobile devices on mobile devices; try it for yourself at <a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" target=\"_blank\" href=\"http:\/\/www.touchdevelop.com\/\">www.touchdevelop.com<span class=\"sr-only\"> (opens in new tab)<\/span><\/a>.<\/p>\n<p><span id=\"label-external-link\" class=\"sr-only\" aria-hidden=\"true\">Opens in a new tab<\/span><\/p>\n\t\t\t<\/div>\n\t\t<\/div>\n\t<\/li>\n\t\t<li class=\"m-0\" data-wp-context='{\"id\":\"accordion-content-5880\"}' data-wp-init=\"callbacks.init\">\n\t\t<div class=\"accordion-header\">\n\t\t\t<button\n\t\t\t\taria-controls=\"accordion-content-5880\"\n\t\t\t\tclass=\"btn btn-collapse\"\n\t\t\t\tdata-wp-bind--aria-expanded=\"state.isExpanded\"\n\t\t\t\tdata-wp-on--click=\"actions.onClick\"\n\t\t\t\tid=\"accordion-button-5879\"\n\t\t\t\ttype=\"button\"\n\t\t\t>\n\t\t\t\tChristoph Wintersteiger | Researcher, Microsoft Research\t\t\t<\/button>\n\t\t<\/div>\n\t\t<div\n\t\t\taria-labelledby=\"accordion-button-5879\"\n\t\t\tclass=\"msr-accordion__content\"\n\t\t\tdata-wp-bind--inert=\"!state.isExpanded\"\n\t\t\tdata-wp-run=\"callbacks.run\"\n\t\t\tid=\"accordion-content-5880\"\n\t\t>\n\t\t\t<div class=\"msr-accordion__body\">\n\t\t\t\t<p><strong><img loading=\"lazy\" decoding=\"async\" class=\"size-full wp-image-269019 alignright\" src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2015\/02\/christoph-wintersteiger100x132.jpg\" alt=\"christoph-wintersteiger100x132\" width=\"100\" height=\"132\" \/><\/strong><\/p>\n<h2>The Varied Forms of Verification with Z3<\/h2>\n<ul>\n<li><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/video\/the-varied-forms-of-verification-with-z3\/\">Watch the session<\/a><\/li>\n<\/ul>\n<h3>Abstract<\/h3>\n<p>The Z3 theorem prover is Microsoft&#8217;s main engine of logic and it is used in a variety of projects. It is rooted in the need for efficient decision procedures in the area of software verification, and it has since been extended into bordering areas. Emerging applications include verification of probabilistic properties of software and other systems, as well as verification and synthesis of biological systems, both constructed and natural.<\/p>\n<p>In this talk, I will briefly introduce the core concepts involved in verification(-like) problems, and I will demonstrate how theorem provers in general, and Z3 specifically, are employed to solve many of the subproblems that arise. I will then touch upon the satisfiability problem for the theory of floating-point numbers as an example of the design of a tailored decision procedure for a particular theory. The last part of the talk will be spent on various applications of this and other decision procedures to problems that arise in computer science and in computational biology.<\/p>\n<h3>Biography<\/h3>\n<p>Christoph Wintersteiger is a researcher in the Programming Principles and Tools group at Microsoft Research Cambridge. He graduated from ETH Zurich in 2011 and has since been a research intern and a postdoc at MSRC. He works on efficient decision procedures for various logics, and applications thereof in software and hardware verification. Currently, his focus is on finite-domain theories like Boolean formulas (SAT, QBF), bit-vectors, floating-point numbers, and (some) probabilistic theories. Along with applications in verification, he recently became interested in the exploration and verification of biological systems, e.g., chemical reaction networks. He is one of the core team of developers of the Z3 theorem prover, which is Microsoft&#8217;s main engine of logic.<\/p>\n<p><span id=\"label-external-link\" class=\"sr-only\" aria-hidden=\"true\">Opens in a new tab<\/span><\/p>\n\t\t\t<\/div>\n\t\t<\/div>\n\t<\/li>\n\t\t<li class=\"m-0\" data-wp-context='{\"id\":\"accordion-content-5882\"}' data-wp-init=\"callbacks.init\">\n\t\t<div class=\"accordion-header\">\n\t\t\t<button\n\t\t\t\taria-controls=\"accordion-content-5882\"\n\t\t\t\tclass=\"btn btn-collapse\"\n\t\t\t\tdata-wp-bind--aria-expanded=\"state.isExpanded\"\n\t\t\t\tdata-wp-on--click=\"actions.onClick\"\n\t\t\t\tid=\"accordion-button-5881\"\n\t\t\t\ttype=\"button\"\n\t\t\t>\n\t\t\t\tDave Yewman | Elevator Speech Inc.\t\t\t<\/button>\n\t\t<\/div>\n\t\t<div\n\t\t\taria-labelledby=\"accordion-button-5881\"\n\t\t\tclass=\"msr-accordion__content\"\n\t\t\tdata-wp-bind--inert=\"!state.isExpanded\"\n\t\t\tdata-wp-run=\"callbacks.run\"\n\t\t\tid=\"accordion-content-5882\"\n\t\t>\n\t\t\t<div class=\"msr-accordion__body\">\n\t\t\t\t<p><strong><img loading=\"lazy\" decoding=\"async\" class=\"size-full wp-image-269022 alignright\" src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2015\/02\/dave-yewman100x132.jpg\" alt=\"dave-yewman100x132\" width=\"100\" height=\"132\" \/><\/strong><\/p>\n<h2>Delivering a Fabulous Research Talk: How to Tell More Stories, Use Less PowerPoint and Get to the Point When Presenting<\/h2>\n<h3>Abstract<\/h3>\n<p>We&#8217;ve all been there: a dark room, a long and boring speech accompanied by an endless stream of bullet-heavy PowerPoint slides. It&#8217;s maddening. In this session you&#8217;ll learn how to really engage an audience, how to deliver a research presentation with emphasis and energy, and finally how to use body language to your advantage. You&#8217;ll also learn what separates a good presentation slide from a bad one, and how to calibrate a speech so that even complicated, technical topics can be explained in a clear, concise, compelling way.<\/p>\n<h3>Biography<\/h3>\n<p>Dave is a strategic communications expert with more than 19 years of experience in the field. A former newspaper reporter and columnist, Dave has counseled senior executives at a variety of companies, managed communications teams and led business development efforts. He has also conducted storytelling workshops and presentation training sessions for thousands of executives at numerous companies, including Microsoft, CA, Clif Bar, Dell, CBS, Ingram Micro, aQuantive, T-Mobile, MercyCorps, DriveSavers, Reebok, Tripwire, Wieden + Kennedy, SnapChat, Zurich Insurance, and Adidas.<\/p>\n<p>He has spoken to numerous groups about how to translate complex scientific and technical information into clear, concise, compelling language. Before establishing Elevator Speech Inc., Dave was the general manager of Weber Shandwick&#8217;s Portland office. Before joining Weber Shandwick, he led a Waggener Edstrom PR team charged with developing strategic PR programs for Microsoft in a variety of industries, including financial services, manufacturing and healthcare. Dave was an award- winning reporter and columnist at The Galveston Daily News in Texas and an on-camera spokesman for The University of Texas Medical Branch. He is a graduate of the University of Northern Colorado&#8217;s school of journalism.<\/p>\n<p><span id=\"label-external-link\" class=\"sr-only\" aria-hidden=\"true\">Opens in a new tab<\/span><\/p>\n\t\t\t<\/div>\n\t\t<\/div>\n\t<\/li>\n\t\t\t\t\t\t<\/ul>\n\t<\/div>\n\t<span id=\"label-external-link\" class=\"sr-only\" aria-hidden=\"true\">Opens in a new tab<\/span><\/p>\n<h2>Food and drink<\/h2>\n<ul>\n<li><a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" target=\"_blank\" href=\"http:\/\/www.cambridgerestaurants.com\/\">Cambridge Restaurants Guide<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\" target=\"_blank\" href=\"http:\/\/www.cambridgepubs.com\/\">Cambridge Pubs Guide<span class=\"sr-only\"> (opens in new tab)<\/span><\/a><\/li>\n<\/ul>\n<h2>Cinema<\/h2>\n<ul>\n<li><a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" target=\"_blank\" href=\"http:\/\/www.picturehouses.co.uk\/cinema_home_date.aspx?venueId=camb\">The Arts Picture House<span class=\"sr-only\"> (opens in new tab)<\/span><\/a><\/li>\n<\/ul>\n<blockquote><p>38-39 St Andrews Street, Cambridge, CB2 3AR<br \/>\nTel: 01223 572929<\/p><\/blockquote>\n<ul>\n<li><a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" target=\"_blank\" href=\"http:\/\/www.cineworld.co.uk\/cinemas\/7\">Cineworld<span class=\"sr-only\"> (opens in new tab)<\/span><\/a><\/li>\n<\/ul>\n<blockquote><p>Cambridge Leisure Park, Clifton Road, Cambridge, CB1 7DY<br \/>\nTel: 0871 200 2000<\/p><\/blockquote>\n<ul>\n<li><a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" target=\"_blank\" href=\"http:\/\/www.myvue.com\/cinemas\/facilities\/cinema\/cambridge\">Vue Cinema<span class=\"sr-only\"> (opens in new tab)<\/span><\/a><\/li>\n<\/ul>\n<blockquote><p>The Grafton Centre, East Rd, Cambridge, CB1 1PS<br \/>\nTel: 0871 2240240<\/p><\/blockquote>\n<h2>Theatres<\/h2>\n<ul>\n<li><a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" target=\"_blank\" href=\"http:\/\/www.cambridgeartstheatre.com\/\">Cambridge Arts Theatre<span class=\"sr-only\"> (opens in new tab)<\/span><\/a><\/li>\n<\/ul>\n<blockquote><p>6 St Edwards Passage, Cambridge, CB2 3PL<br \/>\nTel: 01223 578933<\/p><\/blockquote>\n<ul>\n<li><a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" target=\"_blank\" href=\"http:\/\/www.adctheatre.com\/\">ADC Theatre<span class=\"sr-only\"> (opens in new tab)<\/span><\/a><\/li>\n<\/ul>\n<blockquote><p>Park Street, Cambridge, CB5 8AS<br \/>\nTel: 01223 359547<\/p><\/blockquote>\n<ul>\n<li><a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" target=\"_blank\" href=\"http:\/\/www.anglia.ac.uk\/ruskin\/en\/home\/microsites\/mumford_theatre.html\">Mumford Theatre<span class=\"sr-only\"> (opens in new tab)<\/span><\/a><\/li>\n<\/ul>\n<blockquote><p>Anglia Polytechnic University, East Road, Cambridge, CB1 1PT<br \/>\nTel: 0845 196 2320<\/p><\/blockquote>\n<ul>\n<li><a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" target=\"_blank\" href=\"http:\/\/www.cornex.co.uk\/\">Cambridge Corn Exchange<span class=\"sr-only\"> (opens in new tab)<\/span><\/a><\/li>\n<\/ul>\n<blockquote><p>3, Parson Court, Wheeler Street, Cambridge, CB2 3QE<br \/>\nTel: 01223 357851<\/p><\/blockquote>\n<ul>\n<li><a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" target=\"_blank\" href=\"http:\/\/www.junction.co.uk\/\">The Junction<span class=\"sr-only\"> (opens in new tab)<\/span><\/a><\/li>\n<\/ul>\n<blockquote><p>Cambridge Leisure Park, Clifton Road, Cambridge, CB1 7GX<br \/>\nTel: 01223 511511<\/p><\/blockquote>\n<p><span id=\"label-external-link\" class=\"sr-only\" aria-hidden=\"true\">Opens in a new tab<\/span><\/p>\n<p><b>What is the week-long agenda?<\/b> The agenda will be full of exciting events including demonstrations, talks, and discussions, which will enable you to interact with and present your poster together with networking events. For more details, review the PhD Summer School 2015 agenda.<\/p>\n<p><b>When should I arrive at Selwyn College?<\/b> Plan to arrive at Selwyn College no later than 16:00 on Monday, 29 June 2015 for check in at The Porters Lodge. Registration and High Tea is between 16:00 and 18:00.<\/p>\n<ul>\n<li><a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" title=\"\" href=\"http:\/\/www.sel.cam.ac.uk\/college\/directions\/\" target=\"_blank\">Directions to Selwyn College<span class=\"sr-only\"> (opens in new tab)<\/span><\/a><\/li>\n<\/ul>\n<p><b>When should I book my travel?<\/b> Book your travel as soon as possible so that you can be sure to arrive no later than 16:00 on Monday, 29 June 2015 and leave no earlier than 12.30 on Friday, 3 July 2015 when Summer School officially closes.<\/p>\n<blockquote><p><b>Travel tips<\/b><\/p>\n<ul>\n<li>Where possible, fly into either London Stansted or London City Airport, which are closer to Cambridge and less congested.<\/li>\n<li>Avoid flying into London Heathrow or London Gatwick airports, which are quite a distance from Cambridge.<\/li>\n<li>Cambridge Airport runs flights to and from a limited number of European destinations.<\/li>\n<li>Use the train where possible; it\u2019s better for the environment!<\/li>\n<\/ul>\n<\/blockquote>\n<p><b>How do I register for accommodation?<\/b> Please register for your accommodation via the link in your invitation by 29 May 2015. Reservations should not be made directly. Request a room for the day that you arrive.<\/p>\n<p><b>When should I check out from Selwyn College?<\/b> Checkout is before 9.30 A.M on Friday, 3 July 2015.<\/p>\n<p><b>Where can I store my luggage when I check out from Selwyn College?<\/b> Luggage cannot be left at Selwyn College once you have checked out on Friday, 3 July, but can be stored securely at Microsoft Cambridge whilst you attend Summer School for the morning.<\/p>\n<p><b>What should I do if I require a visa?<\/b> If you require a letter to support your visa or to present to the port authorities upon entry, download and complete the\u00a0<a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/02\/en-us-events-2015summerschool-business-travel-support-letter-questionnaire-2015.docx\">PhD Summer School 2015 Business Travel Support Letter Questionnaire<\/a>\u00a0(DOCX, 93 KB) when you complete your online registration, and send it as an attachment to <a href=\"mailto:vvletter@microsoft.com\">vvletter@microsoft.com<\/a>. Your request will be processed and a soft copy of the invitation letter sent by email; if you require a hard copy letter, please provide a delivery address. Note that the team will need at least a week to prepare the letter.<\/p>\n<p><b>What about transportation?<\/b> You are responsible for getting to Selwyn College and should follow the travel reimbursement guidelines. All transportation during Summer School will be provided, including transfers between Selwyn College and Microsoft Research.<\/p>\n<p><b>What is the dress code?<\/b> The dress code is smart\/casual.<\/p>\n<p><b>Will I be able access the Internet during this event?<\/b> Selwyn College will offer free Wi-Fi in the bedrooms and public areas. Microsoft Research will offer free Wi-Fi access in the building. There will be instructions available when you access the building.<\/p>\n<p><b>What should I do if I have a special dietary need? <\/b>Vegetarian options will be provided for all meals and snacks. Should you have any additional\u00a0special dietary needs, please make sure you let us know when you register.<\/p>\n<p><b>Will I be able to have the contact details of the other attendees?<\/b> Yes, if you have consented to sharing your details during your online registration.<\/p>\n<p><b>Will I be able to access any of the photographs taken during Summer School?<\/b> If you consented to sharing your photographs during your online registration, you will have access to the photographs after the event.<\/p>\n<p><b>What should I do if I need a doctor or have a medical emergency? <\/b><\/p>\n<ul>\n<li><b>In a medical emergency<\/b>, dial 999<\/li>\n<li><b>For a non-emergency<\/b>, a list of local medical surgeries can be found <a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" target=\"_blank\" href=\"http:\/\/www.healthcentre.org.uk\/medical-centres\/find-cambridge.html\">here<span class=\"sr-only\"> (opens in new tab)<\/span><\/a> or ring one listed below:\n<ul>\n<li>Cherry Hinton Medical Centre 0844 8151440<\/li>\n<li>Bridge Street Medical Centre 08444 773939<\/li>\n<li>Petersfield Medical Practice 01223 350 647<\/li>\n<li>York Street Medical Practice 01223 364 116<\/li>\n<\/ul>\n<\/li>\n<\/ul>\n<p><i>In the case of sickness or an emergency, where possible, please notify Sue Flanders, PhD Scholarship Programme Manager on 01223 476 996 or by email <\/i><a href=\"mailto:i-suef@microsoft.com\"><i>i-suef@microsoft.com<\/i><\/a><i> as soon as you can. <\/i><span id=\"label-external-link\" class=\"sr-only\" aria-hidden=\"true\">Opens in a new tab<\/span><\/p>\n<p>You will have the opportunity to present your research to other Microsoft researchers and participants during a two-hour poster session. This will enable you to promote and discuss your work with experts in your field and with a wider audience.<\/p>\n<h2>Presenting your poster<\/h2>\n<p>Poster sessions are scheduled between 12:00 and 14:00 P.M. on Tuesday, Wednesday, and Thursday.<\/p>\n<p>Your poster will be selected for presentation on one day only. Posters will be displayed on individual poster boards distributed around the area where the lunchtime buffet is served.<\/p>\n<p>During your poster session, you will be expected to stand by your poster so that your fellow students and researchers from the Microsoft Cambridge Lab can have the opportunity to read about your research over lunch and discuss it with you.<\/p>\n<p>You do not need to prepare a long presentation, but it is a good idea to prepare a short introductory explanation (perhaps 30 seconds to a minute long) to capture their attention at the start. Don\u2019t worry, it is all very relaxed.<\/p>\n<p>Remember to eat lunch yourself! Choose a quiet moment to grab something from the buffet and then return to your poster.<\/p>\n<h2>Designing\u00a0your poster<\/h2>\n<p>You will need to design a poster that is A1 portrait (594 mm width x 841 mm height) in colour. Your poster should be created in either PowerPoint or PDF format.<\/p>\n<p>Your poster should articulate clearly and concisely both visually and textually:<\/p>\n<ul>\n<li>The challenge being addressed or question being answered by the research in such a way that a non-expert can understand the importance of the research<\/li>\n<li>The focus of the research<\/li>\n<li>The intended outcome<\/li>\n<li>The current stage you have reached<\/li>\n<li>Any research results, preliminary conclusions, or potentially interesting next steps<\/li>\n<\/ul>\n<p>Posters should be aimed at other students and researchers who do not necessarily have expertise in that specific area of research.<\/p>\n<p>Posters should clearly display:<\/p>\n<ul>\n<li>Your name<\/li>\n<li>The name of your supervisor and any collaborators<\/li>\n<li>The name of your university<\/li>\n<\/ul>\n<h3>Academic poster design guidance<\/h3>\n<p>For helpful guidelines on how to design an academic poster, visit <a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" title=\"\" href=\"http:\/\/www2.le.ac.uk\/offices\/ld\/resources\/presentation\/designing-poster\/designing-poster\" target=\"_blank\">Designing an academic poster<span class=\"sr-only\"> (opens in new tab)<\/span><\/a> and then click <b>Go to the tutorial<\/b>.<\/p>\n<p>Once you have registered, Sue Duraikan, who returns by popular demand to present her talk on Poster Presentations at the Summer School, will be in touch via email to offer support in preparing your poster. There will also be an opportunity to gain confidential one-on-one feedback on your poster and your presentation skills.<\/p>\n<h2>Printing your poster<\/h2>\n<p>We will be happy to print your poster for you if you send an electronic copy (PowerPoint or PDF format) by email to <a href=\"mailto:i-suef@microsoft.com\">i-suef@microsoft.com<\/a> before Monday, 8 June 2015. Otherwise, be sure that you bring your poster with you to Summer School. You can print it on paper and have it laminated, but it is worth looking into the possibility of printing it on fabric, which makes it easier to transport.<\/p>\n<p><b>Poster submission deadline:<\/b> Monday, 8 June 2015<span id=\"label-external-link\" class=\"sr-only\" aria-hidden=\"true\">Opens in a new tab<\/span><\/p>\n","protected":false},"excerpt":{"rendered":"<p>Links Microsoft Research Cambridge PhD Summer School 2014 Opens in a new tab PhD Summer School Participants 2015 The PhD Summer School is an annual event that is organized at Microsoft Research Cambridge in relation to the Microsoft Research PhD Scholarship Programme. The tenth Microsoft Research Summer School took place at Microsoft Research in Cambridge, [&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":"","msr_startdate":"2015-06-29","msr_enddate":"2015-07-03","msr_location":"Cambridge, UK","msr_expirationdate":"","msr_event_recording_link":"","msr_event_link":"","msr_event_link_redirect":false,"msr_event_time":"","msr_hide_region":false,"msr_private_event":true,"msr_hide_image_in_river":0,"footnotes":""},"research-area":[],"msr-region":[239178],"msr-event-type":[],"msr-video-type":[],"msr-locale":[268875],"msr-program-audience":[],"msr-post-option":[],"msr-impact-theme":[],"class_list":["post-200039","msr-event","type-msr-event","status-publish","hentry","msr-region-europe","msr-locale-en_us"],"msr_about":"<!-- wp:msr\/event-details {\"title\":\"PhD Summer School 2015\",\"backgroundColor\":\"grey\"} \/-->\n\n<!-- wp:msr\/content-tabs --><!-- wp:msr\/content-tab {\"title\":\"About\"} --><!-- wp:freeform --><h3>Links<\/h3>\n<ul>\n<li><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/lab\/microsoft-research-cambridge\/\">Microsoft Research Cambridge<\/a><\/li>\n<li><a class=\"invalidLink\" href=\"https:\/\/www.microsoft.com\/en-us\/research\/event\/phd-summer-school-2014\/\" target=\"_self\">PhD Summer School 2014<\/a><\/li>\n<\/ul>\n<p><span id=\"label-external-link\" class=\"sr-only\" aria-hidden=\"true\">Opens in a new tab<\/span><\/p>\n<p><div id=\"attachment_203917\" style=\"width: 1010px\" class=\"wp-caption alignnone\"><img loading=\"lazy\" decoding=\"async\" aria-describedby=\"caption-attachment-203917\" class=\"wp-image-203917 size-full\" src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/02\/en-us-events-2015summerschool-phd2015.jpg\" alt=\"phd2015.jpg\" width=\"1000\" height=\"667\" srcset=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/02\/en-us-events-2015summerschool-phd2015.jpg 1000w, https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/02\/en-us-events-2015summerschool-phd2015-300x200.jpg 300w, https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/02\/en-us-events-2015summerschool-phd2015-768x512.jpg 768w\" sizes=\"auto, (max-width: 1000px) 100vw, 1000px\" \/><p id=\"caption-attachment-203917\" class=\"wp-caption-text\">PhD Summer School Participants 2015<\/p><\/div><\/p>\n<p>The PhD Summer School is an annual event that is organized at Microsoft Research Cambridge in relation to the Microsoft Research PhD Scholarship Programme. The tenth Microsoft Research Summer School took place at Microsoft Research in Cambridge, UK, from 29 June to 3 July 2015. It included a series of talks of academic interest, transferable skills talks, and poster sessions that provided invited students the opportunity to present their work to Microsoft researchers.<\/p>\n<p>Invited students included PhD students in their first or second year from universities and research institutions with which Microsoft Research partners, as well as all Microsoft Research PhD Scholars. In addition, lectures and posters sessions\u00a0were open to all research staff and students from the University of Cambridge.<\/p>\n<h3>About the Microsoft Research PhD Scholarship Programme<\/h3>\n<p>The Microsoft Research PhD Scholarship Programme was developed in 2004 to support research collaborations between academics in the Europe, Middle East, and Africa (EMEA) region with Microsoft Research researchers in the Cambridge Lab. Currently, there are approximately 100 students working at universities and research organizations across the whole region on peer-reviewed projects and in collaboration with their Microsoft Research Cambridge co-supervisors.<\/p>\n<h3><img loading=\"lazy\" decoding=\"async\" class=\"size-full wp-image-230179 alignleft\" src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/05\/scarletschwiderski-grosche100x132.jpg\" alt=\"Scarlet Schwiderski-Grosche\" width=\"100\" height=\"132\" \/>Summer School Chair<\/h3>\n<p><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/scarlets\/\"><b>Scarlet Schwiderski-Grosche<\/b><\/a><br \/>\nSenior Research Program Manager<br \/>\nMicrosoft Research Connections<span id=\"label-external-link\" class=\"sr-only\" aria-hidden=\"true\">Opens in a new tab<\/span><\/p>\n<!-- \/wp:freeform --><!-- \/wp:msr\/content-tab --><!-- wp:msr\/content-tab {\"title\":\"Agenda\"} --><!-- wp:freeform --><h2>Monday,\u00a029 June<\/h2>\n<table class=\"msr-table-schedule\">\n<thead class=\"thead\">\n<tr class=\"tr\">\n<th class=\"th\">Time<\/th>\n<th class=\"th\">Session<\/th>\n<th class=\"th\">Speaker<\/th>\n<th class=\"th\">Location<\/th>\n<\/tr>\n<\/thead>\n<tbody class=\"tbody\">\n<tr class=\"tr\">\n<td class=\"td-1-4\">\n<div class=\"msr-table-schedule-cell\">16:00<\/div>\n<\/td>\n<td>\n<div class=\"msr-table-schedule-cell\">Arrival and check in at Selwyn College<\/div>\n<\/td>\n<td><\/td>\n<td><\/td>\n<\/tr>\n<tr class=\"tr\">\n<td class=\"td-1-4\">\n<div class=\"msr-table-schedule-cell\">16:00<\/div>\n<\/td>\n<td>\n<div class=\"msr-table-schedule-cell\">Registration and High Tea at Selwyn College<\/div>\n<\/td>\n<td><\/td>\n<td><\/td>\n<\/tr>\n<tr class=\"tr\">\n<td class=\"td-1-4\">\n<div class=\"msr-table-schedule-cell\">18:00<\/div>\n<\/td>\n<td>\n<div class=\"msr-table-schedule-cell\">Free Time<\/div>\n<\/td>\n<td><\/td>\n<td><\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n<h2>Tuesday, 30 June<\/h2>\n<table class=\"msr-table-schedule\">\n<thead class=\"thead\">\n<tr class=\"tr\">\n<th class=\"th\">Time<\/th>\n<th class=\"th\">Session<\/th>\n<th class=\"th\">Speaker<\/th>\n<th class=\"th\">Location<\/th>\n<\/tr>\n<\/thead>\n<tbody class=\"tbody\">\n<tr class=\"tr\">\n<td class=\"td-1-4\">\n<div class=\"msr-table-schedule-cell\">08:30<\/div>\n<\/td>\n<td>\n<div class=\"msr-table-schedule-cell\">Coach Transfer: Selwyn to Microsoft Research and Sign In of All Attendees<\/div>\n<\/td>\n<td><\/td>\n<td><\/td>\n<\/tr>\n<tr class=\"tr\">\n<td class=\"td-1-4\">\n<div class=\"msr-table-schedule-cell\">09:15<\/div>\n<\/td>\n<td>\n<div class=\"msr-table-schedule-cell\"><strong>Welcome to Microsoft Research Cambridge<\/strong><\/div>\n<\/td>\n<td>\n<div class=\"msr-table-schedule-cell\"><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/scarlets\/\">Scarlet Schwiderski-Grosche<\/a>, Microsoft Research<\/div>\n<\/td>\n<td>Main Auditorium<\/td>\n<\/tr>\n<tr class=\"tr\">\n<td class=\"td-1-4\">\n<div class=\"msr-table-schedule-cell\">09:30<\/div>\n<\/td>\n<td>\n<div class=\"msr-table-schedule-cell\"><strong>How to Give a Great Research Talk<\/strong><\/div>\n<\/td>\n<td>\n<div class=\"msr-table-schedule-cell\"><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/simonpj\/\">Simon Peyton Jones<\/a>, Microsoft Research<\/div>\n<\/td>\n<td>Main Auditorium<\/td>\n<\/tr>\n<tr class=\"tr\">\n<td class=\"td-1-4\">\n<div class=\"msr-table-schedule-cell\">\u00a010:00<\/div>\n<\/td>\n<td>\n<div class=\"msr-table-schedule-cell\">\n<div class=\"msr-table-schedule-cell\"><strong>Introduction to Code Hunt<\/strong><\/div>\n<\/div>\n<\/td>\n<td><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/nikolait\/\">Nikolai Tillmann<\/a>, Microsoft Research<\/td>\n<td>Main Auditorium<\/td>\n<\/tr>\n<tr class=\"tr\">\n<td class=\"td-1-4\">\n<div class=\"msr-table-schedule-cell\">10:30<\/div>\n<\/td>\n<td>\n<div class=\"msr-table-schedule-cell\">Morning Break<\/div>\n<\/td>\n<td><\/td>\n<td><\/td>\n<\/tr>\n<tr class=\"tr\">\n<td class=\"td-1-4\">\n<div class=\"msr-table-schedule-cell\">11:00<\/div>\n<\/td>\n<td>\n<div class=\"msr-table-schedule-cell\"><strong>Technology Development<\/strong><\/div>\n<\/td>\n<td>\n<div class=\"msr-table-schedule-cell\">Hermann Hauser, Amadeus Capital Partners<\/div>\n<\/td>\n<td>Main Auditorium<\/td>\n<td><\/td>\n<\/tr>\n<tr class=\"tr\">\n<td class=\"td-1-4\">\n<div class=\"msr-table-schedule-cell\">12:00<\/div>\n<\/td>\n<td>\n<div class=\"msr-table-schedule-cell\">Lunch\/Poster Session<\/div>\n<\/td>\n<td><\/td>\n<td><\/td>\n<\/tr>\n<tr class=\"tr\">\n<td class=\"td-1-4\">\n<div class=\"msr-table-schedule-cell\">14:00<\/div>\n<\/td>\n<td>\n<div class=\"msr-table-schedule-cell\"><strong>Research Parallel Sessions<\/strong><\/div>\n<\/td>\n<td><\/td>\n<td><\/td>\n<\/tr>\n<tr class=\"tr\">\n<td class=\"td-1-4\"><\/td>\n<td>\n<div class=\"msr-table-schedule-cell\"><strong>Machine Learning in Health Care<\/strong><\/div>\n<\/td>\n<td>\n<div class=\"msr-table-schedule-cell\">\n<p><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/antcrim\/\" target=\"_self\">Antonio Criminisi<\/a>, Microsoft Research<\/p>\n<\/div>\n<\/td>\n<td>Main Auditorium<\/td>\n<\/tr>\n<tr class=\"tr\">\n<td class=\"td-1-4\"><\/td>\n<td>\n<div class=\"msr-table-schedule-cell\"><strong>Hoarding Cats: Modelling and Testing Concurrent Systems<\/strong><\/div>\n<\/td>\n<td>\n<div class=\"msr-table-schedule-cell\">\n<p>Jade Alglave, Microsoft Research<\/p>\n<\/div>\n<\/td>\n<td>Flexible Meeting Room<\/td>\n<\/tr>\n<tr class=\"tr\">\n<td class=\"td-1-4\">\n<div class=\"msr-table-schedule-cell\">15:00<\/div>\n<\/td>\n<td>\n<div class=\"msr-table-schedule-cell\">Afternoon Break<\/div>\n<\/td>\n<td><\/td>\n<td><\/td>\n<\/tr>\n<tr class=\"tr\">\n<td class=\"td-1-4\">\n<div class=\"msr-table-schedule-cell\">15:30<\/div>\n<\/td>\n<td>\n<div class=\"msr-table-schedule-cell\"><strong>Research Parallel Sessions<\/strong><\/div>\n<\/td>\n<td><\/td>\n<td><\/td>\n<\/tr>\n<tr class=\"tr\">\n<td class=\"td-1-4\"><\/td>\n<td>\n<div class=\"msr-table-schedule-cell\"><strong>Designing Computer Systems That See<\/strong><\/div>\n<\/td>\n<td>\n<div class=\"msr-table-schedule-cell\">\n<p><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/asellen\/\">Abigail Sellen<\/a>, Microsoft Research<\/p>\n<\/div>\n<\/td>\n<td>Main Auditorium<\/td>\n<\/tr>\n<tr class=\"tr\">\n<td class=\"td-1-4\"><\/td>\n<td>\n<div class=\"msr-table-schedule-cell\"><strong>Joined Up Planetary Information, in the Cloud and on Devices<\/strong><\/div>\n<\/td>\n<td>\n<div class=\"msr-table-schedule-cell\">\n<p><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/mattsmi\/\" target=\"_self\">Matthew Smith<\/a>, Microsoft Research<\/p>\n<\/div>\n<\/td>\n<td>Flexible Meeting Room<\/td>\n<\/tr>\n<tr class=\"tr\">\n<td class=\"td-1-4\">\n<div class=\"msr-table-schedule-cell\">16:30<\/div>\n<\/td>\n<td>\n<div class=\"msr-table-schedule-cell\">Coach Transfer: Microsoft Research to WildTracks, Go Karting<\/div>\n<\/td>\n<td><\/td>\n<td><\/td>\n<\/tr>\n<tr class=\"tr\">\n<td class=\"td-1-4\">\n<div class=\"msr-table-schedule-cell\">17:15<\/div>\n<\/td>\n<td>\n<div class=\"msr-table-schedule-cell\">Go-Karting at WildTracks Karting and BBQ<\/div>\n<\/td>\n<td><\/td>\n<td><\/td>\n<\/tr>\n<tr class=\"tr\">\n<td class=\"td-1-4\">\n<div class=\"msr-table-schedule-cell\">21:30<\/div>\n<\/td>\n<td>\n<div class=\"msr-table-schedule-cell\">Coach Transfer: WildTracks to Selwyn College<\/div>\n<\/td>\n<td><\/td>\n<td><\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n<h2>Wednesday,\u00a01 July<\/h2>\n<table class=\"msr-table-schedule\">\n<thead class=\"thead\">\n<tr class=\"tr\">\n<th class=\"th\">Time<\/th>\n<th class=\"th\">Session<\/th>\n<th class=\"th\">Speaker<\/th>\n<th class=\"th\">Location<\/th>\n<\/tr>\n<\/thead>\n<tbody class=\"tbody\">\n<tr class=\"tr\">\n<td class=\"td-1-4\">\n<div class=\"msr-table-schedule-cell\">08:15<\/div>\n<\/td>\n<td>\n<div class=\"msr-table-schedule-cell\">Coach Transfer: Selwyn to Microsoft Research and Sign In of All Attendees<\/div>\n<\/td>\n<td><\/td>\n<td><\/td>\n<\/tr>\n<tr class=\"tr\">\n<td class=\"td-1-4\">\n<div class=\"msr-table-schedule-cell\">09:00<\/div>\n<\/td>\n<td>\n<div class=\"msr-table-schedule-cell\"><strong>Delivering a Fabulous Research Talk; How to Tell More Stories, Use Less PowerPoint and Get to the Point When Presenting<\/strong><\/div>\n<\/td>\n<td>\n<div class=\"msr-table-schedule-cell\">Dave Yewman, Elevator Speech Inc.<\/div>\n<\/td>\n<td>Main Auditorium<\/td>\n<\/tr>\n<tr class=\"tr\">\n<td class=\"td-1-4\">\n<div class=\"msr-table-schedule-cell\">10:30<\/div>\n<\/td>\n<td>\n<div class=\"msr-table-schedule-cell\">Morning Break<\/div>\n<\/td>\n<td><\/td>\n<td><\/td>\n<\/tr>\n<tr class=\"tr\">\n<td class=\"td-1-4\">\n<div class=\"msr-table-schedule-cell\">11:00<\/div>\n<\/td>\n<td>\n<div class=\"msr-table-schedule-cell\"><strong>Delivering a Fabulous Research Talk; How to Tell More Stories, Use Less PowerPoint and Get to the Point When Presenting<\/strong><\/div>\n<\/td>\n<td>\n<div class=\"msr-table-schedule-cell\">Dave Yewman, Elevator Speech Inc.<\/div>\n<\/td>\n<td>Main Auditorium<\/td>\n<\/tr>\n<tr class=\"tr\">\n<td class=\"td-1-4\">\n<div class=\"msr-table-schedule-cell\">12:00<\/div>\n<\/td>\n<td>\n<div class=\"msr-table-schedule-cell\">Lunch\/Poster Session<\/div>\n<\/td>\n<td><\/td>\n<td><\/td>\n<\/tr>\n<tr class=\"tr\">\n<td class=\"td-1-4\">\n<div class=\"msr-table-schedule-cell\">14:00<\/div>\n<\/td>\n<td>\n<div class=\"msr-table-schedule-cell\"><strong>Computing Reliability with Molecular Walkers<\/strong><\/div>\n<\/td>\n<td>\n<div class=\"msr-table-schedule-cell\">\n<p>Marta Kwiatkowska, University of Oxford<\/p>\n<\/div>\n<\/td>\n<td>Main Auditorium<\/td>\n<\/tr>\n<tr class=\"tr\">\n<td class=\"td-1-4\">\n<div class=\"msr-table-schedule-cell\">15:00<\/div>\n<\/td>\n<td>\n<div class=\"msr-table-schedule-cell\">Afternoon Break<\/div>\n<\/td>\n<td><\/td>\n<td><\/td>\n<\/tr>\n<tr class=\"tr\">\n<td class=\"td-1-4\">\n<div class=\"msr-table-schedule-cell\">15:30<\/div>\n<\/td>\n<td>\n<div class=\"msr-table-schedule-cell\"><strong>Strategic Thinking for Researchers<\/strong><\/div>\n<\/td>\n<td>\n<div class=\"msr-table-schedule-cell\"><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/adg\/\">Andy Gordon<\/a>, Microsoft Research<\/div>\n<\/td>\n<td>Main Auditorium<\/td>\n<\/tr>\n<tr class=\"tr\">\n<td class=\"td-1-4\">\n<div class=\"msr-table-schedule-cell\">\u00a016:30<\/div>\n<\/td>\n<td><strong>Research Parallel Sessions<\/strong><\/td>\n<td><\/td>\n<td><\/td>\n<\/tr>\n<tr class=\"tr\">\n<td class=\"td-1-4\"><\/td>\n<td>\n<div class=\"msr-table-schedule-cell\"><strong>Microsoft Azure Tutorial<\/strong><\/div>\n<\/td>\n<td>\n<div class=\"msr-table-schedule-cell\"><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/kenjitak\/\">Kenji Takeda<\/a>, Microsoft Research<\/div>\n<\/td>\n<td>Main Auditorium<\/td>\n<\/tr>\n<tr class=\"tr\">\n<td class=\"td-1-4\"><\/td>\n<td>\n<div class=\"msr-table-schedule-cell\"><strong>\u00a0<b>.NET Gadgeteer Workshop<\/b><\/strong><\/div>\n<\/td>\n<td>\n<div class=\"msr-table-schedule-cell\">\u00a0Paul Foster, Microsoft<\/div>\n<\/td>\n<td><\/td>\n<\/tr>\n<tr class=\"tr\">\n<td class=\"td-1-4\">\n<div class=\"msr-table-schedule-cell\">17:30<\/div>\n<\/td>\n<td>\n<div class=\"msr-table-schedule-cell\">Coach transfer: Microsoft Research to Selwyn College<\/div>\n<\/td>\n<td><\/td>\n<td><\/td>\n<\/tr>\n<tr class=\"tr\">\n<td class=\"td-1-4\">\n<div class=\"msr-table-schedule-cell\">17:30-19:30<\/div>\n<\/td>\n<td>\n<div class=\"msr-table-schedule-cell\"><strong>Code Hunt Contest<\/strong> (optional attendance)<\/div>\n<\/td>\n<td><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/nikolait\/\">Nikolai Tillmann<\/a>, Microsoft Research<\/td>\n<td>Main Auditorium<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n<h2>Thursday,\u00a02 July<\/h2>\n<table class=\"msr-table-schedule\">\n<thead class=\"thead\">\n<tr class=\"tr\">\n<th class=\"th\">Time<\/th>\n<th class=\"th\">Session<\/th>\n<th class=\"th\">Speaker<\/th>\n<th class=\"th\">Location<\/th>\n<\/tr>\n<\/thead>\n<tbody class=\"tbody\">\n<tr class=\"tr\">\n<td class=\"td-1-4\">\n<div class=\"msr-table-schedule-cell\">08:45<\/div>\n<\/td>\n<td>\n<div class=\"msr-table-schedule-cell\">Coach Transfer: Selwyn to Microsoft Research and Sign In of All Attendees<\/div>\n<\/td>\n<td><\/td>\n<td><\/td>\n<\/tr>\n<tr class=\"tr\">\n<td class=\"td-1-4\">\n<div class=\"msr-table-schedule-cell\">09:30<\/div>\n<\/td>\n<td>\n<div class=\"msr-table-schedule-cell\"><strong>Research Parallel Sessions<\/strong><\/div>\n<\/td>\n<td><\/td>\n<td><\/td>\n<\/tr>\n<tr class=\"tr\">\n<td class=\"td-1-4\"><\/td>\n<td>\n<div class=\"msr-table-schedule-cell\"><strong><b>Technology &amp; Economics: Real-Time Ad Bidding and Personal Surveillance<\/b><\/strong><\/div>\n<\/td>\n<td>\n<div class=\"msr-table-schedule-cell\">\n<p>Natasa Milic-Frayling, Microsoft Research<\/p>\n<\/div>\n<\/td>\n<td>Main Auditorium<\/td>\n<\/tr>\n<tr class=\"tr\">\n<td class=\"td-1-4\"><\/td>\n<td>\n<div class=\"msr-table-schedule-cell\"><strong><b>The Varied Forms of Verification with Z3<\/b><\/strong><\/div>\n<\/td>\n<td>\n<div class=\"msr-table-schedule-cell\">\n<p><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/cwinter\/\">Christoph Wintersteiger<\/a>, Microsoft Research<\/p>\n<\/div>\n<\/td>\n<td>Flexible Meeting Room<\/td>\n<\/tr>\n<tr class=\"tr\">\n<td class=\"td-1-4\">\n<div class=\"msr-table-schedule-cell\">10:30<\/div>\n<\/td>\n<td>\n<div class=\"msr-table-schedule-cell\">Morning Break<\/div>\n<\/td>\n<td><\/td>\n<td><\/td>\n<\/tr>\n<tr class=\"tr\">\n<td class=\"td-1-4\">\n<div class=\"msr-table-schedule-cell\">11:00<\/div>\n<\/td>\n<td>\n<div class=\"msr-table-schedule-cell\"><strong>Research Parallel Sessions<\/strong><\/div>\n<\/td>\n<td><\/td>\n<td><\/td>\n<\/tr>\n<tr class=\"tr\">\n<td class=\"td-1-4\"><\/td>\n<td>\n<div class=\"msr-table-schedule-cell\"><strong><b>Predictable Data Centers<\/b> <\/strong><\/div>\n<\/td>\n<td>\n<div class=\"msr-table-schedule-cell\">\n<p><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/thomkar\/\">Thomas Karagiannis<\/a>, Microsoft Research<\/p>\n<\/div>\n<\/td>\n<td>Main Auditorium<\/td>\n<\/tr>\n<tr class=\"tr\">\n<td class=\"td-1-4\"><\/td>\n<td>\n<div class=\"msr-table-schedule-cell\"><strong><b>Designing Human Experiences<\/b> <\/strong><\/div>\n<\/td>\n<td>\n<div class=\"msr-table-schedule-cell\">\n<p><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/rbanks\/\" target=\"_self\">Richard Banks<\/a>, Microsoft Research<\/p>\n<\/div>\n<\/td>\n<td>Flexible Meeting Room<\/td>\n<\/tr>\n<tr class=\"tr\">\n<td class=\"td-1-4\">\n<div class=\"msr-table-schedule-cell\">12:00<\/div>\n<\/td>\n<td>\n<div class=\"msr-table-schedule-cell\">Lunch\/Poster Session<\/div>\n<\/td>\n<td><\/td>\n<td><\/td>\n<\/tr>\n<tr class=\"tr\">\n<td class=\"td-1-4\">\n<div class=\"msr-table-schedule-cell\">14:00<\/div>\n<\/td>\n<td>\n<div class=\"msr-table-schedule-cell\"><strong><b>The Laws of Programming with Concurrency<\/b><\/strong><\/div>\n<\/td>\n<td>\n<div class=\"msr-table-schedule-cell\">Tony Hoare, Microsoft Research<\/div>\n<\/td>\n<td>Main Auditorium<\/td>\n<\/tr>\n<tr class=\"tr\">\n<td class=\"td-1-4\">\n<div class=\"msr-table-schedule-cell\">15:00<\/div>\n<\/td>\n<td>\n<div class=\"msr-table-schedule-cell\"><strong><b>Empirical Inference for Intelligent Systems<\/b><\/strong><\/div>\n<\/td>\n<td>\n<div class=\"msr-table-schedule-cell\">\n<p>Bernhard Sch\u00f6lkopf, Max Planck Institute for Intelligent Systems<\/p>\n<\/div>\n<\/td>\n<td>Main Auditorium<\/td>\n<\/tr>\n<tr class=\"tr\">\n<td class=\"td-1-4\">\n<div class=\"msr-table-schedule-cell\">16:00<\/div>\n<\/td>\n<td>\n<div class=\"msr-table-schedule-cell\"><strong>DemoFest<\/strong> (including Afternoon Break)<\/div>\n<\/td>\n<td><\/td>\n<td><\/td>\n<\/tr>\n<tr class=\"tr\">\n<td class=\"td-1-4\">\n<div class=\"msr-table-schedule-cell\">17:30<\/div>\n<\/td>\n<td>\n<div class=\"msr-table-schedule-cell\">Coach transfer: Microsoft Research to Jesus College<\/div>\n<\/td>\n<td><\/td>\n<td><\/td>\n<\/tr>\n<tr class=\"tr\">\n<td class=\"td-1-4\">\n<div class=\"msr-table-schedule-cell\">18:00<\/div>\n<\/td>\n<td>\n<div class=\"msr-table-schedule-cell\">Drinks and Group Photo<\/div>\n<\/td>\n<td><\/td>\n<td><\/td>\n<\/tr>\n<tr class=\"tr\">\n<td class=\"td-1-4\">\n<div class=\"msr-table-schedule-cell\">19:00<\/div>\n<\/td>\n<td>\n<div class=\"msr-table-schedule-cell\">Formal Dinner at Jesus College<\/div>\n<\/td>\n<td><\/td>\n<td><\/td>\n<\/tr>\n<tr class=\"tr\">\n<td class=\"td-1-4\">\n<div class=\"msr-table-schedule-cell\">21:30<\/div>\n<\/td>\n<td>\n<div class=\"msr-table-schedule-cell\">Coach Transfer: Jesus College to Selwyn College<\/div>\n<\/td>\n<td><\/td>\n<td><\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n<h2>Friday,\u00a03 July<\/h2>\n<table class=\"msr-table-schedule\">\n<thead class=\"thead\">\n<tr class=\"tr\">\n<th class=\"th\">Time<\/th>\n<th class=\"th\">Session<\/th>\n<th class=\"th\">Speaker<\/th>\n<th class=\"th\">Location<\/th>\n<\/tr>\n<\/thead>\n<tbody class=\"tbody\">\n<tr class=\"tr\">\n<td class=\"td-1-4\">\n<div class=\"msr-table-schedule-cell\">08:45<\/div>\n<\/td>\n<td>\n<div class=\"msr-table-schedule-cell\">Coach Transfer: Selwyn to Microsoft Research and Sign In of All Attendees<\/div>\n<\/td>\n<td><\/td>\n<td><\/td>\n<\/tr>\n<tr class=\"tr\">\n<td class=\"td-1-4\">\n<div class=\"msr-table-schedule-cell\">09:30<\/div>\n<\/td>\n<td>\n<div class=\"msr-table-schedule-cell\"><strong>How to Present a Poster at an International Conference<\/strong><\/div>\n<\/td>\n<td>\n<div class=\"msr-table-schedule-cell\">Sue Duraikan, Duraikan Training<\/div>\n<\/td>\n<td>Main Auditorium<\/td>\n<\/tr>\n<tr class=\"tr\">\n<td class=\"td-1-4\">10:15<\/td>\n<td>\n<div class=\"msr-table-schedule-cell\">\n<div class=\"msr-table-schedule-cell\"><strong>How to Give a Great Research Talk<\/strong><\/div>\n<\/div>\n<\/td>\n<td>\n<div class=\"msr-table-schedule-cell\"><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/simonpj\/\">Simon Peyton Jones<\/a>, Microsoft Research<\/div>\n<\/td>\n<td>Main Auditorium<\/td>\n<\/tr>\n<tr class=\"tr\">\n<td class=\"td-1-4\">11:15<\/td>\n<td>\n<div class=\"msr-table-schedule-cell\">Morning Break<\/div>\n<\/td>\n<td><\/td>\n<td><\/td>\n<\/tr>\n<tr class=\"tr\">\n<td class=\"td-1-4\">11:30<\/td>\n<td>\n<div class=\"msr-table-schedule-cell\">\n<div class=\"msr-table-schedule-cell\"><strong>How to Write a Great Research Paper<\/strong><\/div>\n<\/div>\n<\/td>\n<td>\n<div class=\"msr-table-schedule-cell\">\n<div class=\"msr-table-schedule-cell\"><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/simonpj\/\">Simon Peyton Jones<\/a>, Microsoft Research<\/div>\n<\/div>\n<\/td>\n<td>Main Auditorium<\/td>\n<\/tr>\n<tr class=\"tr\">\n<td class=\"td-1-4\">\n<div class=\"msr-table-schedule-cell\">12:30<\/div>\n<\/td>\n<td>\n<div class=\"msr-table-schedule-cell\">PhD Summer School Closes | Grab-and-Go Lunch<\/div>\n<\/td>\n<td><\/td>\n<td><\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n<p><span id=\"label-external-link\" class=\"sr-only\" aria-hidden=\"true\">Opens in a new tab<\/span><\/p>\n<!-- \/wp:freeform --><!-- \/wp:msr\/content-tab --><!-- wp:msr\/content-tab {\"title\":\"Speakers and Abstracts\"} --><!-- wp:freeform --><p>\t<div data-wp-context='{\"items\":[]}' data-wp-interactive=\"msr\/accordion\">\n\t\t\t\t\t<div class=\"clearfix\">\n\t\t\t\t<div\n\t\t\t\t\tclass=\"btn-group align-items-center mb-g float-sm-right\"\n\t\t\t\t\tdata-bi-aN=\"accordion-collapse-controls\"\n\t\t\t\t>\n\t\t\t\t\t<button\n\t\t\t\t\t\tclass=\"btn btn-link m-0\"\n\t\t\t\t\t\tdata-bi-cN=\"Expand all\"\n\t\t\t\t\t\tdata-wp-bind--aria-controls=\"state.ariaControls\"\n\t\t\t\t\t\tdata-wp-bind--aria-expanded=\"state.ariaExpanded\"\n\t\t\t\t\t\tdata-wp-bind--disabled=\"state.isAllExpanded\"\n\t\t\t\t\t\tdata-wp-class--inactive=\"state.isAllExpanded\"\n\t\t\t\t\t\tdata-wp-on--click=\"actions.onExpandAll\"\n\t\t\t\t\t\ttype=\"button\"\n\t\t\t\t\t>\n\t\t\t\t\t\tExpand all\t\t\t\t\t<\/button>\n\t\t\t\t\t<span aria-hidden=\"true\"> | <\/span>\n\t\t\t\t\t<button\n\t\t\t\t\t\tclass=\"btn btn-link m-0\"\n\t\t\t\t\t\tdata-bi-cN=\"Collapse all\"\n\t\t\t\t\t\tdata-wp-bind--aria-controls=\"state.ariaControls\"\n\t\t\t\t\t\tdata-wp-bind--aria-expanded=\"state.ariaExpanded\"\n\t\t\t\t\t\tdata-wp-bind--disabled=\"state.isAllCollapsed\"\n\t\t\t\t\t\tdata-wp-class--inactive=\"state.isAllCollapsed\"\n\t\t\t\t\t\tdata-wp-on--click=\"actions.onCollapseAll\"\n\t\t\t\t\t\ttype=\"button\"\n\t\t\t\t\t>\n\t\t\t\t\t\tCollapse all\t\t\t\t\t<\/button>\n\t\t\t\t<\/div>\n\t\t\t<\/div>\n\t\t\t\t<ul class=\"msr-accordion\">\n\t\t\t\t\t\t\t\t<li class=\"m-0\" data-wp-context='{\"id\":\"accordion-content-5844\"}' data-wp-init=\"callbacks.init\">\n\t\t<div class=\"accordion-header\">\n\t\t\t<button\n\t\t\t\taria-controls=\"accordion-content-5844\"\n\t\t\t\tclass=\"btn btn-collapse\"\n\t\t\t\tdata-wp-bind--aria-expanded=\"state.isExpanded\"\n\t\t\t\tdata-wp-on--click=\"actions.onClick\"\n\t\t\t\tid=\"accordion-button-5843\"\n\t\t\t\ttype=\"button\"\n\t\t\t>\n\t\t\t\tJade Alglave | Researcher, Microsoft Research\t\t\t<\/button>\n\t\t<\/div>\n\t\t<div\n\t\t\taria-labelledby=\"accordion-button-5843\"\n\t\t\tclass=\"msr-accordion__content\"\n\t\t\tdata-wp-bind--inert=\"!state.isExpanded\"\n\t\t\tdata-wp-run=\"callbacks.run\"\n\t\t\tid=\"accordion-content-5844\"\n\t\t>\n\t\t\t<div class=\"msr-accordion__body\">\n\t\t\t\t<h2>Herding Cats: Modelling and Testing Concurrent Systems<\/h2>\n<h3>Abstract<\/h3>\n<p>There is a joke where a physicist and a mathematician are asked to herd cats. The physicist starts with an infinitely large pen, which he reduces until it is of reasonable diameter yet contains all the cats. The mathematician builds a fence around himself and declares the outside to be the inside. Defining memory models is akin to herding cats: both the physicist\u2019s or mathematician\u2019s attitudes are tempting, but we cannot rely on one more than on the other. I study concurrent systems, trying to understand precisely what our machines guarantee. This is crucial for writing correct programs, especially since modern machines force us to revise the programming model that we have been taught at school, namely Lamport\u2019s Sequential Consistency. In this talk, I will show ways of defining formal models for concurrency, within a generic framework in which one can represent for example Sequential Consistency, Intel x86, IBM Power, ARM, C++ and GPUs.<\/p>\n<h3>Biography<\/h3>\n<p>Jade Alglave is a researcher at Microsoft Research Cambridge, and a lecturer at University College London. She tries to develop formal models of concurrent systems within a unifying framework, and use these models for verification purposes.<\/p>\n<p><span id=\"label-external-link\" class=\"sr-only\" aria-hidden=\"true\">Opens in a new tab<\/span><\/p>\n\t\t\t<\/div>\n\t\t<\/div>\n\t<\/li>\n\t\t<li class=\"m-0\" data-wp-context='{\"id\":\"accordion-content-5846\"}' data-wp-init=\"callbacks.init\">\n\t\t<div class=\"accordion-header\">\n\t\t\t<button\n\t\t\t\taria-controls=\"accordion-content-5846\"\n\t\t\t\tclass=\"btn btn-collapse\"\n\t\t\t\tdata-wp-bind--aria-expanded=\"state.isExpanded\"\n\t\t\t\tdata-wp-on--click=\"actions.onClick\"\n\t\t\t\tid=\"accordion-button-5845\"\n\t\t\t\ttype=\"button\"\n\t\t\t>\n\t\t\t\tRichard Banks | Principal Design Manager, Microsoft Research\t\t\t<\/button>\n\t\t<\/div>\n\t\t<div\n\t\t\taria-labelledby=\"accordion-button-5845\"\n\t\t\tclass=\"msr-accordion__content\"\n\t\t\tdata-wp-bind--inert=\"!state.isExpanded\"\n\t\t\tdata-wp-run=\"callbacks.run\"\n\t\t\tid=\"accordion-content-5846\"\n\t\t>\n\t\t\t<div class=\"msr-accordion__body\">\n\t\t\t\t<p><strong><img loading=\"lazy\" decoding=\"async\" class=\"size-full wp-image-269040 alignright\" src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2015\/02\/richard-banks100x132.jpg\" alt=\"richard-banks100x132\" width=\"100\" height=\"132\" \/><\/strong><\/p>\n<h2>Designing Human Experiences<strong><\/strong><\/h2>\n<ul>\n<li><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/video\/designing-human-experiences\/\">Watch the session<\/a> | <a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/02\/en-us-events-2015summerschool-rbanks-phdsummerschool2015.pdf\">view the slides<\/a><\/li>\n<\/ul>\n<h3>Abstract<\/h3>\n<p>The Human Experience &amp; Design Group at Cambridge designs and fabricates new human experiences with computing. These play on many different kinds of human values, from amplifying efficiency and effectiveness to creating delight and wonder in our interactions with technology. And they can be situated in any aspect of everyday life, from increasing productivity in the workplace to respecting the tenderness of family life. In this talk, Richard Banks will give an overview of the work of the team, describing how the disciplines of social science, computer science and design work together as a multi-disciplinary unit, and showing a number of working projects and prototypes.<\/p>\n<h3>Biography<\/h3>\n<p>Richard Banks is principal design manager in Microsoft Research&#8217;s Cambridge lab. Working as part of the Human Experience &amp; Design group he collaborates with social scientists and computer scientists in the lab on a broad range of projects that span device development, community engagement, gestural interaction and more. Richard is author of <em>The Future of Looking Back<\/em>, a book which focuses on new digital legacies and the impact they\u2019ll have on how we reminisce about our lives. He is honorary professor of design at the University of Dundee, a fellow of the Royal Society of Arts and external examiner for Edinburgh University\u2019s Design Informatics course.<\/p>\n<p><span id=\"label-external-link\" class=\"sr-only\" aria-hidden=\"true\">Opens in a new tab<\/span><\/p>\n\t\t\t<\/div>\n\t\t<\/div>\n\t<\/li>\n\t\t<li class=\"m-0\" data-wp-context='{\"id\":\"accordion-content-5848\"}' data-wp-init=\"callbacks.init\">\n\t\t<div class=\"accordion-header\">\n\t\t\t<button\n\t\t\t\taria-controls=\"accordion-content-5848\"\n\t\t\t\tclass=\"btn btn-collapse\"\n\t\t\t\tdata-wp-bind--aria-expanded=\"state.isExpanded\"\n\t\t\t\tdata-wp-on--click=\"actions.onClick\"\n\t\t\t\tid=\"accordion-button-5847\"\n\t\t\t\ttype=\"button\"\n\t\t\t>\n\t\t\t\tAndrew Blake | Laboratory Director, Microsoft Research\t\t\t<\/button>\n\t\t<\/div>\n\t\t<div\n\t\t\taria-labelledby=\"accordion-button-5847\"\n\t\t\tclass=\"msr-accordion__content\"\n\t\t\tdata-wp-bind--inert=\"!state.isExpanded\"\n\t\t\tdata-wp-run=\"callbacks.run\"\n\t\t\tid=\"accordion-content-5848\"\n\t\t>\n\t\t\t<div class=\"msr-accordion__body\">\n\t\t\t\t<p><strong><img loading=\"lazy\" decoding=\"async\" class=\"size-full wp-image-269016 alignright\" src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2015\/02\/blake.jpg\" alt=\"blake\" width=\"100\" height=\"132\" \/><\/strong><\/p>\n<h2>Welcome to Microsoft Research Cambridge<\/h2>\n<h3>Biography<\/h3>\n<p>Andrew Blake is a Microsoft Distinguished Scientist and the Laboratory Director of Microsoft Research Cambridge, England. He joined Microsoft in 1999 as a senior researcher to found the Computer Vision group. In 2008, he became a Deputy Managing Director at the lab, before assuming his current position in 2010. Prior to joining Microsoft, Andrew trained in mathematics and electrical engineering in Cambridge England, and studied for a doctorate in Artificial Intelligence in Edinburgh. He was an academic for 18 years, latterly on the faculty at Oxford University, where he was a pioneer in the development of the theory and algorithms that can make it possible for computers to behave as seeing machines.<\/p>\n<p><span id=\"label-external-link\" class=\"sr-only\" aria-hidden=\"true\">Opens in a new tab<\/span><\/p>\n\t\t\t<\/div>\n\t\t<\/div>\n\t<\/li>\n\t\t<li class=\"m-0\" data-wp-context='{\"id\":\"accordion-content-5850\"}' data-wp-init=\"callbacks.init\">\n\t\t<div class=\"accordion-header\">\n\t\t\t<button\n\t\t\t\taria-controls=\"accordion-content-5850\"\n\t\t\t\tclass=\"btn btn-collapse\"\n\t\t\t\tdata-wp-bind--aria-expanded=\"state.isExpanded\"\n\t\t\t\tdata-wp-on--click=\"actions.onClick\"\n\t\t\t\tid=\"accordion-button-5849\"\n\t\t\t\ttype=\"button\"\n\t\t\t>\n\t\t\t\tAntonio Criminisi | Principal Researcher, Microsoft Research\t\t\t<\/button>\n\t\t<\/div>\n\t\t<div\n\t\t\taria-labelledby=\"accordion-button-5849\"\n\t\t\tclass=\"msr-accordion__content\"\n\t\t\tdata-wp-bind--inert=\"!state.isExpanded\"\n\t\t\tdata-wp-run=\"callbacks.run\"\n\t\t\tid=\"accordion-content-5850\"\n\t\t>\n\t\t\t<div class=\"msr-accordion__body\">\n\t\t\t\t<p><strong><img loading=\"lazy\" decoding=\"async\" class=\"size-full wp-image-269010 alignright\" src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2015\/02\/antonio-criminisi90x90.jpg\" alt=\"antonio-criminisi90x90\" width=\"90\" height=\"90\" \/><\/strong><\/p>\n<h2>Machine Learning in Health Care<\/h2>\n<ul>\n<li><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/video\/machine-learning-in-health-care\/\">Watch the session<\/a> | <a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/02\/en-us-events-2015summerschool-acriminisi-machinelearninginhealthcare-phdss2015.pdf\">view the slides<\/a><\/li>\n<\/ul>\n<h3>Abstract<\/h3>\n<p>Analysis of medical images is essential in modern medicine. With the ever-increasing amount of patient data, new challenges and opportunities arise for different phases of the clinical routine, such as diagnosis, treatment, and monitoring.<\/p>\n<p>The InnerEye research project focuses on the automatic analysis of patients&#8217; medical scans. It uses state-of-the-art machine learning techniques for the:<\/p>\n<ul>\n<li>Automatic delineation and measurement of healthy anatomy and anomalies;<\/li>\n<li>Robust registration for monitoring disease progression;<\/li>\n<li>Semantic navigation and visualization for improved clinical workflow;<\/li>\n<li>Development of natural user interfaces for medical practitioners.<\/li>\n<\/ul>\n<h3>Biography<\/h3>\n<p>In June 2000, Antonio Criminisi joined Microsoft Research in Cambridge (Machine Learning and Perception group) as a visiting researcher. In February 2001, he moved to the Interactive Visual Media Group in Redmond (WA, United States) as a post-doctorate researcher. In October 2002, he moved back to the Machine Learning and Perception Group in Cambridge as a researcher. In September 2011, he became senior researcher and is now leading the Medical Image Analysis team.<\/p>\n<p>Antonio&#8217;s current research interests are in the area of medical image analysis, object category recognition, image and video analysis and editing, one-to-one teleconferencing, 3D reconstruction from single and multiple images with application to virtual reality, forensic science, and history of art.<\/p>\n<p>Antonio Criminisi was born in 1972 in Italy. In October 1990, he was appointed &#8220;Alfiere del Lavoro&#8221; by the Italian President F. Cossiga for his successful studies. In July 1996, he received a degree in Electronics Engineering at the University of Palermo and in December 1999, he obtained a PhD in Computer Vision at the University of Oxford. His thesis. <em>Accurate Visual Metrology from Single and Multiple Uncalibrated Images<\/em>, won the British Computer Society Distinguished Dissertation Award for the year 2000 and was published by Springer-Verlag London Ltd. in August 2001. Antonio was a Research Fellow at Clare Hall College, Cambridge from 2002 to 2005. Antonio has won a number of best paper prizes in top computer vision conferences.<\/p>\n<p><span id=\"label-external-link\" class=\"sr-only\" aria-hidden=\"true\">Opens in a new tab<\/span><\/p>\n\t\t\t<\/div>\n\t\t<\/div>\n\t<\/li>\n\t\t<li class=\"m-0\" data-wp-context='{\"id\":\"accordion-content-5852\"}' data-wp-init=\"callbacks.init\">\n\t\t<div class=\"accordion-header\">\n\t\t\t<button\n\t\t\t\taria-controls=\"accordion-content-5852\"\n\t\t\t\tclass=\"btn btn-collapse\"\n\t\t\t\tdata-wp-bind--aria-expanded=\"state.isExpanded\"\n\t\t\t\tdata-wp-on--click=\"actions.onClick\"\n\t\t\t\tid=\"accordion-button-5851\"\n\t\t\t\ttype=\"button\"\n\t\t\t>\n\t\t\t\tSue Duraikan | Duraikan Training\t\t\t<\/button>\n\t\t<\/div>\n\t\t<div\n\t\t\taria-labelledby=\"accordion-button-5851\"\n\t\t\tclass=\"msr-accordion__content\"\n\t\t\tdata-wp-bind--inert=\"!state.isExpanded\"\n\t\t\tdata-wp-run=\"callbacks.run\"\n\t\t\tid=\"accordion-content-5852\"\n\t\t>\n\t\t\t<div class=\"msr-accordion__body\">\n\t\t\t\t<p><strong><img loading=\"lazy\" decoding=\"async\" class=\"size-full wp-image-269046 alignright\" src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2015\/02\/sue-duraikan100x132.jpg\" alt=\"sue-duraikan100x132\" width=\"100\" height=\"132\" \/><\/strong><\/p>\n<h2>How to Present a Poster at an International Conference<\/h2>\n<h3>Abstract<\/h3>\n<p>Presenting a poster at an international conference is a terrific opportunity to promote your research and raise your professional profile in a global academic forum. However, it can be daunting to compete with other presenters to get the attention of a passing audience. As well as a clear and captivating poster, you need the ability to build rapport quickly and present your subject positively and succinctly.<\/p>\n<p>This can be especially challenging when English is the shared language but not everyone\u2019s mother tongue. Whether you are a native or a non-native English speaker, you will require flexibility and sensitivity to others in order to get your message across clearly.<\/p>\n<p>During the three poster sessions, Sue will be hovering in the room, watching and listening to your approach. She will then prepare to highlight on the final day the key thought-processes as well as the verbal and non-verbal skills you need to give a powerful poster presentation.<\/p>\n<p>Sue will also be available each day to provide confidential one-to-one feedback for any students who are interested.<\/p>\n<h3>Biography<\/h3>\n<p>Sue Duraikan runs Duraikan Training (www.duraikan-training.com), a consultancy which aims to help individuals and organisations develop. Duraikan Training provides support in designing and delivering learning strategies. We also run group workshops and one-to-one coaching on a wide range of professional skills. As a former teacher of French and German and with wide experience of working globally, Sue Duraikan has a particular interest in cross-cultural communication, and deep respect for those who operate daily in a second or third language.<\/p>\n<p><span id=\"label-external-link\" class=\"sr-only\" aria-hidden=\"true\">Opens in a new tab<\/span><\/p>\n\t\t\t<\/div>\n\t\t<\/div>\n\t<\/li>\n\t\t<li class=\"m-0\" data-wp-context='{\"id\":\"accordion-content-5854\"}' data-wp-init=\"callbacks.init\">\n\t\t<div class=\"accordion-header\">\n\t\t\t<button\n\t\t\t\taria-controls=\"accordion-content-5854\"\n\t\t\t\tclass=\"btn btn-collapse\"\n\t\t\t\tdata-wp-bind--aria-expanded=\"state.isExpanded\"\n\t\t\t\tdata-wp-on--click=\"actions.onClick\"\n\t\t\t\tid=\"accordion-button-5853\"\n\t\t\t\ttype=\"button\"\n\t\t\t>\n\t\t\t\tAndy Gordon | Principal Researcher, Microsoft Research\t\t\t<\/button>\n\t\t<\/div>\n\t\t<div\n\t\t\taria-labelledby=\"accordion-button-5853\"\n\t\t\tclass=\"msr-accordion__content\"\n\t\t\tdata-wp-bind--inert=\"!state.isExpanded\"\n\t\t\tdata-wp-run=\"callbacks.run\"\n\t\t\tid=\"accordion-content-5854\"\n\t\t>\n\t\t\t<div class=\"msr-accordion__body\">\n\t\t\t\t<p><strong><img loading=\"lazy\" decoding=\"async\" class=\"size-full wp-image-269007 alignright\" src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2015\/02\/andy-gordon100x132.jpg\" alt=\"andy-gordon100x132\" width=\"100\" height=\"132\" \/><\/strong><\/p>\n<h2>Strategic Thinking for Researchers<\/h2>\n<ul>\n<li><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/video\/strategic-thinking-for-researchers-3\/\">Watch the session<\/a><\/li>\n<\/ul>\n<h3>Abstract<\/h3>\n<p>From time to time at Microsoft Research, we set aside time to talk about strategic aspects of research, that is, the big picture of why we do research and how to have different sorts of impact, beyond the more immediate tasks of writing papers, giving talks, and transferring ideas. This talk will cover some of these strategies for having a happy and productive career as a researcher.<\/p>\n<h3>Biography<\/h3>\n<p>Andy Gordon is a principal researcher at Microsoft Research Cambridge, where he manages Programming Principles and Tools, and is a Professor at the University of Edinburgh. Andy wrote his PhD on input\/output in lazy functional programming, and is the proud inventor of Haskell&#8217;s &#8220;&gt;&gt;=&#8221; notation for monads. He&#8217;s worked on a range of topics in concurrency, verification, and security, never straying too far from his roots in functional programming. His current passion is a functional language to enable probabilistic inference from Excel.<\/p>\n<p><span id=\"label-external-link\" class=\"sr-only\" aria-hidden=\"true\">Opens in a new tab<\/span><\/p>\n\t\t\t<\/div>\n\t\t<\/div>\n\t<\/li>\n\t\t<li class=\"m-0\" data-wp-context='{\"id\":\"accordion-content-5856\"}' data-wp-init=\"callbacks.init\">\n\t\t<div class=\"accordion-header\">\n\t\t\t<button\n\t\t\t\taria-controls=\"accordion-content-5856\"\n\t\t\t\tclass=\"btn btn-collapse\"\n\t\t\t\tdata-wp-bind--aria-expanded=\"state.isExpanded\"\n\t\t\t\tdata-wp-on--click=\"actions.onClick\"\n\t\t\t\tid=\"accordion-button-5855\"\n\t\t\t\ttype=\"button\"\n\t\t\t>\n\t\t\t\tHermann Hauser | Co-Founder, Amadeus Capital Partners\t\t\t<\/button>\n\t\t<\/div>\n\t\t<div\n\t\t\taria-labelledby=\"accordion-button-5855\"\n\t\t\tclass=\"msr-accordion__content\"\n\t\t\tdata-wp-bind--inert=\"!state.isExpanded\"\n\t\t\tdata-wp-run=\"callbacks.run\"\n\t\t\tid=\"accordion-content-5856\"\n\t\t>\n\t\t\t<div class=\"msr-accordion__body\">\n\t\t\t\t<p><strong><img loading=\"lazy\" decoding=\"async\" class=\"alignright wp-image-269025 size-full\" src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2015\/02\/hermann-hauser100x132.jpg\" width=\"100\" height=\"132\" \/><\/strong><\/p>\n<h2>Technology Development<\/h2>\n<h3>Abstract<\/h3>\n<p>The Technology Development lecture starts with an overview of general purpose technologies, which changed the world economy 24 times. It then focuses on computing and how it developed its own characteristics and lead companies. The lecture then concentrates on machine learning and artificial intelligence as technologies which could transform not just our economy but every aspect of our future lives. These are man\u2019s most powerful-but also most unpredictable-technologies. Aspects of the speed with which this transformation could happen will be discussed together with the consequences it may have for employment and how likely it is that super intelligences will emerge and when.<\/p>\n<h3>Biography<\/h3>\n<p>In 2015, Hermann was awarded a KBE for services to Engineering and Industry.<\/p>\n<p>Serial entrepreneur and co-founder of Amadeus Capital Partners, Dr. Hermann Hauser CBE has wide experience in developing and financing companies in the information technology sector. He co-founded a number of high-tech companies including Acorn Computers which spun out ARM, E-trade UK, Virata and Cambridge Network. Subsequently, Hermann became vice president of research at Olivetti. During his tenure at Olivetti, he established a global network of research laboratories. Since leaving Olivetti, Hermann has founded over 20 technology companies. In 1997, he co-founded Amadeus Capital Partners. At Amadeus, he invested in CSR, Solexa, Icera, Xmos and Cambridge Broadband.<\/p>\n<p>Hermann is a Fellow of the Royal Society, the Institute of Physics and of the Royal Academy of Engineering and an Honorary Fellow of King&#8217;s College, Cambridge. In 2001, he was awarded an Honorary CBE for \u2018innovative service to the UK enterprise sector\u2019. In 2004, he was made a member of the Government\u2019s Council for Science and Technology and in 2013, he was made a Distinguished Fellow of BCS, the Chartered Institute for IT.<\/p>\n<p>Hermann has honorary doctorates from the Universities of Loughborough, Bath, Anglia Ruskin and The University of Strathclyde.<\/p>\n<p><span id=\"label-external-link\" class=\"sr-only\" aria-hidden=\"true\">Opens in a new tab<\/span><\/p>\n\t\t\t<\/div>\n\t\t<\/div>\n\t<\/li>\n\t\t<li class=\"m-0\" data-wp-context='{\"id\":\"accordion-content-5858\"}' data-wp-init=\"callbacks.init\">\n\t\t<div class=\"accordion-header\">\n\t\t\t<button\n\t\t\t\taria-controls=\"accordion-content-5858\"\n\t\t\t\tclass=\"btn btn-collapse\"\n\t\t\t\tdata-wp-bind--aria-expanded=\"state.isExpanded\"\n\t\t\t\tdata-wp-on--click=\"actions.onClick\"\n\t\t\t\tid=\"accordion-button-5857\"\n\t\t\t\ttype=\"button\"\n\t\t\t>\n\t\t\t\tTony Hoare | Consultant Principal Researcher, Microsoft Research\t\t\t<\/button>\n\t\t<\/div>\n\t\t<div\n\t\t\taria-labelledby=\"accordion-button-5857\"\n\t\t\tclass=\"msr-accordion__content\"\n\t\t\tdata-wp-bind--inert=\"!state.isExpanded\"\n\t\t\tdata-wp-run=\"callbacks.run\"\n\t\t\tid=\"accordion-content-5858\"\n\t\t>\n\t\t\t<div class=\"msr-accordion__body\">\n\t\t\t\t<p><strong><img loading=\"lazy\" decoding=\"async\" class=\"size-full wp-image-269055 alignright\" src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2015\/02\/tony-hoare100x132.jpg\" alt=\"tony-hoare100x132\" width=\"100\" height=\"132\" \/><\/strong><\/p>\n<h2>The Laws of Programming with Concurrency<\/h2>\n<ul>\n<li><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/video\/the-laws-of-programming-with-concurrency\/\">Watch the session<\/a><\/li>\n<\/ul>\n<h3>Abstract<\/h3>\n<p>Regular algebra provides a full set of simple laws for the programming of abstract state machines by regular expressions. They apply equally to sequential programs run on real computers. When extended by similar laws for interleaving of regular expressions, they apply also to programs for modern concurrent and distributed systems.<\/p>\n<p>Evidence for this claim is given by deriving from the algebra a concurrent extension of Hoare Logic (O\u2019Hearn\u2019s separation logic), and also an operational semantics for Milner\u2019s process calculus (CCS).<\/p>\n<h3>Biography<\/h3>\n<p>In 1956, I graduated from Oxford University with an MA in classics and philosophy. I was fascinated primarily by the philosophy of mathematics, and studied the logical foundations from books by Quine and Russell. In my first industrial job (1960) for a computer manufacture, I led a project implementing a classical programming language, ALGOL 60. The implementation was based on the novel context-free syntactic definition of this language. In my first academic employment, I resolved to provide a logical foundation for the semantics of a programming language as well.<\/p>\n<p>Other semantic definitions have been strongly promoted and widely used-for example, denotational, algebraic, and operational. These were often regarded as rival approaches. In my recent research at Microsoft, I have discovered that all four foundations are complementary presentations of essentially the same theory. In my first academic employment at the Queen\u2019s University, Belfast, I resolved to provide a logical foundation for the semantics of a programming language as well. This was later called Hoare Logic, and gave a method of assuring correctness of programs.<\/p>\n<p><span id=\"label-external-link\" class=\"sr-only\" aria-hidden=\"true\">Opens in a new tab<\/span><\/p>\n\t\t\t<\/div>\n\t\t<\/div>\n\t<\/li>\n\t\t<li class=\"m-0\" data-wp-context='{\"id\":\"accordion-content-5860\"}' data-wp-init=\"callbacks.init\">\n\t\t<div class=\"accordion-header\">\n\t\t\t<button\n\t\t\t\taria-controls=\"accordion-content-5860\"\n\t\t\t\tclass=\"btn btn-collapse\"\n\t\t\t\tdata-wp-bind--aria-expanded=\"state.isExpanded\"\n\t\t\t\tdata-wp-on--click=\"actions.onClick\"\n\t\t\t\tid=\"accordion-button-5859\"\n\t\t\t\ttype=\"button\"\n\t\t\t>\n\t\t\t\tThomas Karagiannis | Researcher, Microsoft Research\t\t\t<\/button>\n\t\t<\/div>\n\t\t<div\n\t\t\taria-labelledby=\"accordion-button-5859\"\n\t\t\tclass=\"msr-accordion__content\"\n\t\t\tdata-wp-bind--inert=\"!state.isExpanded\"\n\t\t\tdata-wp-run=\"callbacks.run\"\n\t\t\tid=\"accordion-content-5860\"\n\t\t>\n\t\t\t<div class=\"msr-accordion__body\">\n\t\t\t\t<p><strong><img loading=\"lazy\" decoding=\"async\" class=\"size-full wp-image-269052 alignright\" src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2015\/02\/thomas-karagiannis100x132.png\" alt=\"thomas-karagiannis100x132\" width=\"100\" height=\"132\" \/><\/strong><\/p>\n<h2>Predictable Data Centers<\/h2>\n<ul>\n<li><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/video\/predictable-data-centers-3\/\">Watch the session<\/a><\/li>\n<\/ul>\n<h3>Abstract<\/h3>\n<p>Performance predictability is a key requirement for high-performant applications in today&#8217;s multi-tenant massive-scale data centers hosting hundreds of thousands of servers. Online services like search or social networks running in infrastructure data centers need such predictability to satisfy application Service Level Agreements (SLAs); for example, online search queries need to be responded within a few hundred milliseconds. Cloud data centers require guaranteed performance to bound customer costs and spur adoption. However, several components of today\u2019s datacenters are at odds with such high-level application SLAs.<\/p>\n<p>The Predictable Data Centers (PDC) project tackles the issue of unpredictable application performance in data centers. A key contributor to such unpredictability is shared resources like network and storage. The bandwidth across the cloud network and to the cloud storage service can vary significantly. In this talk, I will discuss how we can design a predictable data center architecture that offers performance SLAs across shared resources<\/p>\n<h3>Biography<\/h3>\n<p>Thomas Karagiannis is a researcher in the Systems and Networking group at Microsoft Research Cambridge, UK since 2006. Prior to joining Microsoft Research, Thomas has been with Intel Research Cambridge and the Cooperative Association for Internet Data Analysis (CAIDA). Thomas\u2019s work focuses on improving the performance and predictability of various types of computer networks, such as home or datacenter networks. Thomas received his Ph.D. degree in Computer Science from the University of California, Riverside and B.S at the Applied Informatics department of the University of Macedonia, in Thessaloniki, Greece. Besides datacenter networks, his research interests also include Internet measurements and monitoring, and social networks.<\/p>\n<p><span id=\"label-external-link\" class=\"sr-only\" aria-hidden=\"true\">Opens in a new tab<\/span><\/p>\n\t\t\t<\/div>\n\t\t<\/div>\n\t<\/li>\n\t\t<li class=\"m-0\" data-wp-context='{\"id\":\"accordion-content-5862\"}' data-wp-init=\"callbacks.init\">\n\t\t<div class=\"accordion-header\">\n\t\t\t<button\n\t\t\t\taria-controls=\"accordion-content-5862\"\n\t\t\t\tclass=\"btn btn-collapse\"\n\t\t\t\tdata-wp-bind--aria-expanded=\"state.isExpanded\"\n\t\t\t\tdata-wp-on--click=\"actions.onClick\"\n\t\t\t\tid=\"accordion-button-5861\"\n\t\t\t\ttype=\"button\"\n\t\t\t>\n\t\t\t\tMarta Kwiatkowska | Professor of Computing Systems, Fellow, Trinity College, University of Oxford\t\t\t<\/button>\n\t\t<\/div>\n\t\t<div\n\t\t\taria-labelledby=\"accordion-button-5861\"\n\t\t\tclass=\"msr-accordion__content\"\n\t\t\tdata-wp-bind--inert=\"!state.isExpanded\"\n\t\t\tdata-wp-run=\"callbacks.run\"\n\t\t\tid=\"accordion-content-5862\"\n\t\t>\n\t\t\t<div class=\"msr-accordion__body\">\n\t\t\t\t<h2><strong><img loading=\"lazy\" decoding=\"async\" class=\"size-full wp-image-269028 alignright\" src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2015\/02\/marta-kwiatkowska100x132.jpg\" alt=\"marta-kwiatkowska100x132\" width=\"100\" height=\"132\" \/><\/strong>Keynote Session: Computing Reliably with Molecular Walkers<\/h2>\n<ul>\n<li><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/video\/computing-reliably-with-molecular-walkers\/\">Watch the session<\/a><\/li>\n<\/ul>\n<h3>Abstract<\/h3>\n<p>DNA computing is emerging as a versatile technology that promises a vast range of applications, including biosensing, drug delivery and synthetic biology. DNA logic circuits can be achieved in solution using strand displacement reactions, or by decision-making molecular robots-so called &#8216;walkers&#8217;-that traverse tracks placed on DNA &#8216;origami&#8217; tiles.<\/p>\n<p>Similarly to conventional silicon technologies, ensuring fault-free DNA circuit designs is challenging, with the difficulty compounded by the inherent unreliability of the DNA technology and lack of scientific understanding. This lecture will give an overview of computational models that capture DNA walker computation and demonstrate the role of quantitative verification and synthesis in ensuring the reliability of such systems. Future research challenges will also be discussed.<\/p>\n<h3>Biography<\/h3>\n<p>Marta Kwiatkowska is Professor of Computing Systems and Fellow of Trinity College, University of Oxford. She holds a BSc\/MSc in Computer Science from the Jagiellonian University, MA from Oxford and a PhD from the University of Leicester. In 2014 she was awarded an honorary doctorate from KTH Royal Institute of Technology in Stockholm.<\/p>\n<p>Marta Kwiatkowska spearheaded the development of probabilistic and quantitative methods in verification on the international scene. She led the development of the PRISM model checker (<a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" target=\"_blank\" href=\"http:\/\/www.prismmodelchecker.org\/\">www.prismmodelchecker.org<\/a>), the leading software tool in the area and widely used for research and teaching. Applications of probabilistic model checking have spanned communication and security protocols, nanotechnology designs, power management, game theory, planning and systems biology, with genuine flaws found and corrected in real-world protocols. Kwiatkowska gave the Milner Lecture in 2012 in recognition of &#8220;excellent and original theoretical work which has a perceived significance for practical computing&#8221; and was invited to give keynotes at the LICS 2003, ESEC\/FSE 2007, ETAPS\/FASE 2011 and ATVA 2013 conferences. Marta Kwiatkowska is a member of Academia Europea and Fellow of the BCS. Kwiatkowska&#8217;s research has been supported by grant funding from EPSRC, ERC, EU, DARPA and Microsoft Research Cambridge, including the prestigious ERC Advanced Grant VERIWARE &#8220;From software verification to everyware verification&#8221; and \u00a35m EPSRC programme grant on Mobile Robotics.<\/p>\n<p><span id=\"label-external-link\" class=\"sr-only\" aria-hidden=\"true\">Opens in a new tab<\/span><\/p>\n\t\t\t<\/div>\n\t\t<\/div>\n\t<\/li>\n\t\t<li class=\"m-0\" data-wp-context='{\"id\":\"accordion-content-5864\"}' data-wp-init=\"callbacks.init\">\n\t\t<div class=\"accordion-header\">\n\t\t\t<button\n\t\t\t\taria-controls=\"accordion-content-5864\"\n\t\t\t\tclass=\"btn btn-collapse\"\n\t\t\t\tdata-wp-bind--aria-expanded=\"state.isExpanded\"\n\t\t\t\tdata-wp-on--click=\"actions.onClick\"\n\t\t\t\tid=\"accordion-button-5863\"\n\t\t\t\ttype=\"button\"\n\t\t\t>\n\t\t\t\tNatasa Milic-Frayling | Principal Researcher, Microsoft Research\t\t\t<\/button>\n\t\t<\/div>\n\t\t<div\n\t\t\taria-labelledby=\"accordion-button-5863\"\n\t\t\tclass=\"msr-accordion__content\"\n\t\t\tdata-wp-bind--inert=\"!state.isExpanded\"\n\t\t\tdata-wp-run=\"callbacks.run\"\n\t\t\tid=\"accordion-content-5864\"\n\t\t>\n\t\t\t<div class=\"msr-accordion__body\">\n\t\t\t\t<p><strong><img loading=\"lazy\" decoding=\"async\" class=\"size-full wp-image-269034 alignright\" src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2015\/02\/milic-frayling.jpg\" alt=\"milic-frayling\" width=\"100\" height=\"132\" \/><\/strong><\/p>\n<h2>Technology &amp; Economics: Real-Time Ad Bidding and Personal Surveillance<\/h2>\n<ul>\n<li><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/video\/technology-economics-real-time-ad-bidding-and-personal-surveillance\/\">Watch the session<\/a><\/li>\n<\/ul>\n<h3>Abstract<\/h3>\n<p>Internet advertisers reach millions of customers through practices that involve real time tracking of users\u2019 online activities. The tracking is commonly conducted through browser cookies by third-party services that facilitate marketing campaigns and gather service analytics. By installing cookies on users\u2019 computers, they track the users as they navigate from one site to another. Other trackers exploit shortcomings in the cache access control and apply cookie-less profiling.<\/p>\n<p>At the same time, user applications, such as commonly used Internet browsers, reveal little or no information about the information flow between the devices and services. That leaves the consumers with no insight about the breadth of the digital footprints they leave while interacting with services and no understanding of how that data is exploited.<\/p>\n<p>We outline a research agenda that investigates several aspects of this problem. That involves (1) characterizing the tracking ecosystem and the value exchange within it, (2) understanding of the users\u2019 attitudes, behaviour, and awareness of the tracking practices, and (3) analysing the protocols and application design that contribute to the problem. We discuss the findings of several studies that investigate these issues. While they motivate us to think of alternatives to the privacy invading practices, they also urge deeper questions about the principles of design and comprehensibility of computing systems.<\/p>\n<h3>Biography<\/h3>\n<p>As a principal researcher at Microsoft Research in Cambridge, Natasa is working on the design, prototyping and evaluation of information and communication systems. She is passionate about innovation in personal and social computing and promotes a dialogue between IT industry, consumers, and policy makers on the issues that arise from the adoption and use of technology. Her current focus is on digital obsolescence, automation of user tasks across devices and services, and privacy respecting systems and applications. Natasa is actively involved with a wider community of academics and practitioners through public speaking, collaborative projects, and serving on advisory boards of academic programs and commercial enterprises. She is a visiting professor at the UCL and QMUL and a member of the ACM EU Council. She serves on the advisory boards for the Course in Entrepreneurship University of Cambridge and for the Turing Gateway in Mathematics at Isaac Newton Institute for Mathematical Sciences (INI).<\/p>\n<p><span id=\"label-external-link\" class=\"sr-only\" aria-hidden=\"true\">Opens in a new tab<\/span><\/p>\n\t\t\t<\/div>\n\t\t<\/div>\n\t<\/li>\n\t\t<li class=\"m-0\" data-wp-context='{\"id\":\"accordion-content-5866\"}' data-wp-init=\"callbacks.init\">\n\t\t<div class=\"accordion-header\">\n\t\t\t<button\n\t\t\t\taria-controls=\"accordion-content-5866\"\n\t\t\t\tclass=\"btn btn-collapse\"\n\t\t\t\tdata-wp-bind--aria-expanded=\"state.isExpanded\"\n\t\t\t\tdata-wp-on--click=\"actions.onClick\"\n\t\t\t\tid=\"accordion-button-5865\"\n\t\t\t\ttype=\"button\"\n\t\t\t>\n\t\t\t\tSimon Peyton Jones | Principal Researcher, Microsoft Research\t\t\t<\/button>\n\t\t<\/div>\n\t\t<div\n\t\t\taria-labelledby=\"accordion-button-5865\"\n\t\t\tclass=\"msr-accordion__content\"\n\t\t\tdata-wp-bind--inert=\"!state.isExpanded\"\n\t\t\tdata-wp-run=\"callbacks.run\"\n\t\t\tid=\"accordion-content-5866\"\n\t\t>\n\t\t\t<div class=\"msr-accordion__body\">\n\t\t\t\t<h2>How to\u00a0Write a Great Research\u00a0Paper and How to Give a Great Research Talk<strong><img loading=\"lazy\" decoding=\"async\" class=\"size-full wp-image-269043 alignright\" src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2015\/02\/simonpj.jpg\" alt=\"simonpj\" width=\"100\" height=\"132\" \/><\/strong><\/h2>\n<ul>\n<li><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2015\/02\/simon-peyton-jones_paper.pdf\">How to Write a Great Research Paper<\/a> | <a href=\"https:\/\/www.microsoft.com\/en-us\/research\/video\/how-to-write-a-great-research-paper-4\/\">Watch this Session<\/a><\/li>\n<li><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2015\/02\/simon-peyton-jones_talk.pdf\">How to Give a Great Research Talk<\/a> | <a href=\"https:\/\/www.microsoft.com\/en-us\/research\/video\/how-to-give-a-great-research-talk-4\/\">Watch this Session<\/a><\/li>\n<\/ul>\n<h3>Abstract<\/h3>\n<p>Writing papers and giving talks are key skills for any researcher, but they aren\u2019t easy. In this pair of presentations, I\u2019ll describe simple guidelines that I follow for writing papers and giving talks, which I think may be useful to you too. I don\u2019t have all the answers-far from it-and I hope that the presentation will evolve into a discussion in which you share your own insights, rather than a lecture.<\/p>\n<h3>Biography<\/h3>\n<p>Simon Peyton Jones, MA, MBCS, CEng, graduated from Trinity College Cambridge in 1980. After two years in industry, he spent seven years as a lecturer at University College London, and nine years as a professor at Glasgow University, before moving to Microsoft Research in 1998. His main research interest is in functional programming languages, their implementation, and their application. He has led a succession of research projects focused around the design and implementation of production-quality functional-language systems for both uniprocessors and parallel machines. He was a key contributor to the design of the now-standard functional language Haskell, and is the lead designer of the widely used Glasgow Haskell Compiler (GHC). He has written two textbooks about the implementation of functional languages. More generally, he is interested in language design, rich type systems, software component architectures, compiler technology, code generation, runtime systems, virtual machines, garbage collection, and more. He is particularly motivated by direct use of principled theory to practical language design and implementation-that\u2019s one reason he loves functional programming so much. He is also keen to apply ideas from advanced programming languages to mainstream settings.<\/p>\n<p><span id=\"label-external-link\" class=\"sr-only\" aria-hidden=\"true\">Opens in a new tab<\/span><\/p>\n\t\t\t<\/div>\n\t\t<\/div>\n\t<\/li>\n\t\t<li class=\"m-0\" data-wp-context='{\"id\":\"accordion-content-5868\"}' data-wp-init=\"callbacks.init\">\n\t\t<div class=\"accordion-header\">\n\t\t\t<button\n\t\t\t\taria-controls=\"accordion-content-5868\"\n\t\t\t\tclass=\"btn btn-collapse\"\n\t\t\t\tdata-wp-bind--aria-expanded=\"state.isExpanded\"\n\t\t\t\tdata-wp-on--click=\"actions.onClick\"\n\t\t\t\tid=\"accordion-button-5867\"\n\t\t\t\ttype=\"button\"\n\t\t\t>\n\t\t\t\tScarlet Schwiderski-Grosche &lt;strong&gt;|&lt;\/strong&gt; Senior Research Program Manager, Microsoft Research\t\t\t<\/button>\n\t\t<\/div>\n\t\t<div\n\t\t\taria-labelledby=\"accordion-button-5867\"\n\t\t\tclass=\"msr-accordion__content\"\n\t\t\tdata-wp-bind--inert=\"!state.isExpanded\"\n\t\t\tdata-wp-run=\"callbacks.run\"\n\t\t\tid=\"accordion-content-5868\"\n\t\t>\n\t\t\t<div class=\"msr-accordion__body\">\n\t\t\t\t<h2><strong><img loading=\"lazy\" decoding=\"async\" class=\"size-full wp-image-269058 alignright\" src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2015\/02\/scarletschwiderski-grosche100x132.jpg\" alt=\"scarletschwiderski-grosche100x132\" width=\"100\" height=\"132\" \/><\/strong>Summer School Chair; Welcome to PhD Summer School 2015<\/h2>\n<p>Scarlet Schwiderski-Grosche is a Senior Research Program Manager at Microsoft Research Cambridge, working for Microsoft Research Outreach in the Europe, Middle East, and Africa (EMEA) region. She is responsible for academic research partnerships in the region, especially for the Joint Research Centres with Inria in France and EPFL and ETH Zurich in Switzerland. Scarlet has a PhD in Computer Science from University of Cambridge. She was in academia for almost 10 years before joining Microsoft in March 2009. In academia, she worked as Lecturer in Information Security at Royal Holloway, University of London.<\/p>\n<p><span id=\"label-external-link\" class=\"sr-only\" aria-hidden=\"true\">Opens in a new tab<\/span><\/p>\n\t\t\t<\/div>\n\t\t<\/div>\n\t<\/li>\n\t\t<li class=\"m-0\" data-wp-context='{\"id\":\"accordion-content-5870\"}' data-wp-init=\"callbacks.init\">\n\t\t<div class=\"accordion-header\">\n\t\t\t<button\n\t\t\t\taria-controls=\"accordion-content-5870\"\n\t\t\t\tclass=\"btn btn-collapse\"\n\t\t\t\tdata-wp-bind--aria-expanded=\"state.isExpanded\"\n\t\t\t\tdata-wp-on--click=\"actions.onClick\"\n\t\t\t\tid=\"accordion-button-5869\"\n\t\t\t\ttype=\"button\"\n\t\t\t>\n\t\t\t\tBernhard Sch\u00f6lkopf | Max Planck Institute for Intelligent Systems\t\t\t<\/button>\n\t\t<\/div>\n\t\t<div\n\t\t\taria-labelledby=\"accordion-button-5869\"\n\t\t\tclass=\"msr-accordion__content\"\n\t\t\tdata-wp-bind--inert=\"!state.isExpanded\"\n\t\t\tdata-wp-run=\"callbacks.run\"\n\t\t\tid=\"accordion-content-5870\"\n\t\t>\n\t\t\t<div class=\"msr-accordion__body\">\n\t\t\t\t<p><strong><img loading=\"lazy\" decoding=\"async\" class=\"size-full wp-image-269013 alignright\" src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2015\/02\/bernhard-scholkopf.jpg\" alt=\"bernhard-scholkopf\" width=\"100\" height=\"132\" \/><\/strong><\/p>\n<h2>Empirical Inference for Intelligent Systems<\/h2>\n<ul>\n<li><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/video\/empirical-inference-for-intelligent-systems\/\">Watch the session<\/a><\/li>\n<\/ul>\n<h3>Abstract<\/h3>\n<p>Empirical Inference is the process of drawing conclusions from observational data. For instance, the data can be measurements from an experiment, which are used by a researcher to infer a scientific law. Another kind of empirical inference is performed by living beings, continuously recording data from their environment and carrying out appropriate actions. Do these problems have anything in common, and are there underlying principles governing the extraction of regularities from data? What characterizes hard inference problems, and how can we solve them?<\/p>\n<p>The talk will describe some of the main ideas and problems of machine learning. It will provide illustrative examples of real-world machine learning applications. Time permitting, it will touch upon recent developments in estimating causal structures, and\/or probabilistic programming.<\/p>\n<h3>Biography<\/h3>\n<p>Bernhard Sch\u00f6lkopf&#8217;s scientific interests are in machine learning and inference. In particular, he studies kernel methods for extracting regularities from possibly high-dimensional data. These regularities are usually statistical ones, however, in recent years he also got interested in methods for finding causal structures that underlie statistical dependences. He has worked on a number of different applications of machine learning, with a recent focus on photography and astronomy. Bernhard has researched at AT&amp;T Bell Labs; at GMD FIRST, Berlin; and at Microsoft Research Cambridge, UK, before becoming a Max Planck director in 2001. He received the J.K. Aggarwal Prize of the International Association for Pattern Recognition, the Max Planck Research Award, the Academy Prize of the Berlin-Brandenburg Academy of Sciences and Humanities, and the Royal Society Milner Award.<\/p>\n<p><span id=\"label-external-link\" class=\"sr-only\" aria-hidden=\"true\">Opens in a new tab<\/span><\/p>\n\t\t\t<\/div>\n\t\t<\/div>\n\t<\/li>\n\t\t<li class=\"m-0\" data-wp-context='{\"id\":\"accordion-content-5872\"}' data-wp-init=\"callbacks.init\">\n\t\t<div class=\"accordion-header\">\n\t\t\t<button\n\t\t\t\taria-controls=\"accordion-content-5872\"\n\t\t\t\tclass=\"btn btn-collapse\"\n\t\t\t\tdata-wp-bind--aria-expanded=\"state.isExpanded\"\n\t\t\t\tdata-wp-on--click=\"actions.onClick\"\n\t\t\t\tid=\"accordion-button-5871\"\n\t\t\t\ttype=\"button\"\n\t\t\t>\n\t\t\t\tAbigail Sellen | Principal Researcher, Microsoft Research\t\t\t<\/button>\n\t\t<\/div>\n\t\t<div\n\t\t\taria-labelledby=\"accordion-button-5871\"\n\t\t\tclass=\"msr-accordion__content\"\n\t\t\tdata-wp-bind--inert=\"!state.isExpanded\"\n\t\t\tdata-wp-run=\"callbacks.run\"\n\t\t\tid=\"accordion-content-5872\"\n\t\t>\n\t\t\t<div class=\"msr-accordion__body\">\n\t\t\t\t<p><strong><img loading=\"lazy\" decoding=\"async\" class=\"wp-image-269004 size-full alignright\" src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2015\/02\/abigail-sellen100x132.jpg\" width=\"100\" height=\"132\" \/><\/strong><\/p>\n<h2>Designing Computer Systems That See<\/h2>\n<h3>Abstract<\/h3>\n<p>The last decade has witnessed rapid advancements in computer vision systems, not just in the world of gaming, but in many aspects of everyday life, from medical systems to augmented reality. Computer systems that &#8220;see\u201d enable new forms of input, can track and identify people, can capture and model the physical world around us, and can be combined with other system capabilities such as conversational agents. But the challenge in developing these systems is much more than technical. In this talk, I explore the process of designing computer vision applications from a human perspective, and through our own attempts to build them for a variety of real world settings. In doing so, I propose that such systems need to make their users aware of the differences between how computer systems and how people sense, perceive, analyse and respond to the world. This has implications beyond computer vision to more general notions of \u201csmart\u201d systems in an era where artificial intelligence has again taken hold of our collective imagination.<\/p>\n<h3>Biography<\/h3>\n<p>Abigail Sellen is a principal researcher at Microsoft Research Cambridge where she manages the Human Experience &amp; Design Group. Prior to Microsoft, she worked at Hewlett-Packard Labs, Rank Xerox EuroPARC, Apple Computer, and Bell Northern Research. Abigail first became interested in human-computer interaction through a summer internship at Apple while working on her doctorate in cognitive science with Don Norman. She has since published extensively on many diverse topics, including the book <em>The Myth of the Paperless Office<\/em> (with co-author Richard Harper). Alongside honorary professorships at University College London and the University of Nottingham, she is also a Fellow of the Royal Academy of Engineering, Fellow of the British Computer Society, and a member of the ACM SIGCHI Academy.<\/p>\n<p><span id=\"label-external-link\" class=\"sr-only\" aria-hidden=\"true\">Opens in a new tab<\/span><\/p>\n\t\t\t<\/div>\n\t\t<\/div>\n\t<\/li>\n\t\t<li class=\"m-0\" data-wp-context='{\"id\":\"accordion-content-5874\"}' data-wp-init=\"callbacks.init\">\n\t\t<div class=\"accordion-header\">\n\t\t\t<button\n\t\t\t\taria-controls=\"accordion-content-5874\"\n\t\t\t\tclass=\"btn btn-collapse\"\n\t\t\t\tdata-wp-bind--aria-expanded=\"state.isExpanded\"\n\t\t\t\tdata-wp-on--click=\"actions.onClick\"\n\t\t\t\tid=\"accordion-button-5873\"\n\t\t\t\ttype=\"button\"\n\t\t\t>\n\t\t\t\tMatthew Smith | Scientist, Microsoft Research\t\t\t<\/button>\n\t\t<\/div>\n\t\t<div\n\t\t\taria-labelledby=\"accordion-button-5873\"\n\t\t\tclass=\"msr-accordion__content\"\n\t\t\tdata-wp-bind--inert=\"!state.isExpanded\"\n\t\t\tdata-wp-run=\"callbacks.run\"\n\t\t\tid=\"accordion-content-5874\"\n\t\t>\n\t\t\t<div class=\"msr-accordion__body\">\n\t\t\t\t<p><strong><img loading=\"lazy\" decoding=\"async\" class=\"size-full wp-image-269031 alignright\" src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2015\/02\/matthew-smith100x132.png\" alt=\"matthew-smith100x132\" width=\"100\" height=\"132\" \/><\/strong><\/p>\n<h2>Joined up Planetary Information, in the Cloud and on Devices<\/h2>\n<ul>\n<li><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/02\/en-us-events-2015summerschool-msmith-phdsummerschool2015.pdf\">View the slides<\/a><\/li>\n<\/ul>\n<h3>Abstract<\/h3>\n<p>In scientific research and development, emphasis is placed on research over development. A significant cost is that the two-way interaction between scientific insights and societal needs does not function effectively to lead to impacts in the wider world. We simply must embrace new software and hardware approaches if we are to provide timely predictive information to address global problems, support businesses and inform governments and citizens. The Microsoft Research Computational Science Lab has been pioneering research into software and methodologies to provide useful and usable new environmental information. Our approach has been very joined-up: from accelerating data acquisition from the field with remote sensor technology, targeted data collection and citizen science, to enabling process based modelling-using multiple heterogeneous data-sets in the cloud and enabling the resulting planetary information to be accessed from any device. This talk will demonstrate some of the specific research and development we are doing to accelerate the pace in which important science has impact on the wider world and will emphasise the important insights gained from advancing the research and development together.<\/p>\n<h3>Biography<\/h3>\n<p>Always fascinated by patterns in nature, Matthew undertook an ecology undergraduate degree at his local university (Aberdeen) that culminated in his first serious modelling: evolving virtual plants in virtual worlds to understand what determines their form and function. That work took him on to very practical work with the Royal Botanic Gardens Kew where he was a conservation projects officer for several years, conducting research in his free time before finally he cracked and decided he should know what it is he\u2019s talking about. That led to a PhD in mathematics at Heriot-Watt University in Edinburgh, where he acquired more traditional mathematical modelling skills. Since then, he has worked exclusively for Microsoft Research where he thrives on combining scientific understanding of how natural systems work with real world evidence to try to build defensible forecast systems of biological phenomena: diseases, vegetation dynamics, crops, riots, plankton. He is now driven by a realisation that it is possible to generate genuinely valuable forecasts of a lot more than just weather!<\/p>\n<p><span id=\"label-external-link\" class=\"sr-only\" aria-hidden=\"true\">Opens in a new tab<\/span><\/p>\n\t\t\t<\/div>\n\t\t<\/div>\n\t<\/li>\n\t\t<li class=\"m-0\" data-wp-context='{\"id\":\"accordion-content-5876\"}' data-wp-init=\"callbacks.init\">\n\t\t<div class=\"accordion-header\">\n\t\t\t<button\n\t\t\t\taria-controls=\"accordion-content-5876\"\n\t\t\t\tclass=\"btn btn-collapse\"\n\t\t\t\tdata-wp-bind--aria-expanded=\"state.isExpanded\"\n\t\t\t\tdata-wp-on--click=\"actions.onClick\"\n\t\t\t\tid=\"accordion-button-5875\"\n\t\t\t\ttype=\"button\"\n\t\t\t>\n\t\t\t\tKenji Takeda | Solutions Architect, Microsoft Research\t\t\t<\/button>\n\t\t<\/div>\n\t\t<div\n\t\t\taria-labelledby=\"accordion-button-5875\"\n\t\t\tclass=\"msr-accordion__content\"\n\t\t\tdata-wp-bind--inert=\"!state.isExpanded\"\n\t\t\tdata-wp-run=\"callbacks.run\"\n\t\t\tid=\"accordion-content-5876\"\n\t\t>\n\t\t\t<div class=\"msr-accordion__body\">\n\t\t\t\t<p><strong><img loading=\"lazy\" decoding=\"async\" class=\"size-full wp-image-269049 alignright\" src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2015\/02\/takeda.jpg\" alt=\"takeda\" width=\"100\" height=\"132\" \/><\/strong><\/p>\n<h2>Microsoft Azure Tutorial<\/h2>\n<h3>Biography<\/h3>\n<p>Dr. Kenji Takeda is Solutions Architect and Technical Manager for the Microsoft Research Outreach EMEA team. He has extensive experience in Cloud Computing, High Performance and High Productivity Computing, Data-intensive Science, Scientific Workflows, Scholarly Communication, Engineering and Educational Outreach. He has a passion for developing novel computational approaches to tackle fundamental and applied problems in science and engineering. He was previously Co-Director of the Microsoft Institute for High Performance Computing, and Senior Lecturer in Aeronautics, at the University of Southampton, UK. There he worked with leading high value manufacturing companies such as Airbus, AgustaWestland, BAE Systems, Rolls-Royce and Formula One teams, to develop state-of-the-art capability for improving science and engineering processes. He also worked in the areas of aerodynamics, aeroacoustics and flight simulation.<\/p>\n<p><span id=\"label-external-link\" class=\"sr-only\" aria-hidden=\"true\">Opens in a new tab<\/span><\/p>\n\t\t\t<\/div>\n\t\t<\/div>\n\t<\/li>\n\t\t<li class=\"m-0\" data-wp-context='{\"id\":\"accordion-content-5878\"}' data-wp-init=\"callbacks.init\">\n\t\t<div class=\"accordion-header\">\n\t\t\t<button\n\t\t\t\taria-controls=\"accordion-content-5878\"\n\t\t\t\tclass=\"btn btn-collapse\"\n\t\t\t\tdata-wp-bind--aria-expanded=\"state.isExpanded\"\n\t\t\t\tdata-wp-on--click=\"actions.onClick\"\n\t\t\t\tid=\"accordion-button-5877\"\n\t\t\t\ttype=\"button\"\n\t\t\t>\n\t\t\t\tNikolai Tillmann | Principal Software Engineering Manager, Microsoft\t\t\t<\/button>\n\t\t<\/div>\n\t\t<div\n\t\t\taria-labelledby=\"accordion-button-5877\"\n\t\t\tclass=\"msr-accordion__content\"\n\t\t\tdata-wp-bind--inert=\"!state.isExpanded\"\n\t\t\tdata-wp-run=\"callbacks.run\"\n\t\t\tid=\"accordion-content-5878\"\n\t\t>\n\t\t\t<div class=\"msr-accordion__body\">\n\t\t\t\t<p><strong><img loading=\"lazy\" decoding=\"async\" class=\"size-full wp-image-269037 alignright\" src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2015\/02\/nikolai-tillmann100x132.jpg\" alt=\"nikolai-tillmann100x132\" width=\"100\" height=\"132\" \/><\/strong><\/p>\n<h2>Code Hunt<\/h2>\n<h3>Abstract<\/h3>\n<p>Code Hunt is a serious game where the player writes code (Java or C#) to satisfy a mysterious oracle in the cloud. The game play advances through a series of increasingly difficult levels. In each level, the player has to discover the goal by studying a stream of test cases that show behavioral differences between the player\u2019s code and the secret algorithm which the oracle in the cloud desires. The cloud-based game engine is powered by Microsoft Research\u2019s Pex system, an automated test generation tool for .NET based on dynamic symbolic execution and the Z3 solver; Pex is now shipping as \u201cIntelliTest\u201d in Visual Studio 2015. Try the game for yourself at <a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" target=\"_blank\" href=\"http:\/\/www.codehunt.com\/\">http:\/\/www.codehunt.com<\/a>.<\/p>\n<h3>Biography<\/h3>\n<p>Nikolai Tillmann is a principal software engineering manager at Microsoft, Redmond. He currently leads an effort to transform Microsoft\u2019s core build system to achieve unprecedented reliability, scalability and maintainability. He is the architect of Visual Studio 2015\u2019s IntelliTest (\u201cPex\u201d) feature, enabling automatic test case generation for .NET applications via dynamic symbolic execution. Try out Pex on the web at <a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" target=\"_blank\" href=\"http:\/\/www.pexforfun.com\/\">www.pexforfun.com<\/a>, or play a coding game based on the Pex engine at <a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" target=\"_blank\" href=\"http:\/\/www.codehunt.com\/\">www.codehunt.com<\/a>. At Microsoft Research, Nikolai also started <a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" target=\"_blank\" href=\"http:\/\/www.touchdevelop.com\/\">TouchDevelop<\/a>, a cross-platform development environment that enables end-users to write programs for mobile devices on mobile devices; try it for yourself at <a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" target=\"_blank\" href=\"http:\/\/www.touchdevelop.com\/\">www.touchdevelop.com<\/a>.<\/p>\n<p><span id=\"label-external-link\" class=\"sr-only\" aria-hidden=\"true\">Opens in a new tab<\/span><\/p>\n\t\t\t<\/div>\n\t\t<\/div>\n\t<\/li>\n\t\t<li class=\"m-0\" data-wp-context='{\"id\":\"accordion-content-5880\"}' data-wp-init=\"callbacks.init\">\n\t\t<div class=\"accordion-header\">\n\t\t\t<button\n\t\t\t\taria-controls=\"accordion-content-5880\"\n\t\t\t\tclass=\"btn btn-collapse\"\n\t\t\t\tdata-wp-bind--aria-expanded=\"state.isExpanded\"\n\t\t\t\tdata-wp-on--click=\"actions.onClick\"\n\t\t\t\tid=\"accordion-button-5879\"\n\t\t\t\ttype=\"button\"\n\t\t\t>\n\t\t\t\tChristoph Wintersteiger | Researcher, Microsoft Research\t\t\t<\/button>\n\t\t<\/div>\n\t\t<div\n\t\t\taria-labelledby=\"accordion-button-5879\"\n\t\t\tclass=\"msr-accordion__content\"\n\t\t\tdata-wp-bind--inert=\"!state.isExpanded\"\n\t\t\tdata-wp-run=\"callbacks.run\"\n\t\t\tid=\"accordion-content-5880\"\n\t\t>\n\t\t\t<div class=\"msr-accordion__body\">\n\t\t\t\t<p><strong><img loading=\"lazy\" decoding=\"async\" class=\"size-full wp-image-269019 alignright\" src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2015\/02\/christoph-wintersteiger100x132.jpg\" alt=\"christoph-wintersteiger100x132\" width=\"100\" height=\"132\" \/><\/strong><\/p>\n<h2>The Varied Forms of Verification with Z3<\/h2>\n<ul>\n<li><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/video\/the-varied-forms-of-verification-with-z3\/\">Watch the session<\/a><\/li>\n<\/ul>\n<h3>Abstract<\/h3>\n<p>The Z3 theorem prover is Microsoft&#8217;s main engine of logic and it is used in a variety of projects. It is rooted in the need for efficient decision procedures in the area of software verification, and it has since been extended into bordering areas. Emerging applications include verification of probabilistic properties of software and other systems, as well as verification and synthesis of biological systems, both constructed and natural.<\/p>\n<p>In this talk, I will briefly introduce the core concepts involved in verification(-like) problems, and I will demonstrate how theorem provers in general, and Z3 specifically, are employed to solve many of the subproblems that arise. I will then touch upon the satisfiability problem for the theory of floating-point numbers as an example of the design of a tailored decision procedure for a particular theory. The last part of the talk will be spent on various applications of this and other decision procedures to problems that arise in computer science and in computational biology.<\/p>\n<h3>Biography<\/h3>\n<p>Christoph Wintersteiger is a researcher in the Programming Principles and Tools group at Microsoft Research Cambridge. He graduated from ETH Zurich in 2011 and has since been a research intern and a postdoc at MSRC. He works on efficient decision procedures for various logics, and applications thereof in software and hardware verification. Currently, his focus is on finite-domain theories like Boolean formulas (SAT, QBF), bit-vectors, floating-point numbers, and (some) probabilistic theories. Along with applications in verification, he recently became interested in the exploration and verification of biological systems, e.g., chemical reaction networks. He is one of the core team of developers of the Z3 theorem prover, which is Microsoft&#8217;s main engine of logic.<\/p>\n<p><span id=\"label-external-link\" class=\"sr-only\" aria-hidden=\"true\">Opens in a new tab<\/span><\/p>\n\t\t\t<\/div>\n\t\t<\/div>\n\t<\/li>\n\t\t<li class=\"m-0\" data-wp-context='{\"id\":\"accordion-content-5882\"}' data-wp-init=\"callbacks.init\">\n\t\t<div class=\"accordion-header\">\n\t\t\t<button\n\t\t\t\taria-controls=\"accordion-content-5882\"\n\t\t\t\tclass=\"btn btn-collapse\"\n\t\t\t\tdata-wp-bind--aria-expanded=\"state.isExpanded\"\n\t\t\t\tdata-wp-on--click=\"actions.onClick\"\n\t\t\t\tid=\"accordion-button-5881\"\n\t\t\t\ttype=\"button\"\n\t\t\t>\n\t\t\t\tDave Yewman | Elevator Speech Inc.\t\t\t<\/button>\n\t\t<\/div>\n\t\t<div\n\t\t\taria-labelledby=\"accordion-button-5881\"\n\t\t\tclass=\"msr-accordion__content\"\n\t\t\tdata-wp-bind--inert=\"!state.isExpanded\"\n\t\t\tdata-wp-run=\"callbacks.run\"\n\t\t\tid=\"accordion-content-5882\"\n\t\t>\n\t\t\t<div class=\"msr-accordion__body\">\n\t\t\t\t<p><strong><img loading=\"lazy\" decoding=\"async\" class=\"size-full wp-image-269022 alignright\" src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2015\/02\/dave-yewman100x132.jpg\" alt=\"dave-yewman100x132\" width=\"100\" height=\"132\" \/><\/strong><\/p>\n<h2>Delivering a Fabulous Research Talk: How to Tell More Stories, Use Less PowerPoint and Get to the Point When Presenting<\/h2>\n<h3>Abstract<\/h3>\n<p>We&#8217;ve all been there: a dark room, a long and boring speech accompanied by an endless stream of bullet-heavy PowerPoint slides. It&#8217;s maddening. In this session you&#8217;ll learn how to really engage an audience, how to deliver a research presentation with emphasis and energy, and finally how to use body language to your advantage. You&#8217;ll also learn what separates a good presentation slide from a bad one, and how to calibrate a speech so that even complicated, technical topics can be explained in a clear, concise, compelling way.<\/p>\n<h3>Biography<\/h3>\n<p>Dave is a strategic communications expert with more than 19 years of experience in the field. A former newspaper reporter and columnist, Dave has counseled senior executives at a variety of companies, managed communications teams and led business development efforts. He has also conducted storytelling workshops and presentation training sessions for thousands of executives at numerous companies, including Microsoft, CA, Clif Bar, Dell, CBS, Ingram Micro, aQuantive, T-Mobile, MercyCorps, DriveSavers, Reebok, Tripwire, Wieden + Kennedy, SnapChat, Zurich Insurance, and Adidas.<\/p>\n<p>He has spoken to numerous groups about how to translate complex scientific and technical information into clear, concise, compelling language. Before establishing Elevator Speech Inc., Dave was the general manager of Weber Shandwick&#8217;s Portland office. Before joining Weber Shandwick, he led a Waggener Edstrom PR team charged with developing strategic PR programs for Microsoft in a variety of industries, including financial services, manufacturing and healthcare. Dave was an award- winning reporter and columnist at The Galveston Daily News in Texas and an on-camera spokesman for The University of Texas Medical Branch. He is a graduate of the University of Northern Colorado&#8217;s school of journalism.<\/p>\n<p><span id=\"label-external-link\" class=\"sr-only\" aria-hidden=\"true\">Opens in a new tab<\/span><\/p>\n\t\t\t<\/div>\n\t\t<\/div>\n\t<\/li>\n\t\t\t\t\t\t<\/ul>\n\t<\/div>\n\t<span id=\"label-external-link\" class=\"sr-only\" aria-hidden=\"true\">Opens in a new tab<\/span><\/p>\n<!-- \/wp:freeform --><!-- \/wp:msr\/content-tab --><!-- wp:msr\/content-tab {\"title\":\"Leisure\"} --><!-- wp:freeform --><h2>Food and drink<\/h2>\n<ul>\n<li><a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" target=\"_blank\" href=\"http:\/\/www.cambridgerestaurants.com\/\">Cambridge Restaurants Guide<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\" target=\"_blank\" href=\"http:\/\/www.cambridgepubs.com\/\">Cambridge Pubs Guide<span class=\"sr-only\"> (opens in new tab)<\/span><\/a><\/li>\n<\/ul>\n<h2>Cinema<\/h2>\n<ul>\n<li><a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" target=\"_blank\" href=\"http:\/\/www.picturehouses.co.uk\/cinema_home_date.aspx?venueId=camb\">The Arts Picture House<span class=\"sr-only\"> (opens in new tab)<\/span><\/a><\/li>\n<\/ul>\n<blockquote><p>38-39 St Andrews Street, Cambridge, CB2 3AR<br \/>\nTel: 01223 572929<\/p><\/blockquote>\n<ul>\n<li><a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" target=\"_blank\" href=\"http:\/\/www.cineworld.co.uk\/cinemas\/7\">Cineworld<span class=\"sr-only\"> (opens in new tab)<\/span><\/a><\/li>\n<\/ul>\n<blockquote><p>Cambridge Leisure Park, Clifton Road, Cambridge, CB1 7DY<br \/>\nTel: 0871 200 2000<\/p><\/blockquote>\n<ul>\n<li><a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" target=\"_blank\" href=\"http:\/\/www.myvue.com\/cinemas\/facilities\/cinema\/cambridge\">Vue Cinema<span class=\"sr-only\"> (opens in new tab)<\/span><\/a><\/li>\n<\/ul>\n<blockquote><p>The Grafton Centre, East Rd, Cambridge, CB1 1PS<br \/>\nTel: 0871 2240240<\/p><\/blockquote>\n<h2>Theatres<\/h2>\n<ul>\n<li><a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" target=\"_blank\" href=\"http:\/\/www.cambridgeartstheatre.com\/\">Cambridge Arts Theatre<span class=\"sr-only\"> (opens in new tab)<\/span><\/a><\/li>\n<\/ul>\n<blockquote><p>6 St Edwards Passage, Cambridge, CB2 3PL<br \/>\nTel: 01223 578933<\/p><\/blockquote>\n<ul>\n<li><a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" target=\"_blank\" href=\"http:\/\/www.adctheatre.com\/\">ADC Theatre<span class=\"sr-only\"> (opens in new tab)<\/span><\/a><\/li>\n<\/ul>\n<blockquote><p>Park Street, Cambridge, CB5 8AS<br \/>\nTel: 01223 359547<\/p><\/blockquote>\n<ul>\n<li><a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" target=\"_blank\" href=\"http:\/\/www.anglia.ac.uk\/ruskin\/en\/home\/microsites\/mumford_theatre.html\">Mumford Theatre<span class=\"sr-only\"> (opens in new tab)<\/span><\/a><\/li>\n<\/ul>\n<blockquote><p>Anglia Polytechnic University, East Road, Cambridge, CB1 1PT<br \/>\nTel: 0845 196 2320<\/p><\/blockquote>\n<ul>\n<li><a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" target=\"_blank\" href=\"http:\/\/www.cornex.co.uk\/\">Cambridge Corn Exchange<span class=\"sr-only\"> (opens in new tab)<\/span><\/a><\/li>\n<\/ul>\n<blockquote><p>3, Parson Court, Wheeler Street, Cambridge, CB2 3QE<br \/>\nTel: 01223 357851<\/p><\/blockquote>\n<ul>\n<li><a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" target=\"_blank\" href=\"http:\/\/www.junction.co.uk\/\">The Junction<span class=\"sr-only\"> (opens in new tab)<\/span><\/a><\/li>\n<\/ul>\n<blockquote><p>Cambridge Leisure Park, Clifton Road, Cambridge, CB1 7GX<br \/>\nTel: 01223 511511<\/p><\/blockquote>\n<p><span id=\"label-external-link\" class=\"sr-only\" aria-hidden=\"true\">Opens in a new tab<\/span><\/p>\n<!-- \/wp:freeform --><!-- \/wp:msr\/content-tab --><!-- wp:msr\/content-tab {\"title\":\"FAQ\"} --><!-- wp:freeform --><p><b>What is the week-long agenda?<\/b> The agenda will be full of exciting events including demonstrations, talks, and discussions, which will enable you to interact with and present your poster together with networking events. For more details, review the PhD Summer School 2015 agenda.<\/p>\n<p><b>When should I arrive at Selwyn College?<\/b> Plan to arrive at Selwyn College no later than 16:00 on Monday, 29 June 2015 for check in at The Porters Lodge. Registration and High Tea is between 16:00 and 18:00.<\/p>\n<ul>\n<li><a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" title=\"\" href=\"http:\/\/www.sel.cam.ac.uk\/college\/directions\/\" target=\"_blank\">Directions to Selwyn College<\/a><\/li>\n<\/ul>\n<p><b>When should I book my travel?<\/b> Book your travel as soon as possible so that you can be sure to arrive no later than 16:00 on Monday, 29 June 2015 and leave no earlier than 12.30 on Friday, 3 July 2015 when Summer School officially closes.<\/p>\n<blockquote><p><b>Travel tips<\/b><\/p>\n<ul>\n<li>Where possible, fly into either London Stansted or London City Airport, which are closer to Cambridge and less congested.<\/li>\n<li>Avoid flying into London Heathrow or London Gatwick airports, which are quite a distance from Cambridge.<\/li>\n<li>Cambridge Airport runs flights to and from a limited number of European destinations.<\/li>\n<li>Use the train where possible; it\u2019s better for the environment!<\/li>\n<\/ul>\n<\/blockquote>\n<p><b>How do I register for accommodation?<\/b> Please register for your accommodation via the link in your invitation by 29 May 2015. Reservations should not be made directly. Request a room for the day that you arrive.<\/p>\n<p><b>When should I check out from Selwyn College?<\/b> Checkout is before 9.30 A.M on Friday, 3 July 2015.<\/p>\n<p><b>Where can I store my luggage when I check out from Selwyn College?<\/b> Luggage cannot be left at Selwyn College once you have checked out on Friday, 3 July, but can be stored securely at Microsoft Cambridge whilst you attend Summer School for the morning.<\/p>\n<p><b>What should I do if I require a visa?<\/b> If you require a letter to support your visa or to present to the port authorities upon entry, download and complete the\u00a0<a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/02\/en-us-events-2015summerschool-business-travel-support-letter-questionnaire-2015.docx\">PhD Summer School 2015 Business Travel Support Letter Questionnaire<\/a>\u00a0(DOCX, 93 KB) when you complete your online registration, and send it as an attachment to <a href=\"mailto:vvletter@microsoft.com\">vvletter@microsoft.com<\/a>. Your request will be processed and a soft copy of the invitation letter sent by email; if you require a hard copy letter, please provide a delivery address. Note that the team will need at least a week to prepare the letter.<\/p>\n<p><b>What about transportation?<\/b> You are responsible for getting to Selwyn College and should follow the travel reimbursement guidelines. All transportation during Summer School will be provided, including transfers between Selwyn College and Microsoft Research.<\/p>\n<p><b>What is the dress code?<\/b> The dress code is smart\/casual.<\/p>\n<p><b>Will I be able access the Internet during this event?<\/b> Selwyn College will offer free Wi-Fi in the bedrooms and public areas. Microsoft Research will offer free Wi-Fi access in the building. There will be instructions available when you access the building.<\/p>\n<p><b>What should I do if I have a special dietary need? <\/b>Vegetarian options will be provided for all meals and snacks. Should you have any additional\u00a0special dietary needs, please make sure you let us know when you register.<\/p>\n<p><b>Will I be able to have the contact details of the other attendees?<\/b> Yes, if you have consented to sharing your details during your online registration.<\/p>\n<p><b>Will I be able to access any of the photographs taken during Summer School?<\/b> If you consented to sharing your photographs during your online registration, you will have access to the photographs after the event.<\/p>\n<p><b>What should I do if I need a doctor or have a medical emergency? <\/b><\/p>\n<ul>\n<li><b>In a medical emergency<\/b>, dial 999<\/li>\n<li><b>For a non-emergency<\/b>, a list of local medical surgeries can be found <a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" target=\"_blank\" href=\"http:\/\/www.healthcentre.org.uk\/medical-centres\/find-cambridge.html\">here<\/a> or ring one listed below:\n<ul>\n<li>Cherry Hinton Medical Centre 0844 8151440<\/li>\n<li>Bridge Street Medical Centre 08444 773939<\/li>\n<li>Petersfield Medical Practice 01223 350 647<\/li>\n<li>York Street Medical Practice 01223 364 116<\/li>\n<\/ul>\n<\/li>\n<\/ul>\n<p><i>In the case of sickness or an emergency, where possible, please notify Sue Flanders, PhD Scholarship Programme Manager on 01223 476 996 or by email <\/i><a href=\"mailto:i-suef@microsoft.com\"><i>i-suef@microsoft.com<\/i><\/a><i> as soon as you can. <\/i><span id=\"label-external-link\" class=\"sr-only\" aria-hidden=\"true\">Opens in a new tab<\/span><\/p>\n<!-- \/wp:freeform --><!-- \/wp:msr\/content-tab --><!-- wp:msr\/content-tab {\"title\":\"Posters\"} --><!-- wp:freeform --><p>You will have the opportunity to present your research to other Microsoft researchers and participants during a two-hour poster session. This will enable you to promote and discuss your work with experts in your field and with a wider audience.<\/p>\n<h2>Presenting your poster<\/h2>\n<p>Poster sessions are scheduled between 12:00 and 14:00 P.M. on Tuesday, Wednesday, and Thursday.<\/p>\n<p>Your poster will be selected for presentation on one day only. Posters will be displayed on individual poster boards distributed around the area where the lunchtime buffet is served.<\/p>\n<p>During your poster session, you will be expected to stand by your poster so that your fellow students and researchers from the Microsoft Cambridge Lab can have the opportunity to read about your research over lunch and discuss it with you.<\/p>\n<p>You do not need to prepare a long presentation, but it is a good idea to prepare a short introductory explanation (perhaps 30 seconds to a minute long) to capture their attention at the start. Don\u2019t worry, it is all very relaxed.<\/p>\n<p>Remember to eat lunch yourself! Choose a quiet moment to grab something from the buffet and then return to your poster.<\/p>\n<h2>Designing\u00a0your poster<\/h2>\n<p>You will need to design a poster that is A1 portrait (594 mm width x 841 mm height) in colour. Your poster should be created in either PowerPoint or PDF format.<\/p>\n<p>Your poster should articulate clearly and concisely both visually and textually:<\/p>\n<ul>\n<li>The challenge being addressed or question being answered by the research in such a way that a non-expert can understand the importance of the research<\/li>\n<li>The focus of the research<\/li>\n<li>The intended outcome<\/li>\n<li>The current stage you have reached<\/li>\n<li>Any research results, preliminary conclusions, or potentially interesting next steps<\/li>\n<\/ul>\n<p>Posters should be aimed at other students and researchers who do not necessarily have expertise in that specific area of research.<\/p>\n<p>Posters should clearly display:<\/p>\n<ul>\n<li>Your name<\/li>\n<li>The name of your supervisor and any collaborators<\/li>\n<li>The name of your university<\/li>\n<\/ul>\n<h3>Academic poster design guidance<\/h3>\n<p>For helpful guidelines on how to design an academic poster, visit <a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" title=\"\" href=\"http:\/\/www2.le.ac.uk\/offices\/ld\/resources\/presentation\/designing-poster\/designing-poster\" target=\"_blank\">Designing an academic poster<\/a> and then click <b>Go to the tutorial<\/b>.<\/p>\n<p>Once you have registered, Sue Duraikan, who returns by popular demand to present her talk on Poster Presentations at the Summer School, will be in touch via email to offer support in preparing your poster. There will also be an opportunity to gain confidential one-on-one feedback on your poster and your presentation skills.<\/p>\n<h2>Printing your poster<\/h2>\n<p>We will be happy to print your poster for you if you send an electronic copy (PowerPoint or PDF format) by email to <a href=\"mailto:i-suef@microsoft.com\">i-suef@microsoft.com<\/a> before Monday, 8 June 2015. Otherwise, be sure that you bring your poster with you to Summer School. You can print it on paper and have it laminated, but it is worth looking into the possibility of printing it on fabric, which makes it easier to transport.<\/p>\n<p><b>Poster submission deadline:<\/b> Monday, 8 June 2015<span id=\"label-external-link\" class=\"sr-only\" aria-hidden=\"true\">Opens in a new tab<\/span><\/p>\n<!-- \/wp:freeform --><!-- \/wp:msr\/content-tab --><!-- \/wp:msr\/content-tabs -->","tab-content":[{"id":0,"name":"About","content":"[caption id=\"attachment_203917\" align=\"alignnone\" width=\"1000\"]<img class=\"wp-image-203917 size-full\" src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/02\/en-us-events-2015summerschool-phd2015.jpg\" alt=\"phd2015.jpg\" width=\"1000\" height=\"667\" \/> PhD Summer School Participants 2015[\/caption]\r\n\r\nThe PhD Summer School is an annual event that is organized at Microsoft Research Cambridge in relation to the Microsoft Research PhD Scholarship Programme. The tenth Microsoft Research Summer School took place at Microsoft Research in Cambridge, UK, from 29 June to 3 July 2015. It included a series of talks of academic interest, transferable skills talks, and poster sessions that provided invited students the opportunity to present their work to Microsoft researchers.\r\n\r\nInvited students included PhD students in their first or second year from universities and research institutions with which Microsoft Research partners, as well as all Microsoft Research PhD Scholars. In addition, lectures and posters sessions\u00a0were open to all research staff and students from the University of Cambridge.\r\n<h3>About the Microsoft Research PhD Scholarship Programme<\/h3>\r\nThe Microsoft Research PhD Scholarship Programme was developed in 2004 to support research collaborations between academics in the Europe, Middle East, and Africa (EMEA) region with Microsoft Research researchers in the Cambridge Lab. Currently, there are approximately 100 students working at universities and research organizations across the whole region on peer-reviewed projects and in collaboration with their Microsoft Research Cambridge co-supervisors.\r\n<h3><img class=\"size-full wp-image-230179 alignleft\" src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/05\/scarletschwiderski-grosche100x132.jpg\" alt=\"Scarlet Schwiderski-Grosche\" width=\"100\" height=\"132\" \/>Summer School Chair<\/h3>\r\n<a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/scarlets\/\"><b>Scarlet Schwiderski-Grosche<\/b><\/a>\r\nSenior Research Program Manager\r\nMicrosoft Research Connections"},{"id":1,"name":"Agenda","content":"<h2>Monday,\u00a029 June<\/h2>\r\n<table class=\"msr-table-schedule\">\r\n<thead class=\"thead\">\r\n<tr class=\"tr\">\r\n<th class=\"th\">Time<\/th>\r\n<th class=\"th\">Session<\/th>\r\n<th class=\"th\">Speaker<\/th>\r\n<th class=\"th\">Location<\/th>\r\n<\/tr>\r\n<\/thead>\r\n<tbody class=\"tbody\">\r\n<tr class=\"tr\">\r\n<td class=\"td-1-4\">\r\n<div class=\"msr-table-schedule-cell\">16:00<\/div><\/td>\r\n<td>\r\n<div class=\"msr-table-schedule-cell\">Arrival and check in at Selwyn College<\/div><\/td>\r\n<td><\/td>\r\n<td><\/td>\r\n<\/tr>\r\n<tr class=\"tr\">\r\n<td class=\"td-1-4\">\r\n<div class=\"msr-table-schedule-cell\">16:00<\/div><\/td>\r\n<td>\r\n<div class=\"msr-table-schedule-cell\">Registration and High Tea at Selwyn College<\/div><\/td>\r\n<td><\/td>\r\n<td><\/td>\r\n<\/tr>\r\n<tr class=\"tr\">\r\n<td class=\"td-1-4\">\r\n<div class=\"msr-table-schedule-cell\">18:00<\/div><\/td>\r\n<td>\r\n<div class=\"msr-table-schedule-cell\">Free Time<\/div><\/td>\r\n<td><\/td>\r\n<td><\/td>\r\n<\/tr>\r\n<\/tbody>\r\n<\/table>\r\n<h2>Tuesday, 30 June<\/h2>\r\n<table class=\"msr-table-schedule\">\r\n<thead class=\"thead\">\r\n<tr class=\"tr\">\r\n<th class=\"th\">Time<\/th>\r\n<th class=\"th\">Session<\/th>\r\n<th class=\"th\">Speaker<\/th>\r\n<th class=\"th\">Location<\/th>\r\n<\/tr>\r\n<\/thead>\r\n<tbody class=\"tbody\">\r\n<tr class=\"tr\">\r\n<td class=\"td-1-4\">\r\n<div class=\"msr-table-schedule-cell\">08:30<\/div><\/td>\r\n<td>\r\n<div class=\"msr-table-schedule-cell\">Coach Transfer: Selwyn to Microsoft Research and Sign In of All Attendees<\/div><\/td>\r\n<td><\/td>\r\n<td><\/td>\r\n<\/tr>\r\n<tr class=\"tr\">\r\n<td class=\"td-1-4\">\r\n<div class=\"msr-table-schedule-cell\">09:15<\/div><\/td>\r\n<td>\r\n<div class=\"msr-table-schedule-cell\"><strong>Welcome to Microsoft Research Cambridge<\/strong><\/div><\/td>\r\n<td>\r\n<div class=\"msr-table-schedule-cell\"><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/scarlets\/\">Scarlet Schwiderski-Grosche<\/a>, Microsoft Research<\/div><\/td>\r\n<td>Main Auditorium<\/td>\r\n<\/tr>\r\n<tr class=\"tr\">\r\n<td class=\"td-1-4\">\r\n<div class=\"msr-table-schedule-cell\">09:30<\/div><\/td>\r\n<td>\r\n<div class=\"msr-table-schedule-cell\"><strong>How to Give a Great Research Talk<\/strong><\/div><\/td>\r\n<td>\r\n<div class=\"msr-table-schedule-cell\"><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/simonpj\/\">Simon Peyton Jones<\/a>, Microsoft Research<\/div><\/td>\r\n<td>Main Auditorium<\/td>\r\n<\/tr>\r\n<tr class=\"tr\">\r\n<td class=\"td-1-4\">\r\n<div class=\"msr-table-schedule-cell\">\u00a010:00<\/div><\/td>\r\n<td>\r\n<div class=\"msr-table-schedule-cell\">\r\n<div class=\"msr-table-schedule-cell\"><strong>Introduction to Code Hunt<\/strong><\/div>\r\n<\/div><\/td>\r\n<td><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/nikolait\/\">Nikolai Tillmann<\/a>, Microsoft Research<\/td>\r\n<td>Main Auditorium<\/td>\r\n<\/tr>\r\n<tr class=\"tr\">\r\n<td class=\"td-1-4\">\r\n<div class=\"msr-table-schedule-cell\">10:30<\/div><\/td>\r\n<td>\r\n<div class=\"msr-table-schedule-cell\">Morning Break<\/div><\/td>\r\n<td><\/td>\r\n<td><\/td>\r\n<\/tr>\r\n<tr class=\"tr\">\r\n<td class=\"td-1-4\">\r\n<div class=\"msr-table-schedule-cell\">11:00<\/div><\/td>\r\n<td>\r\n<div class=\"msr-table-schedule-cell\"><strong>Technology Development<\/strong><\/div><\/td>\r\n<td>\r\n<div class=\"msr-table-schedule-cell\">Hermann Hauser, Amadeus Capital Partners<\/div><\/td>\r\n<td>Main Auditorium<\/td>\r\n<td><\/td>\r\n<\/tr>\r\n<tr class=\"tr\">\r\n<td class=\"td-1-4\">\r\n<div class=\"msr-table-schedule-cell\">12:00<\/div><\/td>\r\n<td>\r\n<div class=\"msr-table-schedule-cell\">Lunch\/Poster Session<\/div><\/td>\r\n<td><\/td>\r\n<td><\/td>\r\n<\/tr>\r\n<tr class=\"tr\">\r\n<td class=\"td-1-4\">\r\n<div class=\"msr-table-schedule-cell\">14:00<\/div><\/td>\r\n<td>\r\n<div class=\"msr-table-schedule-cell\"><strong>Research Parallel Sessions<\/strong><\/div><\/td>\r\n<td><\/td>\r\n<td><\/td>\r\n<\/tr>\r\n<tr class=\"tr\">\r\n<td class=\"td-1-4\"><\/td>\r\n<td>\r\n<div class=\"msr-table-schedule-cell\"><strong>Machine Learning in Health Care<\/strong><\/div><\/td>\r\n<td>\r\n<div class=\"msr-table-schedule-cell\">\r\n\r\n<a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/antcrim\/\" target=\"_self\">Antonio Criminisi<\/a>, Microsoft Research\r\n\r\n<\/div><\/td>\r\n<td>Main Auditorium<\/td>\r\n<\/tr>\r\n<tr class=\"tr\">\r\n<td class=\"td-1-4\"><\/td>\r\n<td>\r\n<div class=\"msr-table-schedule-cell\"><strong>Hoarding Cats: Modelling and Testing Concurrent Systems<\/strong><\/div><\/td>\r\n<td>\r\n<div class=\"msr-table-schedule-cell\">\r\n\r\nJade Alglave, Microsoft Research\r\n\r\n<\/div><\/td>\r\n<td>Flexible Meeting Room<\/td>\r\n<\/tr>\r\n<tr class=\"tr\">\r\n<td class=\"td-1-4\">\r\n<div class=\"msr-table-schedule-cell\">15:00<\/div><\/td>\r\n<td>\r\n<div class=\"msr-table-schedule-cell\">Afternoon Break<\/div><\/td>\r\n<td><\/td>\r\n<td><\/td>\r\n<\/tr>\r\n<tr class=\"tr\">\r\n<td class=\"td-1-4\">\r\n<div class=\"msr-table-schedule-cell\">15:30<\/div><\/td>\r\n<td>\r\n<div class=\"msr-table-schedule-cell\"><strong>Research Parallel Sessions<\/strong><\/div><\/td>\r\n<td><\/td>\r\n<td><\/td>\r\n<\/tr>\r\n<tr class=\"tr\">\r\n<td class=\"td-1-4\"><\/td>\r\n<td>\r\n<div class=\"msr-table-schedule-cell\"><strong>Designing Computer Systems That See<\/strong><\/div><\/td>\r\n<td>\r\n<div class=\"msr-table-schedule-cell\">\r\n\r\n<a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/asellen\/\">Abigail Sellen<\/a>, Microsoft Research\r\n\r\n<\/div><\/td>\r\n<td>Main Auditorium<\/td>\r\n<\/tr>\r\n<tr class=\"tr\">\r\n<td class=\"td-1-4\"><\/td>\r\n<td>\r\n<div class=\"msr-table-schedule-cell\"><strong>Joined Up Planetary Information, in the Cloud and on Devices<\/strong><\/div><\/td>\r\n<td>\r\n<div class=\"msr-table-schedule-cell\">\r\n\r\n<a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/mattsmi\/\" target=\"_self\">Matthew Smith<\/a>, Microsoft Research\r\n\r\n<\/div><\/td>\r\n<td>Flexible Meeting Room<\/td>\r\n<\/tr>\r\n<tr class=\"tr\">\r\n<td class=\"td-1-4\">\r\n<div class=\"msr-table-schedule-cell\">16:30<\/div><\/td>\r\n<td>\r\n<div class=\"msr-table-schedule-cell\">Coach Transfer: Microsoft Research to WildTracks, Go Karting<\/div><\/td>\r\n<td><\/td>\r\n<td><\/td>\r\n<\/tr>\r\n<tr class=\"tr\">\r\n<td class=\"td-1-4\">\r\n<div class=\"msr-table-schedule-cell\">17:15<\/div><\/td>\r\n<td>\r\n<div class=\"msr-table-schedule-cell\">Go-Karting at WildTracks Karting and BBQ<\/div><\/td>\r\n<td><\/td>\r\n<td><\/td>\r\n<\/tr>\r\n<tr class=\"tr\">\r\n<td class=\"td-1-4\">\r\n<div class=\"msr-table-schedule-cell\">21:30<\/div><\/td>\r\n<td>\r\n<div class=\"msr-table-schedule-cell\">Coach Transfer: WildTracks to Selwyn College<\/div><\/td>\r\n<td><\/td>\r\n<td><\/td>\r\n<\/tr>\r\n<\/tbody>\r\n<\/table>\r\n<h2>Wednesday,\u00a01 July<\/h2>\r\n<table class=\"msr-table-schedule\">\r\n<thead class=\"thead\">\r\n<tr class=\"tr\">\r\n<th class=\"th\">Time<\/th>\r\n<th class=\"th\">Session<\/th>\r\n<th class=\"th\">Speaker<\/th>\r\n<th class=\"th\">Location<\/th>\r\n<\/tr>\r\n<\/thead>\r\n<tbody class=\"tbody\">\r\n<tr class=\"tr\">\r\n<td class=\"td-1-4\">\r\n<div class=\"msr-table-schedule-cell\">08:15<\/div><\/td>\r\n<td>\r\n<div class=\"msr-table-schedule-cell\">Coach Transfer: Selwyn to Microsoft Research and Sign In of All Attendees<\/div><\/td>\r\n<td><\/td>\r\n<td><\/td>\r\n<\/tr>\r\n<tr class=\"tr\">\r\n<td class=\"td-1-4\">\r\n<div class=\"msr-table-schedule-cell\">09:00<\/div><\/td>\r\n<td>\r\n<div class=\"msr-table-schedule-cell\"><strong>Delivering a Fabulous Research Talk; How to Tell More Stories, Use Less PowerPoint and Get to the Point When Presenting<\/strong><\/div><\/td>\r\n<td>\r\n<div class=\"msr-table-schedule-cell\">Dave Yewman, Elevator Speech Inc.<\/div><\/td>\r\n<td>Main Auditorium<\/td>\r\n<\/tr>\r\n<tr class=\"tr\">\r\n<td class=\"td-1-4\">\r\n<div class=\"msr-table-schedule-cell\">10:30<\/div><\/td>\r\n<td>\r\n<div class=\"msr-table-schedule-cell\">Morning Break<\/div><\/td>\r\n<td><\/td>\r\n<td><\/td>\r\n<\/tr>\r\n<tr class=\"tr\">\r\n<td class=\"td-1-4\">\r\n<div class=\"msr-table-schedule-cell\">11:00<\/div><\/td>\r\n<td>\r\n<div class=\"msr-table-schedule-cell\"><strong>Delivering a Fabulous Research Talk; How to Tell More Stories, Use Less PowerPoint and Get to the Point When Presenting<\/strong><\/div><\/td>\r\n<td>\r\n<div class=\"msr-table-schedule-cell\">Dave Yewman, Elevator Speech Inc.<\/div><\/td>\r\n<td>Main Auditorium<\/td>\r\n<\/tr>\r\n<tr class=\"tr\">\r\n<td class=\"td-1-4\">\r\n<div class=\"msr-table-schedule-cell\">12:00<\/div><\/td>\r\n<td>\r\n<div class=\"msr-table-schedule-cell\">Lunch\/Poster Session<\/div><\/td>\r\n<td><\/td>\r\n<td><\/td>\r\n<\/tr>\r\n<tr class=\"tr\">\r\n<td class=\"td-1-4\">\r\n<div class=\"msr-table-schedule-cell\">14:00<\/div><\/td>\r\n<td>\r\n<div class=\"msr-table-schedule-cell\"><strong>Computing Reliability with Molecular Walkers<\/strong><\/div><\/td>\r\n<td>\r\n<div class=\"msr-table-schedule-cell\">\r\n\r\nMarta Kwiatkowska, University of Oxford\r\n\r\n<\/div><\/td>\r\n<td>Main Auditorium<\/td>\r\n<\/tr>\r\n<tr class=\"tr\">\r\n<td class=\"td-1-4\">\r\n<div class=\"msr-table-schedule-cell\">15:00<\/div><\/td>\r\n<td>\r\n<div class=\"msr-table-schedule-cell\">Afternoon Break<\/div><\/td>\r\n<td><\/td>\r\n<td><\/td>\r\n<\/tr>\r\n<tr class=\"tr\">\r\n<td class=\"td-1-4\">\r\n<div class=\"msr-table-schedule-cell\">15:30<\/div><\/td>\r\n<td>\r\n<div class=\"msr-table-schedule-cell\"><strong>Strategic Thinking for Researchers<\/strong><\/div><\/td>\r\n<td>\r\n<div class=\"msr-table-schedule-cell\"><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/adg\/\">Andy Gordon<\/a>, Microsoft Research<\/div><\/td>\r\n<td>Main Auditorium<\/td>\r\n<\/tr>\r\n<tr class=\"tr\">\r\n<td class=\"td-1-4\">\r\n<div class=\"msr-table-schedule-cell\">\u00a016:30<\/div><\/td>\r\n<td><strong>Research Parallel Sessions<\/strong><\/td>\r\n<td><\/td>\r\n<td><\/td>\r\n<\/tr>\r\n<tr class=\"tr\">\r\n<td class=\"td-1-4\"><\/td>\r\n<td>\r\n<div class=\"msr-table-schedule-cell\"><strong>Microsoft Azure Tutorial<\/strong><\/div><\/td>\r\n<td>\r\n<div class=\"msr-table-schedule-cell\"><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/kenjitak\/\">Kenji Takeda<\/a>, Microsoft Research<\/div><\/td>\r\n<td>Main Auditorium<\/td>\r\n<\/tr>\r\n<tr class=\"tr\">\r\n<td class=\"td-1-4\"><\/td>\r\n<td>\r\n<div class=\"msr-table-schedule-cell\"><strong>\u00a0<b>.NET Gadgeteer Workshop<\/b><\/strong><\/div><\/td>\r\n<td>\r\n<div class=\"msr-table-schedule-cell\">\u00a0Paul Foster, Microsoft<\/div><\/td>\r\n<td><\/td>\r\n<\/tr>\r\n<tr class=\"tr\">\r\n<td class=\"td-1-4\">\r\n<div class=\"msr-table-schedule-cell\">17:30<\/div><\/td>\r\n<td>\r\n<div class=\"msr-table-schedule-cell\">Coach transfer: Microsoft Research to Selwyn College<\/div><\/td>\r\n<td><\/td>\r\n<td><\/td>\r\n<\/tr>\r\n<tr class=\"tr\">\r\n<td class=\"td-1-4\">\r\n<div class=\"msr-table-schedule-cell\">17:30-19:30<\/div><\/td>\r\n<td>\r\n<div class=\"msr-table-schedule-cell\"><strong>Code Hunt Contest<\/strong> (optional attendance)<\/div><\/td>\r\n<td><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/nikolait\/\">Nikolai Tillmann<\/a>, Microsoft Research<\/td>\r\n<td>Main Auditorium<\/td>\r\n<\/tr>\r\n<\/tbody>\r\n<\/table>\r\n<h2>Thursday,\u00a02 July<\/h2>\r\n<table class=\"msr-table-schedule\">\r\n<thead class=\"thead\">\r\n<tr class=\"tr\">\r\n<th class=\"th\">Time<\/th>\r\n<th class=\"th\">Session<\/th>\r\n<th class=\"th\">Speaker<\/th>\r\n<th class=\"th\">Location<\/th>\r\n<\/tr>\r\n<\/thead>\r\n<tbody class=\"tbody\">\r\n<tr class=\"tr\">\r\n<td class=\"td-1-4\">\r\n<div class=\"msr-table-schedule-cell\">08:45<\/div><\/td>\r\n<td>\r\n<div class=\"msr-table-schedule-cell\">Coach Transfer: Selwyn to Microsoft Research and Sign In of All Attendees<\/div><\/td>\r\n<td><\/td>\r\n<td><\/td>\r\n<\/tr>\r\n<tr class=\"tr\">\r\n<td class=\"td-1-4\">\r\n<div class=\"msr-table-schedule-cell\">09:30<\/div><\/td>\r\n<td>\r\n<div class=\"msr-table-schedule-cell\"><strong>Research Parallel Sessions<\/strong><\/div><\/td>\r\n<td><\/td>\r\n<td><\/td>\r\n<\/tr>\r\n<tr class=\"tr\">\r\n<td class=\"td-1-4\"><\/td>\r\n<td>\r\n<div class=\"msr-table-schedule-cell\"><strong><b>Technology &amp; Economics: Real-Time Ad Bidding and Personal Surveillance<\/b><\/strong><\/div><\/td>\r\n<td>\r\n<div class=\"msr-table-schedule-cell\">\r\n\r\nNatasa Milic-Frayling, Microsoft Research\r\n\r\n<\/div><\/td>\r\n<td>Main Auditorium<\/td>\r\n<\/tr>\r\n<tr class=\"tr\">\r\n<td class=\"td-1-4\"><\/td>\r\n<td>\r\n<div class=\"msr-table-schedule-cell\"><strong><b>The Varied Forms of Verification with Z3<\/b><\/strong><\/div><\/td>\r\n<td>\r\n<div class=\"msr-table-schedule-cell\">\r\n\r\n<a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/cwinter\/\">Christoph Wintersteiger<\/a>, Microsoft Research\r\n\r\n<\/div><\/td>\r\n<td>Flexible Meeting Room<\/td>\r\n<\/tr>\r\n<tr class=\"tr\">\r\n<td class=\"td-1-4\">\r\n<div class=\"msr-table-schedule-cell\">10:30<\/div><\/td>\r\n<td>\r\n<div class=\"msr-table-schedule-cell\">Morning Break<\/div><\/td>\r\n<td><\/td>\r\n<td><\/td>\r\n<\/tr>\r\n<tr class=\"tr\">\r\n<td class=\"td-1-4\">\r\n<div class=\"msr-table-schedule-cell\">11:00<\/div><\/td>\r\n<td>\r\n<div class=\"msr-table-schedule-cell\"><strong>Research Parallel Sessions<\/strong><\/div><\/td>\r\n<td><\/td>\r\n<td><\/td>\r\n<\/tr>\r\n<tr class=\"tr\">\r\n<td class=\"td-1-4\"><\/td>\r\n<td>\r\n<div class=\"msr-table-schedule-cell\"><strong><b>Predictable Data Centers<\/b> <\/strong><\/div><\/td>\r\n<td>\r\n<div class=\"msr-table-schedule-cell\">\r\n\r\n<a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/thomkar\/\">Thomas Karagiannis<\/a>, Microsoft Research\r\n\r\n<\/div><\/td>\r\n<td>Main Auditorium<\/td>\r\n<\/tr>\r\n<tr class=\"tr\">\r\n<td class=\"td-1-4\"><\/td>\r\n<td>\r\n<div class=\"msr-table-schedule-cell\"><strong><b>Designing Human Experiences<\/b> <\/strong><\/div><\/td>\r\n<td>\r\n<div class=\"msr-table-schedule-cell\">\r\n\r\n<a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/rbanks\/\" target=\"_self\">Richard Banks<\/a>, Microsoft Research\r\n\r\n<\/div><\/td>\r\n<td>Flexible Meeting Room<\/td>\r\n<\/tr>\r\n<tr class=\"tr\">\r\n<td class=\"td-1-4\">\r\n<div class=\"msr-table-schedule-cell\">12:00<\/div><\/td>\r\n<td>\r\n<div class=\"msr-table-schedule-cell\">Lunch\/Poster Session<\/div><\/td>\r\n<td><\/td>\r\n<td><\/td>\r\n<\/tr>\r\n<tr class=\"tr\">\r\n<td class=\"td-1-4\">\r\n<div class=\"msr-table-schedule-cell\">14:00<\/div><\/td>\r\n<td>\r\n<div class=\"msr-table-schedule-cell\"><strong><b>The Laws of Programming with Concurrency<\/b><\/strong><\/div><\/td>\r\n<td>\r\n<div class=\"msr-table-schedule-cell\">Tony Hoare, Microsoft Research<\/div><\/td>\r\n<td>Main Auditorium<\/td>\r\n<\/tr>\r\n<tr class=\"tr\">\r\n<td class=\"td-1-4\">\r\n<div class=\"msr-table-schedule-cell\">15:00<\/div><\/td>\r\n<td>\r\n<div class=\"msr-table-schedule-cell\"><strong><b>Empirical Inference for Intelligent Systems<\/b><\/strong><\/div><\/td>\r\n<td>\r\n<div class=\"msr-table-schedule-cell\">\r\n\r\nBernhard Sch\u00f6lkopf, Max Planck Institute for Intelligent Systems\r\n\r\n<\/div><\/td>\r\n<td>Main Auditorium<\/td>\r\n<\/tr>\r\n<tr class=\"tr\">\r\n<td class=\"td-1-4\">\r\n<div class=\"msr-table-schedule-cell\">16:00<\/div><\/td>\r\n<td>\r\n<div class=\"msr-table-schedule-cell\"><strong>DemoFest<\/strong> (including Afternoon Break)<\/div><\/td>\r\n<td><\/td>\r\n<td><\/td>\r\n<\/tr>\r\n<tr class=\"tr\">\r\n<td class=\"td-1-4\">\r\n<div class=\"msr-table-schedule-cell\">17:30<\/div><\/td>\r\n<td>\r\n<div class=\"msr-table-schedule-cell\">Coach transfer: Microsoft Research to Jesus College<\/div><\/td>\r\n<td><\/td>\r\n<td><\/td>\r\n<\/tr>\r\n<tr class=\"tr\">\r\n<td class=\"td-1-4\">\r\n<div class=\"msr-table-schedule-cell\">18:00<\/div><\/td>\r\n<td>\r\n<div class=\"msr-table-schedule-cell\">Drinks and Group Photo<\/div><\/td>\r\n<td><\/td>\r\n<td><\/td>\r\n<\/tr>\r\n<tr class=\"tr\">\r\n<td class=\"td-1-4\">\r\n<div class=\"msr-table-schedule-cell\">19:00<\/div><\/td>\r\n<td>\r\n<div class=\"msr-table-schedule-cell\">Formal Dinner at Jesus College<\/div><\/td>\r\n<td><\/td>\r\n<td><\/td>\r\n<\/tr>\r\n<tr class=\"tr\">\r\n<td class=\"td-1-4\">\r\n<div class=\"msr-table-schedule-cell\">21:30<\/div><\/td>\r\n<td>\r\n<div class=\"msr-table-schedule-cell\">Coach Transfer: Jesus College to Selwyn College<\/div><\/td>\r\n<td><\/td>\r\n<td><\/td>\r\n<\/tr>\r\n<\/tbody>\r\n<\/table>\r\n<h2>Friday,\u00a03 July<\/h2>\r\n<table class=\"msr-table-schedule\">\r\n<thead class=\"thead\">\r\n<tr class=\"tr\">\r\n<th class=\"th\">Time<\/th>\r\n<th class=\"th\">Session<\/th>\r\n<th class=\"th\">Speaker<\/th>\r\n<th class=\"th\">Location<\/th>\r\n<\/tr>\r\n<\/thead>\r\n<tbody class=\"tbody\">\r\n<tr class=\"tr\">\r\n<td class=\"td-1-4\">\r\n<div class=\"msr-table-schedule-cell\">08:45<\/div><\/td>\r\n<td>\r\n<div class=\"msr-table-schedule-cell\">Coach Transfer: Selwyn to Microsoft Research and Sign In of All Attendees<\/div><\/td>\r\n<td><\/td>\r\n<td><\/td>\r\n<\/tr>\r\n<tr class=\"tr\">\r\n<td class=\"td-1-4\">\r\n<div class=\"msr-table-schedule-cell\">09:30<\/div><\/td>\r\n<td>\r\n<div class=\"msr-table-schedule-cell\"><strong>How to Present a Poster at an International Conference<\/strong><\/div><\/td>\r\n<td>\r\n<div class=\"msr-table-schedule-cell\">Sue Duraikan, Duraikan Training<\/div><\/td>\r\n<td>Main Auditorium<\/td>\r\n<\/tr>\r\n<tr class=\"tr\">\r\n<td class=\"td-1-4\">10:15<\/td>\r\n<td>\r\n<div class=\"msr-table-schedule-cell\">\r\n<div class=\"msr-table-schedule-cell\"><strong>How to Give a Great Research Talk<\/strong><\/div>\r\n<\/div><\/td>\r\n<td>\r\n<div class=\"msr-table-schedule-cell\"><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/simonpj\/\">Simon Peyton Jones<\/a>, Microsoft Research<\/div><\/td>\r\n<td>Main Auditorium<\/td>\r\n<\/tr>\r\n<tr class=\"tr\">\r\n<td class=\"td-1-4\">11:15<\/td>\r\n<td>\r\n<div class=\"msr-table-schedule-cell\">Morning Break<\/div><\/td>\r\n<td><\/td>\r\n<td><\/td>\r\n<\/tr>\r\n<tr class=\"tr\">\r\n<td class=\"td-1-4\">11:30<\/td>\r\n<td>\r\n<div class=\"msr-table-schedule-cell\">\r\n<div class=\"msr-table-schedule-cell\"><strong>How to Write a Great Research Paper<\/strong><\/div>\r\n<\/div><\/td>\r\n<td>\r\n<div class=\"msr-table-schedule-cell\">\r\n<div class=\"msr-table-schedule-cell\"><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/simonpj\/\">Simon Peyton Jones<\/a>, Microsoft Research<\/div>\r\n<\/div><\/td>\r\n<td>Main Auditorium<\/td>\r\n<\/tr>\r\n<tr class=\"tr\">\r\n<td class=\"td-1-4\">\r\n<div class=\"msr-table-schedule-cell\">12:30<\/div><\/td>\r\n<td>\r\n<div class=\"msr-table-schedule-cell\">PhD Summer School Closes | Grab-and-Go Lunch<\/div><\/td>\r\n<td><\/td>\r\n<td><\/td>\r\n<\/tr>\r\n<\/tbody>\r\n<\/table>"},{"id":2,"name":"Speakers and Abstracts","content":"[accordion]\r\n\r\n[panel header=\"Jade Alglave | Researcher, Microsoft Research\"]\r\n<h2>Herding Cats: Modelling and Testing Concurrent Systems<\/h2>\r\n<h3>Abstract<\/h3>\r\nThere is a joke where a physicist and a mathematician are asked to herd cats. The physicist starts with an infinitely large pen, which he reduces until it is of reasonable diameter yet contains all the cats. The mathematician builds a fence around himself and declares the outside to be the inside. Defining memory models is akin to herding cats: both the physicist\u2019s or mathematician\u2019s attitudes are tempting, but we cannot rely on one more than on the other. I study concurrent systems, trying to understand precisely what our machines guarantee. This is crucial for writing correct programs, especially since modern machines force us to revise the programming model that we have been taught at school, namely Lamport\u2019s Sequential Consistency. In this talk, I will show ways of defining formal models for concurrency, within a generic framework in which one can represent for example Sequential Consistency, Intel x86, IBM Power, ARM, C++ and GPUs.\r\n<h3>Biography<\/h3>\r\nJade Alglave is a researcher at Microsoft Research Cambridge, and a lecturer at University College London. She tries to develop formal models of concurrent systems within a unifying framework, and use these models for verification purposes.\r\n\r\n[\/panel]\r\n\r\n[panel header=\"Richard Banks | Principal Design Manager, Microsoft Research\"]\r\n<strong><img class=\"size-full wp-image-269040 alignright\" src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2015\/02\/richard-banks100x132.jpg\" alt=\"richard-banks100x132\" width=\"100\" height=\"132\" \/><\/strong>\r\n<h2>Designing Human Experiences<strong>\r\n<\/strong><\/h2>\r\n<ul>\r\n \t<li><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/video\/designing-human-experiences\/\">Watch the session<\/a> | <a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/02\/en-us-events-2015summerschool-rbanks-phdsummerschool2015.pdf\">view the slides<\/a><\/li>\r\n<\/ul>\r\n<h3>Abstract<\/h3>\r\nThe Human Experience &amp; Design Group at Cambridge designs and fabricates new human experiences with computing. These play on many different kinds of human values, from amplifying efficiency and effectiveness to creating delight and wonder in our interactions with technology. And they can be situated in any aspect of everyday life, from increasing productivity in the workplace to respecting the tenderness of family life. In this talk, Richard Banks will give an overview of the work of the team, describing how the disciplines of social science, computer science and design work together as a multi-disciplinary unit, and showing a number of working projects and prototypes.\r\n<h3>Biography<\/h3>\r\nRichard Banks is principal design manager in Microsoft Research's Cambridge lab. Working as part of the Human Experience &amp; Design group he collaborates with social scientists and computer scientists in the lab on a broad range of projects that span device development, community engagement, gestural interaction and more. Richard is author of <em>The Future of Looking Back<\/em>, a book which focuses on new digital legacies and the impact they\u2019ll have on how we reminisce about our lives. He is honorary professor of design at the University of Dundee, a fellow of the Royal Society of Arts and external examiner for Edinburgh University\u2019s Design Informatics course.\r\n\r\n[\/panel]\r\n\r\n[panel header=\"Andrew Blake | Laboratory Director, Microsoft Research\"]\r\n<strong><img class=\"size-full wp-image-269016 alignright\" src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2015\/02\/blake.jpg\" alt=\"blake\" width=\"100\" height=\"132\" \/><\/strong>\r\n<h2>Welcome to Microsoft Research Cambridge<\/h2>\r\n<h3>Biography<\/h3>\r\nAndrew Blake is a Microsoft Distinguished Scientist and the Laboratory Director of Microsoft Research Cambridge, England. He joined Microsoft in 1999 as a senior researcher to found the Computer Vision group. In 2008, he became a Deputy Managing Director at the lab, before assuming his current position in 2010. Prior to joining Microsoft, Andrew trained in mathematics and electrical engineering in Cambridge England, and studied for a doctorate in Artificial Intelligence in Edinburgh. He was an academic for 18 years, latterly on the faculty at Oxford University, where he was a pioneer in the development of the theory and algorithms that can make it possible for computers to behave as seeing machines.\r\n\r\n[\/panel]\r\n\r\n[panel header=\"Antonio Criminisi | Principal Researcher, Microsoft Research\"]\r\n<strong><img class=\"size-full wp-image-269010 alignright\" src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2015\/02\/antonio-criminisi90x90.jpg\" alt=\"antonio-criminisi90x90\" width=\"90\" height=\"90\" \/><\/strong>\r\n<h2>Machine Learning in Health Care<\/h2>\r\n<ul>\r\n \t<li><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/video\/machine-learning-in-health-care\/\">Watch the session<\/a> | <a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/02\/en-us-events-2015summerschool-acriminisi-machinelearninginhealthcare-phdss2015.pdf\">view the slides<\/a><\/li>\r\n<\/ul>\r\n<h3>Abstract<\/h3>\r\nAnalysis of medical images is essential in modern medicine. With the ever-increasing amount of patient data, new challenges and opportunities arise for different phases of the clinical routine, such as diagnosis, treatment, and monitoring.\r\n\r\nThe InnerEye research project focuses on the automatic analysis of patients' medical scans. It uses state-of-the-art machine learning techniques for the:\r\n<ul>\r\n \t<li>Automatic delineation and measurement of healthy anatomy and anomalies;<\/li>\r\n \t<li>Robust registration for monitoring disease progression;<\/li>\r\n \t<li>Semantic navigation and visualization for improved clinical workflow;<\/li>\r\n \t<li>Development of natural user interfaces for medical practitioners.<\/li>\r\n<\/ul>\r\n<h3>Biography<\/h3>\r\nIn June 2000, Antonio Criminisi joined Microsoft Research in Cambridge (Machine Learning and Perception group) as a visiting researcher. In February 2001, he moved to the Interactive Visual Media Group in Redmond (WA, United States) as a post-doctorate researcher. In October 2002, he moved back to the Machine Learning and Perception Group in Cambridge as a researcher. In September 2011, he became senior researcher and is now leading the Medical Image Analysis team.\r\n\r\nAntonio's current research interests are in the area of medical image analysis, object category recognition, image and video analysis and editing, one-to-one teleconferencing, 3D reconstruction from single and multiple images with application to virtual reality, forensic science, and history of art.\r\n\r\nAntonio Criminisi was born in 1972 in Italy. In October 1990, he was appointed \"Alfiere del Lavoro\" by the Italian President F. Cossiga for his successful studies. In July 1996, he received a degree in Electronics Engineering at the University of Palermo and in December 1999, he obtained a PhD in Computer Vision at the University of Oxford. His thesis. <em>Accurate Visual Metrology from Single and Multiple Uncalibrated Images<\/em>, won the British Computer Society Distinguished Dissertation Award for the year 2000 and was published by Springer-Verlag London Ltd. in August 2001. Antonio was a Research Fellow at Clare Hall College, Cambridge from 2002 to 2005. Antonio has won a number of best paper prizes in top computer vision conferences.\r\n\r\n[\/panel]\r\n\r\n[panel header=\"Sue Duraikan | Duraikan Training\"]\r\n<strong><img class=\"size-full wp-image-269046 alignright\" src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2015\/02\/sue-duraikan100x132.jpg\" alt=\"sue-duraikan100x132\" width=\"100\" height=\"132\" \/><\/strong>\r\n<h2>How to Present a Poster at an International Conference<\/h2>\r\n<h3>Abstract<\/h3>\r\nPresenting a poster at an international conference is a terrific opportunity to promote your research and raise your professional profile in a global academic forum. However, it can be daunting to compete with other presenters to get the attention of a passing audience. As well as a clear and captivating poster, you need the ability to build rapport quickly and present your subject positively and succinctly.\r\n\r\nThis can be especially challenging when English is the shared language but not everyone\u2019s mother tongue. Whether you are a native or a non-native English speaker, you will require flexibility and sensitivity to others in order to get your message across clearly.\r\n\r\nDuring the three poster sessions, Sue will be hovering in the room, watching and listening to your approach. She will then prepare to highlight on the final day the key thought-processes as well as the verbal and non-verbal skills you need to give a powerful poster presentation.\r\n\r\nSue will also be available each day to provide confidential one-to-one feedback for any students who are interested.\r\n<h3>Biography<\/h3>\r\nSue Duraikan runs Duraikan Training (www.duraikan-training.com), a consultancy which aims to help individuals and organisations develop. Duraikan Training provides support in designing and delivering learning strategies. We also run group workshops and one-to-one coaching on a wide range of professional skills. As a former teacher of French and German and with wide experience of working globally, Sue Duraikan has a particular interest in cross-cultural communication, and deep respect for those who operate daily in a second or third language.\r\n\r\n[\/panel]\r\n\r\n[panel header=\"Andy Gordon | Principal Researcher, Microsoft Research\"]\r\n<strong><img class=\"size-full wp-image-269007 alignright\" src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2015\/02\/andy-gordon100x132.jpg\" alt=\"andy-gordon100x132\" width=\"100\" height=\"132\" \/><\/strong>\r\n<h2>Strategic Thinking for Researchers<\/h2>\r\n<ul>\r\n \t<li><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/video\/strategic-thinking-for-researchers-3\/\">Watch the session<\/a><\/li>\r\n<\/ul>\r\n<h3>Abstract<\/h3>\r\nFrom time to time at Microsoft Research, we set aside time to talk about strategic aspects of research, that is, the big picture of why we do research and how to have different sorts of impact, beyond the more immediate tasks of writing papers, giving talks, and transferring ideas. This talk will cover some of these strategies for having a happy and productive career as a researcher.\r\n<h3>Biography<\/h3>\r\nAndy Gordon is a principal researcher at Microsoft Research Cambridge, where he manages Programming Principles and Tools, and is a Professor at the University of Edinburgh. Andy wrote his PhD on input\/output in lazy functional programming, and is the proud inventor of Haskell's \"&gt;&gt;=\" notation for monads. He's worked on a range of topics in concurrency, verification, and security, never straying too far from his roots in functional programming. His current passion is a functional language to enable probabilistic inference from Excel.\r\n\r\n[\/panel]\r\n\r\n[panel header=\"Hermann Hauser | Co-Founder, Amadeus Capital Partners\"]\r\n<strong><img class=\"alignright wp-image-269025 size-full\" src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2015\/02\/hermann-hauser100x132.jpg\" width=\"100\" height=\"132\" \/><\/strong>\r\n<h2>Technology Development<\/h2>\r\n<h3>Abstract<\/h3>\r\nThe Technology Development lecture starts with an overview of general purpose technologies, which changed the world economy 24 times. It then focuses on computing and how it developed its own characteristics and lead companies. The lecture then concentrates on machine learning and artificial intelligence as technologies which could transform not just our economy but every aspect of our future lives. These are man\u2019s most powerful-but also most unpredictable-technologies. Aspects of the speed with which this transformation could happen will be discussed together with the consequences it may have for employment and how likely it is that super intelligences will emerge and when.\r\n<h3>Biography<\/h3>\r\nIn 2015, Hermann was awarded a KBE for services to Engineering and Industry.\r\n\r\nSerial entrepreneur and co-founder of Amadeus Capital Partners, Dr. Hermann Hauser CBE has wide experience in developing and financing companies in the information technology sector. He co-founded a number of high-tech companies including Acorn Computers which spun out ARM, E-trade UK, Virata and Cambridge Network. Subsequently, Hermann became vice president of research at Olivetti. During his tenure at Olivetti, he established a global network of research laboratories. Since leaving Olivetti, Hermann has founded over 20 technology companies. In 1997, he co-founded Amadeus Capital Partners. At Amadeus, he invested in CSR, Solexa, Icera, Xmos and Cambridge Broadband.\r\n\r\nHermann is a Fellow of the Royal Society, the Institute of Physics and of the Royal Academy of Engineering and an Honorary Fellow of King's College, Cambridge. In 2001, he was awarded an Honorary CBE for \u2018innovative service to the UK enterprise sector\u2019. In 2004, he was made a member of the Government\u2019s Council for Science and Technology and in 2013, he was made a Distinguished Fellow of BCS, the Chartered Institute for IT.\r\n\r\nHermann has honorary doctorates from the Universities of Loughborough, Bath, Anglia Ruskin and The University of Strathclyde.\r\n\r\n[\/panel]\r\n\r\n[panel header=\"Tony Hoare | Consultant Principal Researcher, Microsoft Research\"]\r\n<strong><img class=\"size-full wp-image-269055 alignright\" src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2015\/02\/tony-hoare100x132.jpg\" alt=\"tony-hoare100x132\" width=\"100\" height=\"132\" \/><\/strong>\r\n<h2>The Laws of Programming with Concurrency<\/h2>\r\n<ul>\r\n \t<li><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/video\/the-laws-of-programming-with-concurrency\/\">Watch the session<\/a><\/li>\r\n<\/ul>\r\n<h3>Abstract<\/h3>\r\nRegular algebra provides a full set of simple laws for the programming of abstract state machines by regular expressions. They apply equally to sequential programs run on real computers. When extended by similar laws for interleaving of regular expressions, they apply also to programs for modern concurrent and distributed systems.\r\n\r\nEvidence for this claim is given by deriving from the algebra a concurrent extension of Hoare Logic (O\u2019Hearn\u2019s separation logic), and also an operational semantics for Milner\u2019s process calculus (CCS).\r\n<h3>Biography<\/h3>\r\nIn 1956, I graduated from Oxford University with an MA in classics and philosophy. I was fascinated primarily by the philosophy of mathematics, and studied the logical foundations from books by Quine and Russell. In my first industrial job (1960) for a computer manufacture, I led a project implementing a classical programming language, ALGOL 60. The implementation was based on the novel context-free syntactic definition of this language. In my first academic employment, I resolved to provide a logical foundation for the semantics of a programming language as well.\r\n\r\nOther semantic definitions have been strongly promoted and widely used-for example, denotational, algebraic, and operational. These were often regarded as rival approaches. In my recent research at Microsoft, I have discovered that all four foundations are complementary presentations of essentially the same theory. In my first academic employment at the Queen\u2019s University, Belfast, I resolved to provide a logical foundation for the semantics of a programming language as well. This was later called Hoare Logic, and gave a method of assuring correctness of programs.\r\n\r\n[\/panel]\r\n\r\n[panel header=\"Thomas Karagiannis | Researcher, Microsoft Research\"]\r\n<strong><img class=\"size-full wp-image-269052 alignright\" src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2015\/02\/thomas-karagiannis100x132.png\" alt=\"thomas-karagiannis100x132\" width=\"100\" height=\"132\" \/><\/strong>\r\n<h2>Predictable Data Centers<\/h2>\r\n<ul>\r\n \t<li><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/video\/predictable-data-centers-3\/\">Watch the session<\/a><\/li>\r\n<\/ul>\r\n<h3>Abstract<\/h3>\r\nPerformance predictability is a key requirement for high-performant applications in today's multi-tenant massive-scale data centers hosting hundreds of thousands of servers. Online services like search or social networks running in infrastructure data centers need such predictability to satisfy application Service Level Agreements (SLAs); for example, online search queries need to be responded within a few hundred milliseconds. Cloud data centers require guaranteed performance to bound customer costs and spur adoption. However, several components of today\u2019s datacenters are at odds with such high-level application SLAs.\r\n\r\nThe Predictable Data Centers (PDC) project tackles the issue of unpredictable application performance in data centers. A key contributor to such unpredictability is shared resources like network and storage. The bandwidth across the cloud network and to the cloud storage service can vary significantly. In this talk, I will discuss how we can design a predictable data center architecture that offers performance SLAs across shared resources\r\n<h3>Biography<\/h3>\r\nThomas Karagiannis is a researcher in the Systems and Networking group at Microsoft Research Cambridge, UK since 2006. Prior to joining Microsoft Research, Thomas has been with Intel Research Cambridge and the Cooperative Association for Internet Data Analysis (CAIDA). Thomas\u2019s work focuses on improving the performance and predictability of various types of computer networks, such as home or datacenter networks. Thomas received his Ph.D. degree in Computer Science from the University of California, Riverside and B.S at the Applied Informatics department of the University of Macedonia, in Thessaloniki, Greece. Besides datacenter networks, his research interests also include Internet measurements and monitoring, and social networks.\r\n\r\n[\/panel]\r\n\r\n[panel header=\"Marta Kwiatkowska | Professor of Computing Systems, Fellow, Trinity College, University of Oxford\"]\r\n<h2><strong><img class=\"size-full wp-image-269028 alignright\" src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2015\/02\/marta-kwiatkowska100x132.jpg\" alt=\"marta-kwiatkowska100x132\" width=\"100\" height=\"132\" \/><\/strong>Keynote Session: Computing Reliably with Molecular Walkers<\/h2>\r\n<ul>\r\n \t<li><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/video\/computing-reliably-with-molecular-walkers\/\">Watch the session<\/a><\/li>\r\n<\/ul>\r\n<h3>Abstract<\/h3>\r\nDNA computing is emerging as a versatile technology that promises a vast range of applications, including biosensing, drug delivery and synthetic biology. DNA logic circuits can be achieved in solution using strand displacement reactions, or by decision-making molecular robots-so called 'walkers'-that traverse tracks placed on DNA 'origami' tiles.\r\n\r\nSimilarly to conventional silicon technologies, ensuring fault-free DNA circuit designs is challenging, with the difficulty compounded by the inherent unreliability of the DNA technology and lack of scientific understanding. This lecture will give an overview of computational models that capture DNA walker computation and demonstrate the role of quantitative verification and synthesis in ensuring the reliability of such systems. Future research challenges will also be discussed.\r\n<h3>Biography<\/h3>\r\nMarta Kwiatkowska is Professor of Computing Systems and Fellow of Trinity College, University of Oxford. She holds a BSc\/MSc in Computer Science from the Jagiellonian University, MA from Oxford and a PhD from the University of Leicester. In 2014 she was awarded an honorary doctorate from KTH Royal Institute of Technology in Stockholm.\r\n\r\nMarta Kwiatkowska spearheaded the development of probabilistic and quantitative methods in verification on the international scene. She led the development of the PRISM model checker (<a href=\"http:\/\/www.prismmodelchecker.org\/\">www.prismmodelchecker.org<\/a>), the leading software tool in the area and widely used for research and teaching. Applications of probabilistic model checking have spanned communication and security protocols, nanotechnology designs, power management, game theory, planning and systems biology, with genuine flaws found and corrected in real-world protocols. Kwiatkowska gave the Milner Lecture in 2012 in recognition of \"excellent and original theoretical work which has a perceived significance for practical computing\" and was invited to give keynotes at the LICS 2003, ESEC\/FSE 2007, ETAPS\/FASE 2011 and ATVA 2013 conferences. Marta Kwiatkowska is a member of Academia Europea and Fellow of the BCS. Kwiatkowska's research has been supported by grant funding from EPSRC, ERC, EU, DARPA and Microsoft Research Cambridge, including the prestigious ERC Advanced Grant VERIWARE \"From software verification to everyware verification\" and \u00a35m EPSRC programme grant on Mobile Robotics.\r\n\r\n[\/panel]\r\n\r\n[panel header=\"Natasa Milic-Frayling | Principal Researcher, Microsoft Research\"]\r\n<strong><img class=\"size-full wp-image-269034 alignright\" src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2015\/02\/milic-frayling.jpg\" alt=\"milic-frayling\" width=\"100\" height=\"132\" \/><\/strong>\r\n<h2>Technology &amp; Economics: Real-Time Ad Bidding and Personal Surveillance<\/h2>\r\n<ul>\r\n \t<li><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/video\/technology-economics-real-time-ad-bidding-and-personal-surveillance\/\">Watch the session<\/a><\/li>\r\n<\/ul>\r\n<h3>Abstract<\/h3>\r\nInternet advertisers reach millions of customers through practices that involve real time tracking of users\u2019 online activities. The tracking is commonly conducted through browser cookies by third-party services that facilitate marketing campaigns and gather service analytics. By installing cookies on users\u2019 computers, they track the users as they navigate from one site to another. Other trackers exploit shortcomings in the cache access control and apply cookie-less profiling.\r\n\r\nAt the same time, user applications, such as commonly used Internet browsers, reveal little or no information about the information flow between the devices and services. That leaves the consumers with no insight about the breadth of the digital footprints they leave while interacting with services and no understanding of how that data is exploited.\r\n\r\nWe outline a research agenda that investigates several aspects of this problem. That involves (1) characterizing the tracking ecosystem and the value exchange within it, (2) understanding of the users\u2019 attitudes, behaviour, and awareness of the tracking practices, and (3) analysing the protocols and application design that contribute to the problem. We discuss the findings of several studies that investigate these issues. While they motivate us to think of alternatives to the privacy invading practices, they also urge deeper questions about the principles of design and comprehensibility of computing systems.\r\n<h3>Biography<\/h3>\r\nAs a principal researcher at Microsoft Research in Cambridge, Natasa is working on the design, prototyping and evaluation of information and communication systems. She is passionate about innovation in personal and social computing and promotes a dialogue between IT industry, consumers, and policy makers on the issues that arise from the adoption and use of technology. Her current focus is on digital obsolescence, automation of user tasks across devices and services, and privacy respecting systems and applications. Natasa is actively involved with a wider community of academics and practitioners through public speaking, collaborative projects, and serving on advisory boards of academic programs and commercial enterprises. She is a visiting professor at the UCL and QMUL and a member of the ACM EU Council. She serves on the advisory boards for the Course in Entrepreneurship University of Cambridge and for the Turing Gateway in Mathematics at Isaac Newton Institute for Mathematical Sciences (INI).\r\n\r\n[\/panel]\r\n\r\n[panel header=\"Simon Peyton Jones | Principal Researcher, Microsoft Research\"]\r\n<h2>How to\u00a0Write a Great Research\u00a0Paper and How to Give a Great Research Talk\r\n<strong><img class=\"size-full wp-image-269043 alignright\" src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2015\/02\/simonpj.jpg\" alt=\"simonpj\" width=\"100\" height=\"132\" \/><\/strong><\/h2>\r\n<ul>\r\n \t<li><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2015\/02\/simon-peyton-jones_paper.pdf\">How to Write a Great Research Paper<\/a> | <a href=\"https:\/\/www.microsoft.com\/en-us\/research\/video\/how-to-write-a-great-research-paper-4\/\">Watch this Session<\/a><\/li>\r\n \t<li><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2015\/02\/simon-peyton-jones_talk.pdf\">How to Give a Great Research Talk<\/a> | <a href=\"https:\/\/www.microsoft.com\/en-us\/research\/video\/how-to-give-a-great-research-talk-4\/\">Watch this Session<\/a><\/li>\r\n<\/ul>\r\n<h3>Abstract<\/h3>\r\nWriting papers and giving talks are key skills for any researcher, but they aren\u2019t easy. In this pair of presentations, I\u2019ll describe simple guidelines that I follow for writing papers and giving talks, which I think may be useful to you too. I don\u2019t have all the answers-far from it-and I hope that the presentation will evolve into a discussion in which you share your own insights, rather than a lecture.\r\n<h3>Biography<\/h3>\r\nSimon Peyton Jones, MA, MBCS, CEng, graduated from Trinity College Cambridge in 1980. After two years in industry, he spent seven years as a lecturer at University College London, and nine years as a professor at Glasgow University, before moving to Microsoft Research in 1998. His main research interest is in functional programming languages, their implementation, and their application. He has led a succession of research projects focused around the design and implementation of production-quality functional-language systems for both uniprocessors and parallel machines. He was a key contributor to the design of the now-standard functional language Haskell, and is the lead designer of the widely used Glasgow Haskell Compiler (GHC). He has written two textbooks about the implementation of functional languages. More generally, he is interested in language design, rich type systems, software component architectures, compiler technology, code generation, runtime systems, virtual machines, garbage collection, and more. He is particularly motivated by direct use of principled theory to practical language design and implementation-that\u2019s one reason he loves functional programming so much. He is also keen to apply ideas from advanced programming languages to mainstream settings.\r\n\r\n[\/panel]\r\n\r\n[panel header=\"Scarlet Schwiderski-Grosche <strong>|<\/strong>\u00a0Senior Research Program Manager, Microsoft Research\"]\r\n<h2><strong><img class=\"size-full wp-image-269058 alignright\" src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2015\/02\/scarletschwiderski-grosche100x132.jpg\" alt=\"scarletschwiderski-grosche100x132\" width=\"100\" height=\"132\" \/><\/strong>Summer School Chair; Welcome to PhD Summer School 2015<\/h2>\r\nScarlet Schwiderski-Grosche is a Senior Research Program Manager at Microsoft Research Cambridge, working for Microsoft Research Outreach in the Europe, Middle East, and Africa (EMEA) region. She is responsible for academic research partnerships in the region, especially for the Joint Research Centres with Inria in France and EPFL and ETH Zurich in Switzerland. Scarlet has a PhD in Computer Science from University of Cambridge. She was in academia for almost 10 years before joining Microsoft in March 2009. In academia, she worked as Lecturer in Information Security at Royal Holloway, University of London.\r\n\r\n[\/panel]\r\n\r\n[panel header=\"Bernhard Sch\u00f6lkopf | Max Planck Institute for Intelligent Systems\"]\r\n<strong><img class=\"size-full wp-image-269013 alignright\" src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2015\/02\/bernhard-scholkopf.jpg\" alt=\"bernhard-scholkopf\" width=\"100\" height=\"132\" \/><\/strong>\r\n<h2>Empirical Inference for Intelligent Systems<\/h2>\r\n<ul>\r\n \t<li><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/video\/empirical-inference-for-intelligent-systems\/\">Watch the session<\/a><\/li>\r\n<\/ul>\r\n<h3>Abstract<\/h3>\r\nEmpirical Inference is the process of drawing conclusions from observational data. For instance, the data can be measurements from an experiment, which are used by a researcher to infer a scientific law. Another kind of empirical inference is performed by living beings, continuously recording data from their environment and carrying out appropriate actions. Do these problems have anything in common, and are there underlying principles governing the extraction of regularities from data? What characterizes hard inference problems, and how can we solve them?\r\n\r\nThe talk will describe some of the main ideas and problems of machine learning. It will provide illustrative examples of real-world machine learning applications. Time permitting, it will touch upon recent developments in estimating causal structures, and\/or probabilistic programming.\r\n<h3>Biography<\/h3>\r\nBernhard Sch\u00f6lkopf's scientific interests are in machine learning and inference. In particular, he studies kernel methods for extracting regularities from possibly high-dimensional data. These regularities are usually statistical ones, however, in recent years he also got interested in methods for finding causal structures that underlie statistical dependences. He has worked on a number of different applications of machine learning, with a recent focus on photography and astronomy. Bernhard has researched at AT&amp;T Bell Labs; at GMD FIRST, Berlin; and at Microsoft Research Cambridge, UK, before becoming a Max Planck director in 2001. He received the J.K. Aggarwal Prize of the International Association for Pattern Recognition, the Max Planck Research Award, the Academy Prize of the Berlin-Brandenburg Academy of Sciences and Humanities, and the Royal Society Milner Award.\r\n\r\n[\/panel]\r\n\r\n[panel header=\"Abigail Sellen | Principal Researcher, Microsoft Research\"]\r\n<strong><img class=\"wp-image-269004 size-full alignright\" src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2015\/02\/abigail-sellen100x132.jpg\" width=\"100\" height=\"132\" \/><\/strong>\r\n<h2>Designing Computer Systems That See<\/h2>\r\n<h3>Abstract<\/h3>\r\nThe last decade has witnessed rapid advancements in computer vision systems, not just in the world of gaming, but in many aspects of everyday life, from medical systems to augmented reality. Computer systems that \"see\u201d enable new forms of input, can track and identify people, can capture and model the physical world around us, and can be combined with other system capabilities such as conversational agents. But the challenge in developing these systems is much more than technical. In this talk, I explore the process of designing computer vision applications from a human perspective, and through our own attempts to build them for a variety of real world settings. In doing so, I propose that such systems need to make their users aware of the differences between how computer systems and how people sense, perceive, analyse and respond to the world. This has implications beyond computer vision to more general notions of \u201csmart\u201d systems in an era where artificial intelligence has again taken hold of our collective imagination.\r\n<h3>Biography<\/h3>\r\nAbigail Sellen is a principal researcher at Microsoft Research Cambridge where she manages the Human Experience &amp; Design Group. Prior to Microsoft, she worked at Hewlett-Packard Labs, Rank Xerox EuroPARC, Apple Computer, and Bell Northern Research. Abigail first became interested in human-computer interaction through a summer internship at Apple while working on her doctorate in cognitive science with Don Norman. She has since published extensively on many diverse topics, including the book <em>The Myth of the Paperless Office<\/em> (with co-author Richard Harper). Alongside honorary professorships at University College London and the University of Nottingham, she is also a Fellow of the Royal Academy of Engineering, Fellow of the British Computer Society, and a member of the ACM SIGCHI Academy.\r\n\r\n[\/panel]\r\n\r\n[panel header=\"Matthew Smith | Scientist, Microsoft Research\"]\r\n<strong><img class=\"size-full wp-image-269031 alignright\" src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2015\/02\/matthew-smith100x132.png\" alt=\"matthew-smith100x132\" width=\"100\" height=\"132\" \/><\/strong>\r\n<h2>Joined up Planetary Information, in the Cloud and on Devices<\/h2>\r\n<ul>\r\n \t<li><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/02\/en-us-events-2015summerschool-msmith-phdsummerschool2015.pdf\">View the slides<\/a><\/li>\r\n<\/ul>\r\n<h3>Abstract<\/h3>\r\nIn scientific research and development, emphasis is placed on research over development. A significant cost is that the two-way interaction between scientific insights and societal needs does not function effectively to lead to impacts in the wider world. We simply must embrace new software and hardware approaches if we are to provide timely predictive information to address global problems, support businesses and inform governments and citizens. The Microsoft Research Computational Science Lab has been pioneering research into software and methodologies to provide useful and usable new environmental information. Our approach has been very joined-up: from accelerating data acquisition from the field with remote sensor technology, targeted data collection and citizen science, to enabling process based modelling-using multiple heterogeneous data-sets in the cloud and enabling the resulting planetary information to be accessed from any device. This talk will demonstrate some of the specific research and development we are doing to accelerate the pace in which important science has impact on the wider world and will emphasise the important insights gained from advancing the research and development together.\r\n<h3>Biography<\/h3>\r\nAlways fascinated by patterns in nature, Matthew undertook an ecology undergraduate degree at his local university (Aberdeen) that culminated in his first serious modelling: evolving virtual plants in virtual worlds to understand what determines their form and function. That work took him on to very practical work with the Royal Botanic Gardens Kew where he was a conservation projects officer for several years, conducting research in his free time before finally he cracked and decided he should know what it is he\u2019s talking about. That led to a PhD in mathematics at Heriot-Watt University in Edinburgh, where he acquired more traditional mathematical modelling skills. Since then, he has worked exclusively for Microsoft Research where he thrives on combining scientific understanding of how natural systems work with real world evidence to try to build defensible forecast systems of biological phenomena: diseases, vegetation dynamics, crops, riots, plankton. He is now driven by a realisation that it is possible to generate genuinely valuable forecasts of a lot more than just weather!\r\n\r\n[\/panel]\r\n\r\n[panel header=\"Kenji Takeda | Solutions Architect, Microsoft Research\"]\r\n<strong><img class=\"size-full wp-image-269049 alignright\" src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2015\/02\/takeda.jpg\" alt=\"takeda\" width=\"100\" height=\"132\" \/><\/strong>\r\n<h2>Microsoft Azure Tutorial<\/h2>\r\n<h3>Biography<\/h3>\r\nDr. Kenji Takeda is Solutions Architect and Technical Manager for the Microsoft Research Outreach EMEA team. He has extensive experience in Cloud Computing, High Performance and High Productivity Computing, Data-intensive Science, Scientific Workflows, Scholarly Communication, Engineering and Educational Outreach. He has a passion for developing novel computational approaches to tackle fundamental and applied problems in science and engineering. He was previously Co-Director of the Microsoft Institute for High Performance Computing, and Senior Lecturer in Aeronautics, at the University of Southampton, UK. There he worked with leading high value manufacturing companies such as Airbus, AgustaWestland, BAE Systems, Rolls-Royce and Formula One teams, to develop state-of-the-art capability for improving science and engineering processes. He also worked in the areas of aerodynamics, aeroacoustics and flight simulation.\r\n\r\n[\/panel]\r\n\r\n[panel header=\"Nikolai Tillmann | Principal Software Engineering Manager, Microsoft\"]\r\n<strong><img class=\"size-full wp-image-269037 alignright\" src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2015\/02\/nikolai-tillmann100x132.jpg\" alt=\"nikolai-tillmann100x132\" width=\"100\" height=\"132\" \/><\/strong>\r\n<h2>Code Hunt<\/h2>\r\n<h3>Abstract<\/h3>\r\nCode Hunt is a serious game where the player writes code (Java or C#) to satisfy a mysterious oracle in the cloud. The game play advances through a series of increasingly difficult levels. In each level, the player has to discover the goal by studying a stream of test cases that show behavioral differences between the player\u2019s code and the secret algorithm which the oracle in the cloud desires. The cloud-based game engine is powered by Microsoft Research\u2019s Pex system, an automated test generation tool for .NET based on dynamic symbolic execution and the Z3 solver; Pex is now shipping as \u201cIntelliTest\u201d in Visual Studio 2015. Try the game for yourself at <a href=\"http:\/\/www.codehunt.com\/\">http:\/\/www.codehunt.com<\/a>.\r\n<h3>Biography<\/h3>\r\nNikolai Tillmann is a principal software engineering manager at Microsoft, Redmond. He currently leads an effort to transform Microsoft\u2019s core build system to achieve unprecedented reliability, scalability and maintainability. He is the architect of Visual Studio 2015\u2019s IntelliTest (\u201cPex\u201d) feature, enabling automatic test case generation for .NET applications via dynamic symbolic execution. Try out Pex on the web at <a href=\"http:\/\/www.pexforfun.com\/\">www.pexforfun.com<\/a>, or play a coding game based on the Pex engine at <a href=\"http:\/\/www.codehunt.com\/\">www.codehunt.com<\/a>. At Microsoft Research, Nikolai also started <a href=\"http:\/\/www.touchdevelop.com\/\">TouchDevelop<\/a>, a cross-platform development environment that enables end-users to write programs for mobile devices on mobile devices; try it for yourself at <a href=\"http:\/\/www.touchdevelop.com\/\">www.touchdevelop.com<\/a>.\r\n\r\n[\/panel]\r\n\r\n[panel header=\"Christoph Wintersteiger |\u00a0Researcher, Microsoft Research\"]\r\n<strong><img class=\"size-full wp-image-269019 alignright\" src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2015\/02\/christoph-wintersteiger100x132.jpg\" alt=\"christoph-wintersteiger100x132\" width=\"100\" height=\"132\" \/><\/strong>\r\n<h2>The Varied Forms of Verification with Z3<\/h2>\r\n<ul>\r\n \t<li><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/video\/the-varied-forms-of-verification-with-z3\/\">Watch the session<\/a><\/li>\r\n<\/ul>\r\n<h3>Abstract<\/h3>\r\nThe Z3 theorem prover is Microsoft's main engine of logic and it is used in a variety of projects. It is rooted in the need for efficient decision procedures in the area of software verification, and it has since been extended into bordering areas. Emerging applications include verification of probabilistic properties of software and other systems, as well as verification and synthesis of biological systems, both constructed and natural.\r\n\r\nIn this talk, I will briefly introduce the core concepts involved in verification(-like) problems, and I will demonstrate how theorem provers in general, and Z3 specifically, are employed to solve many of the subproblems that arise. I will then touch upon the satisfiability problem for the theory of floating-point numbers as an example of the design of a tailored decision procedure for a particular theory. The last part of the talk will be spent on various applications of this and other decision procedures to problems that arise in computer science and in computational biology.\r\n<h3>Biography<\/h3>\r\nChristoph Wintersteiger is a researcher in the Programming Principles and Tools group at Microsoft Research Cambridge. He graduated from ETH Zurich in 2011 and has since been a research intern and a postdoc at MSRC. He works on efficient decision procedures for various logics, and applications thereof in software and hardware verification. Currently, his focus is on finite-domain theories like Boolean formulas (SAT, QBF), bit-vectors, floating-point numbers, and (some) probabilistic theories. Along with applications in verification, he recently became interested in the exploration and verification of biological systems, e.g., chemical reaction networks. He is one of the core team of developers of the Z3 theorem prover, which is Microsoft's main engine of logic.\r\n\r\n[\/panel]\r\n\r\n[panel header=\"Dave Yewman | Elevator Speech Inc.\"]\r\n<strong><img class=\"size-full wp-image-269022 alignright\" src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2015\/02\/dave-yewman100x132.jpg\" alt=\"dave-yewman100x132\" width=\"100\" height=\"132\" \/><\/strong>\r\n<h2>Delivering a Fabulous Research Talk: How to Tell More Stories, Use Less PowerPoint and Get to the Point When Presenting<\/h2>\r\n<h3>Abstract<\/h3>\r\nWe've all been there: a dark room, a long and boring speech accompanied by an endless stream of bullet-heavy PowerPoint slides. It's maddening. In this session you'll learn how to really engage an audience, how to deliver a research presentation with emphasis and energy, and finally how to use body language to your advantage. You'll also learn what separates a good presentation slide from a bad one, and how to calibrate a speech so that even complicated, technical topics can be explained in a clear, concise, compelling way.\r\n<h3>Biography<\/h3>\r\nDave is a strategic communications expert with more than 19 years of experience in the field. A former newspaper reporter and columnist, Dave has counseled senior executives at a variety of companies, managed communications teams and led business development efforts. He has also conducted storytelling workshops and presentation training sessions for thousands of executives at numerous companies, including Microsoft, CA, Clif Bar, Dell, CBS, Ingram Micro, aQuantive, T-Mobile, MercyCorps, DriveSavers, Reebok, Tripwire, Wieden + Kennedy, SnapChat, Zurich Insurance, and Adidas.\r\n\r\nHe has spoken to numerous groups about how to translate complex scientific and technical information into clear, concise, compelling language. Before establishing Elevator Speech Inc., Dave was the general manager of Weber Shandwick's Portland office. Before joining Weber Shandwick, he led a Waggener Edstrom PR team charged with developing strategic PR programs for Microsoft in a variety of industries, including financial services, manufacturing and healthcare. Dave was an award- winning reporter and columnist at The Galveston Daily News in Texas and an on-camera spokesman for The University of Texas Medical Branch. He is a graduate of the University of Northern Colorado's school of journalism.\r\n\r\n[\/panel]\r\n\r\n[\/accordion]"},{"id":3,"name":"Leisure","content":"<h2>Food and drink<\/h2>\r\n<ul>\r\n \t<li><a href=\"http:\/\/www.cambridgerestaurants.com\/\">Cambridge Restaurants Guide<\/a><\/li>\r\n \t<li><a href=\"http:\/\/www.cambridgepubs.com\/\">Cambridge Pubs Guide<\/a><\/li>\r\n<\/ul>\r\n<h2>Cinema<\/h2>\r\n<ul>\r\n \t<li><a href=\"http:\/\/www.picturehouses.co.uk\/cinema_home_date.aspx?venueId=camb\">The Arts Picture House<\/a><\/li>\r\n<\/ul>\r\n<blockquote>38-39 St Andrews Street, Cambridge, CB2 3AR\r\nTel: 01223 572929<\/blockquote>\r\n<ul>\r\n \t<li><a href=\"http:\/\/www.cineworld.co.uk\/cinemas\/7\">Cineworld<\/a><\/li>\r\n<\/ul>\r\n<blockquote>Cambridge Leisure Park, Clifton Road, Cambridge, CB1 7DY\r\nTel: 0871 200 2000<\/blockquote>\r\n<ul>\r\n \t<li><a href=\"http:\/\/www.myvue.com\/cinemas\/facilities\/cinema\/cambridge\">Vue Cinema<\/a><\/li>\r\n<\/ul>\r\n<blockquote>The Grafton Centre, East Rd, Cambridge, CB1 1PS\r\nTel: 0871 2240240<\/blockquote>\r\n<h2>Theatres<\/h2>\r\n<ul>\r\n \t<li><a href=\"http:\/\/www.cambridgeartstheatre.com\/\">Cambridge Arts Theatre<\/a><\/li>\r\n<\/ul>\r\n<blockquote>6 St Edwards Passage, Cambridge, CB2 3PL\r\nTel: 01223 578933<\/blockquote>\r\n<ul>\r\n \t<li><a href=\"http:\/\/www.adctheatre.com\/\">ADC Theatre<\/a><\/li>\r\n<\/ul>\r\n<blockquote>Park Street, Cambridge, CB5 8AS\r\nTel: 01223 359547<\/blockquote>\r\n<ul>\r\n \t<li><a href=\"http:\/\/www.anglia.ac.uk\/ruskin\/en\/home\/microsites\/mumford_theatre.html\">Mumford Theatre<\/a><\/li>\r\n<\/ul>\r\n<blockquote>Anglia Polytechnic University, East Road, Cambridge, CB1 1PT\r\nTel: 0845 196 2320<\/blockquote>\r\n<ul>\r\n \t<li><a href=\"http:\/\/www.cornex.co.uk\/\">Cambridge Corn Exchange<\/a><\/li>\r\n<\/ul>\r\n<blockquote>3, Parson Court, Wheeler Street, Cambridge, CB2 3QE\r\nTel: 01223 357851<\/blockquote>\r\n<ul>\r\n \t<li><a href=\"http:\/\/www.junction.co.uk\/\">The Junction<\/a><\/li>\r\n<\/ul>\r\n<blockquote>Cambridge Leisure Park, Clifton Road, Cambridge, CB1 7GX\r\nTel: 01223 511511<\/blockquote>"},{"id":4,"name":"FAQ","content":"<b>What is the week-long agenda?<\/b> The agenda will be full of exciting events including demonstrations, talks, and discussions, which will enable you to interact with and present your poster together with networking events. For more details, review the PhD Summer School 2015 agenda.\r\n\r\n<b>When should I arrive at Selwyn College?<\/b> Plan to arrive at Selwyn College no later than 16:00 on Monday, 29 June 2015 for check in at The Porters Lodge. Registration and High Tea is between 16:00 and 18:00.\r\n<ul>\r\n \t<li><a title=\"\" href=\"http:\/\/www.sel.cam.ac.uk\/college\/directions\/\" target=\"_new\">Directions to Selwyn College<\/a><\/li>\r\n<\/ul>\r\n<b>When should I book my travel?<\/b> Book your travel as soon as possible so that you can be sure to arrive no later than 16:00 on Monday, 29 June 2015 and leave no earlier than 12.30 on Friday, 3 July 2015 when Summer School officially closes.\r\n<blockquote><b>Travel tips<\/b>\r\n<ul>\r\n \t<li>Where possible, fly into either London Stansted or London City Airport, which are closer to Cambridge and less congested.<\/li>\r\n \t<li>Avoid flying into London Heathrow or London Gatwick airports, which are quite a distance from Cambridge.<\/li>\r\n \t<li>Cambridge Airport runs flights to and from a limited number of European destinations.<\/li>\r\n \t<li>Use the train where possible; it\u2019s better for the environment!<\/li>\r\n<\/ul>\r\n<\/blockquote>\r\n<b>How do I register for accommodation?<\/b> Please register for your accommodation via the link in your invitation by 29 May 2015. Reservations should not be made directly. Request a room for the day that you arrive.\r\n\r\n<b>When should I check out from Selwyn College?<\/b> Checkout is before 9.30 A.M on Friday, 3 July 2015.\r\n\r\n<b>Where can I store my luggage when I check out from Selwyn College?<\/b> Luggage cannot be left at Selwyn College once you have checked out on Friday, 3 July, but can be stored securely at Microsoft Cambridge whilst you attend Summer School for the morning.\r\n\r\n<b>What should I do if I require a visa?<\/b> If you require a letter to support your visa or to present to the port authorities upon entry, download and complete the\u00a0<a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/02\/en-us-events-2015summerschool-business-travel-support-letter-questionnaire-2015.docx\">PhD Summer School 2015 Business Travel Support Letter Questionnaire<\/a>\u00a0(DOCX, 93 KB) when you complete your online registration, and send it as an attachment to <a href=\"mailto:vvletter@microsoft.com\">vvletter@microsoft.com<\/a>. Your request will be processed and a soft copy of the invitation letter sent by email; if you require a hard copy letter, please provide a delivery address. Note that the team will need at least a week to prepare the letter.\r\n\r\n<b>What about transportation?<\/b> You are responsible for getting to Selwyn College and should follow the travel reimbursement guidelines. All transportation during Summer School will be provided, including transfers between Selwyn College and Microsoft Research.\r\n\r\n<b>What is the dress code?<\/b> The dress code is smart\/casual.\r\n\r\n<b>Will I be able access the Internet during this event?<\/b> Selwyn College will offer free Wi-Fi in the bedrooms and public areas. Microsoft Research will offer free Wi-Fi access in the building. There will be instructions available when you access the building.\r\n\r\n<b>What should I do if I have a special dietary need? <\/b>Vegetarian options will be provided for all meals and snacks. Should you have any additional\u00a0special dietary needs, please make sure you let us know when you register.\r\n\r\n<b>Will I be able to have the contact details of the other attendees?<\/b> Yes, if you have consented to sharing your details during your online registration.\r\n\r\n<b>Will I be able to access any of the photographs taken during Summer School?<\/b> If you consented to sharing your photographs during your online registration, you will have access to the photographs after the event.\r\n\r\n<b>What should I do if I need a doctor or have a medical emergency? <\/b>\r\n<ul>\r\n \t<li><b>In a medical emergency<\/b>, dial 999<\/li>\r\n \t<li><b>For a non-emergency<\/b>, a list of local medical surgeries can be found <a href=\"http:\/\/www.healthcentre.org.uk\/medical-centres\/find-cambridge.html\">here<\/a> or ring one listed below:\r\n<ul>\r\n \t<li>Cherry Hinton Medical Centre 0844 8151440<\/li>\r\n \t<li>Bridge Street Medical Centre 08444 773939<\/li>\r\n \t<li>Petersfield Medical Practice 01223 350 647<\/li>\r\n \t<li>York Street Medical Practice 01223 364 116<\/li>\r\n<\/ul>\r\n<\/li>\r\n<\/ul>\r\n<i>In the case of sickness or an emergency, where possible, please notify Sue Flanders, PhD Scholarship Programme Manager on 01223 476 996 or by email <\/i><a href=\"mailto:i-suef@microsoft.com\"><i>i-suef@microsoft.com<\/i><\/a><i> as soon as you can. <\/i>"},{"id":5,"name":"Posters","content":"You will have the opportunity to present your research to other Microsoft researchers and participants during a two-hour poster session. This will enable you to promote and discuss your work with experts in your field and with a wider audience.\r\n<h2>Presenting your poster<\/h2>\r\nPoster sessions are scheduled between 12:00 and 14:00 P.M. on Tuesday, Wednesday, and Thursday.\r\n\r\nYour poster will be selected for presentation on one day only. Posters will be displayed on individual poster boards distributed around the area where the lunchtime buffet is served.\r\n\r\nDuring your poster session, you will be expected to stand by your poster so that your fellow students and researchers from the Microsoft Cambridge Lab can have the opportunity to read about your research over lunch and discuss it with you.\r\n\r\nYou do not need to prepare a long presentation, but it is a good idea to prepare a short introductory explanation (perhaps 30 seconds to a minute long) to capture their attention at the start. Don\u2019t worry, it is all very relaxed.\r\n\r\nRemember to eat lunch yourself! Choose a quiet moment to grab something from the buffet and then return to your poster.\r\n<h2>Designing\u00a0your poster<\/h2>\r\nYou will need to design a poster that is A1 portrait (594 mm width x 841 mm height) in colour. Your poster should be created in either PowerPoint or PDF format.\r\n\r\nYour poster should articulate clearly and concisely both visually and textually:\r\n<ul>\r\n \t<li>The challenge being addressed or question being answered by the research in such a way that a non-expert can understand the importance of the research<\/li>\r\n \t<li>The focus of the research<\/li>\r\n \t<li>The intended outcome<\/li>\r\n \t<li>The current stage you have reached<\/li>\r\n \t<li>Any research results, preliminary conclusions, or potentially interesting next steps<\/li>\r\n<\/ul>\r\nPosters should be aimed at other students and researchers who do not necessarily have expertise in that specific area of research.\r\n\r\nPosters should clearly display:\r\n<ul>\r\n \t<li>Your name<\/li>\r\n \t<li>The name of your supervisor and any collaborators<\/li>\r\n \t<li>The name of your university<\/li>\r\n<\/ul>\r\n<h3>Academic poster design guidance<\/h3>\r\nFor helpful guidelines on how to design an academic poster, visit <a title=\"\" href=\"http:\/\/www2.le.ac.uk\/offices\/ld\/resources\/presentation\/designing-poster\/designing-poster\" target=\"_new\">Designing an academic poster<\/a> and then click <b>Go to the tutorial<\/b>.\r\n\r\nOnce you have registered, Sue Duraikan, who returns by popular demand to present her talk on Poster Presentations at the Summer School, will be in touch via email to offer support in preparing your poster. There will also be an opportunity to gain confidential one-on-one feedback on your poster and your presentation skills.\r\n<h2>Printing your poster<\/h2>\r\nWe will be happy to print your poster for you if you send an electronic copy (PowerPoint or PDF format) by email to <a href=\"mailto:i-suef@microsoft.com\">i-suef@microsoft.com<\/a> before Monday, 8 June 2015. Otherwise, be sure that you bring your poster with you to Summer School. You can print it on paper and have it laminated, but it is worth looking into the possibility of printing it on fabric, which makes it easier to transport.\r\n\r\n<b>Poster submission deadline:<\/b> Monday, 8 June 2015"}],"msr_startdate":"2015-06-29","msr_enddate":"2015-07-03","msr_event_time":"","msr_location":"Cambridge, UK","msr_event_link":"","msr_event_recording_link":"","msr_startdate_formatted":"June 29, 2015","msr_register_text":"Watch now","msr_cta_link":"","msr_cta_text":"","msr_cta_bi_name":"","featured_image_thumbnail":null,"event_excerpt":"The PhD Summer School is an annual event that is organized at Microsoft Research Cambridge in relation to the Microsoft Research PhD Scholarship Programme. The tenth Microsoft Research Summer School took place at Microsoft Research in Cambridge, UK, from 29 June to 3 July 2015. It included a series of talks of academic interest, transferable skills talks, and poster sessions that provided invited students the opportunity to present their work to Microsoft researchers. Invited students&hellip;","msr_research_lab":[],"related-researchers":[],"msr_impact_theme":[],"related-academic-programs":[],"related-groups":[],"related-projects":[],"related-opportunities":[],"related-publications":[],"related-videos":[],"related-posts":[],"_links":{"self":[{"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-event\/200039","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-event"}],"about":[{"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/types\/msr-event"}],"version-history":[{"count":3,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-event\/200039\/revisions"}],"predecessor-version":[{"id":1147369,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-event\/200039\/revisions\/1147369"}],"wp:attachment":[{"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/media?parent=200039"}],"wp:term":[{"taxonomy":"msr-research-area","embeddable":true,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/research-area?post=200039"},{"taxonomy":"msr-region","embeddable":true,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-region?post=200039"},{"taxonomy":"msr-event-type","embeddable":true,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-event-type?post=200039"},{"taxonomy":"msr-video-type","embeddable":true,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-video-type?post=200039"},{"taxonomy":"msr-locale","embeddable":true,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-locale?post=200039"},{"taxonomy":"msr-program-audience","embeddable":true,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-program-audience?post=200039"},{"taxonomy":"msr-post-option","embeddable":true,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-post-option?post=200039"},{"taxonomy":"msr-impact-theme","embeddable":true,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-impact-theme?post=200039"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}