{"id":270687,"date":"2016-08-04T16:52:25","date_gmt":"2016-08-04T23:52:25","guid":{"rendered":"https:\/\/www.microsoft.com\/en-us\/research\/?post_type=msr-event&#038;p=270687"},"modified":"2018-07-26T14:14:45","modified_gmt":"2018-07-26T21:14:45","slug":"phd-summer-school-2009","status":"publish","type":"msr-event","link":"https:\/\/www.microsoft.com\/en-us\/research\/event\/phd-summer-school-2009\/","title":{"rendered":"PhD Summer School 2009"},"content":{"rendered":"<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=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" href=\"http:\/\/www.facebook.com\/home.php#\/group.php?gid=94950648340&ref=ts\" target=\"_self\">MSR Summer School 2009 Facebook Group<\/a><\/li>\n<li><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/event\/phd-summer-school-2008\/\" target=\"_self\">Summer School 2008<\/a><\/li>\n<\/ul>\n","protected":false},"excerpt":{"rendered":"<p>Links Microsoft Research Cambridge MSR Summer School 2009 Facebook Group Summer School 2008<\/p>\n","protected":false},"featured_media":0,"template":"","meta":{"msr-url-field":"","msr-podcast-episode":"","msrModifiedDate":"","msrModifiedDateEnabled":false,"ep_exclude_from_search":false,"msr_startdate":"2009-06-29","msr_enddate":"2009-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,"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-270687","msr-event","type-msr-event","status-publish","hentry","msr-region-europe","msr-locale-en_us"],"msr_about":"<h3>Links<\/h3>\r\n<ul>\r\n \t<li><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/lab\/microsoft-research-cambridge\/\">Microsoft Research Cambridge<\/a><\/li>\r\n \t<li><a href=\"http:\/\/www.facebook.com\/home.php#\/group.php?gid=94950648340&amp;ref=ts\" target=\"_self\">MSR Summer School 2009 Facebook Group<\/a><\/li>\r\n \t<li><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/event\/phd-summer-school-2008\/\" target=\"_self\">Summer School 2008<\/a><\/li>\r\n<\/ul>","tab-content":[{"id":0,"name":"About","content":"<img class=\"size-full wp-image-270894 alignleft\" src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/Group_Photo_73_73.jpg\" alt=\"Group_Photo_73_73\" width=\"73\" height=\"73\" \/>The fourth Microsoft Research Summer School was held at Microsoft Research in Cambridge, U.K., on 29 June through 3 July 2009. It included a series of talks of academic interest and poster sessions that gave invited students the opportunity to present their work to Microsoft researchers and a number of Cambridge academics.\r\n\r\nInvited students included PhD students at the end of their first year from the Cambridge University\u00a0<a href=\"http:\/\/www.cl.cam.ac.uk\/\" target=\"_self\">Computer Laboratory<\/a> and\u00a0<a href=\"http:\/\/www.eng.cam.ac.uk\/\" target=\"_self\">Engineering Department<\/a>, from the <a href=\"http:\/\/www.imprs-cs.de\/\" target=\"_self\">International Max Planck Research Schools for Computer Science<\/a>,\u00a0from the <a href=\"http:\/\/www.bscmsrc.eu\/\">BSC\u2013 Microsoft Research Centre at Barcelona Supercomputing Centre<\/a>\u00a0and all the Microsoft Research 2008 PhD Scholars.\r\n\r\nLectures and posters sessions were public and open to all research staff and students from the University of Cambridge."},{"id":1,"name":"Agenda","content":"<h2>Monday,\u00a029 June 2009<\/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\" style=\"text-align: left\">Session<\/th>\r\n<th class=\"th\"><\/th>\r\n<th class=\"th\"><\/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\">15:00<\/div><\/td>\r\n<td>\r\n<div class=\"msr-table-schedule-cell\">Registration, <a href=\"http:\/\/conference.jesus.cam.ac.uk\/facilities\/uhall.htm\" target=\"_self\">Upper Hall<\/a>, <a href=\"http:\/\/www.jesus.cam.ac.uk\/\" target=\"_self\">Jesus College\u00a0<\/a>\u2013 <strong>All students<\/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\">\r\n<div class=\"msr-table-schedule-cell\">15:30<\/div><\/td>\r\n<td>\r\n<div class=\"msr-table-schedule-cell\">Welcome and\u00a0group 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\">16:30<\/div><\/td>\r\n<td>\r\n<div class=\"msr-table-schedule-cell\">Bus transportation from\u00a0Jesus College to the Go-karting venue<\/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:00<\/div><\/td>\r\n<td>\r\n<div class=\"msr-table-schedule-cell\">Go-karting* and dinner (casual clothing; we recommend wearing old shoes)<\/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\">TBC<\/div><\/td>\r\n<td>\r\n<div class=\"msr-table-schedule-cell\">Bus transportation back to Jesus College<\/div><\/td>\r\n<td><\/td>\r\n<td><\/td>\r\n<\/tr>\r\n<\/tbody>\r\n<\/table>\r\n<h2>Tuesday,\u00a030 June 2009<\/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\" style=\"text-align: left\">Session<\/th>\r\n<th class=\"th\" style=\"text-align: left\">Speaker<\/th>\r\n<th class=\"th\"><\/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\">09:00<\/div><\/td>\r\n<td>\r\n<div class=\"msr-table-schedule-cell\">Bus to Microsoft Research<\/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><strong>How to write a great research paper<\/strong><\/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>\r\n(Microsoft Research)<\/div>\r\n<\/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\">10:30<\/div><\/td>\r\n<td>Break<\/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>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>\r\n(Microsoft Research)<\/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\">12:00<\/div><\/td>\r\n<td>\r\n<div class=\"msr-table-schedule-cell\">Lunch and posters session 1 (see posters guidelines)<\/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\">13:30<\/div><\/td>\r\n<td>\r\n<div class=\"msr-table-schedule-cell\"><strong>New kinds of software for new kinds of science<\/strong><\/div><\/td>\r\n<td>\r\n<div class=\"msr-table-schedule-cell\">\r\n\r\nAlexander Br\u00e4ndle\r\n(Microsoft Research)\r\n\r\n<\/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:30<\/div><\/td>\r\n<td>\r\n<div class=\"msr-table-schedule-cell\">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:00<\/div><\/td>\r\n<td>\r\n<div class=\"msr-table-schedule-cell\"><strong>Presentation of past students<\/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>15:00 - Hybrids of generative and discriminative models<\/strong><\/div><\/td>\r\n<td>\r\n<div class=\"msr-table-schedule-cell\">Julia Lasserre (University of Cambridge\/Max Planck Institute)<\/div><\/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>15:20 - Scalable display architecture<\/strong><\/div><\/td>\r\n<td>\r\n<div class=\"msr-table-schedule-cell\">Alban Rrustemi\r\n(University of Cambridge)<\/div><\/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>15:40 - Generative face models for image understanding<\/strong><\/div><\/td>\r\n<td>Brian Amberg<a href=\"http:\/\/rmc-stage\/en-us\/events\/2009summerschool\/#Brian\">\r\n<\/a>(University of Basel)<\/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>16:00 - Interactive matting<\/strong><\/div><\/td>\r\n<td>Christoph Rhemann\u00a0(Vienna University of Technology)<\/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>16:20 - Challenges in refactoring<\/strong><\/div><\/td>\r\n<td>Mathieu Verbaere (University of Oxford\/<a href=\"http:\/\/semmle.com\/\" target=\"_self\">Semmle<\/a>)<\/td>\r\n<td><\/td>\r\n<\/tr>\r\n<tr class=\"tr\">\r\n<td class=\"td-1-4\">16:40<\/td>\r\n<td>\r\n<div>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:00<\/div><\/td>\r\n<td>\r\n<div class=\"msr-table-schedule-cell\"><strong>EU opportunities for young researchers<\/strong><\/div><\/td>\r\n<td>Carlos Morais-Pires\r\n(European Commission)<\/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\">Bus transportation\u00a0to 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:30<\/div><\/td>\r\n<td>\r\n<div class=\"msr-table-schedule-cell\">Drink reception\u00a0and dinner\u00a0at Jesus 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 2009<\/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\" style=\"text-align: left\">Session<\/th>\r\n<th class=\"th\" style=\"text-align: left\">Speaker<\/th>\r\n<th class=\"th\" style=\"text-align: left\">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\">09:00<\/div><\/td>\r\n<td>\r\n<div class=\"msr-table-schedule-cell\">Bus to Microsoft Research<\/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>Rough guide to being an entrepreneur<\/td>\r\n<td>\r\n<div class=\"msr-table-schedule-cell\">\r\n\r\nJack Lang\r\n(University of Cambridge)\r\n\r\n<\/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\">10:30<\/div><\/td>\r\n<td>\r\n<div class=\"msr-table-schedule-cell\">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>Third generation machine intelligence<\/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\/cmbishop\/\">Christopher Bishop <\/a>(Microsoft Research)\r\n\r\n<\/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\">12:00<\/div><\/td>\r\n<td>\r\n<div class=\"msr-table-schedule-cell\">Lunch and poster session 2 (see posters guidelines)<\/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\">13:30<\/div><\/td>\r\n<td>\r\n<div class=\"msr-table-schedule-cell\"><strong>Parallel session<\/strong><\/div><\/td>\r\n<td>\r\n<div class=\"msr-table-schedule-cell\">Alison Noble, University of Oxford<\/div><\/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>The executable pathway to biological networks<\/strong><\/div><\/td>\r\n<td><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/jfisher\/\">Jasmin Fisher<\/a>\r\n(Microsoft Research)<\/td>\r\n<td>Small lecture room<\/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>Principles and applications of refinement types<\/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\/adg\/\">Andy Gordon<\/a>\r\n(Microsoft Research)\r\n\r\n<\/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\">14:30<\/div><\/td>\r\n<td>\r\n<div>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:00<\/div><\/td>\r\n<td><strong>Tools and services for data intensive research<\/strong><\/td>\r\n<td>Roger Barga\r\n(Microsoft Research)<\/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>Break<\/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:15<\/div><\/td>\r\n<td><strong>WorldWide Telescope - A computational science innovation<\/strong><\/td>\r\n<td>Yan Xu\r\n(Microsoft Research)<\/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:40<\/div><\/td>\r\n<td><strong>Scientific computing on .NET<\/strong><\/td>\r\n<td>Jurgen Van Gael\r\n(University of Cambridge)<\/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:00<\/div><\/td>\r\n<td>Bus transportation to Jesus College<\/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:30<\/div><\/td>\r\n<td>Free evening with optional punting\u00a0or bowling<\/td>\r\n<td><\/td>\r\n<td><\/td>\r\n<\/tr>\r\n<\/tbody>\r\n<\/table>\r\n<h2>Thursday,\u00a02 July 2009<\/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\" style=\"text-align: left\">Session<\/th>\r\n<th class=\"th\" style=\"text-align: left\">Speaker<\/th>\r\n<th class=\"th\" style=\"text-align: left\">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\">09:00<\/div><\/td>\r\n<td>\r\n<div class=\"msr-table-schedule-cell\">Bus to Microsoft Research<\/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>\u00a0How to manage your supervisor<\/strong><\/div><\/td>\r\n<td>Tennie Videler (vitae)<\/td>\r\n<td><\/td>\r\n<\/tr>\r\n<tr class=\"tr\">\r\n<td class=\"td-1-4\">10:30<\/td>\r\n<td>\r\n<div class=\"msr-table-schedule-cell\">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:00<\/td>\r\n<td>\r\n<div class=\"msr-table-schedule-cell\"><strong>Parallel session<\/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>Overview of systems and networking research at Microsoft<\/strong><\/div><\/td>\r\n<td>Tim Harris\r\n(Microsoft Research)<\/td>\r\n<td>Small lecture room<\/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>New hardware enabling new user experiences<\/strong><\/div><\/td>\r\n<td><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/jws\/\">James Scott<\/a>\r\n(Microsoft Research)<\/td>\r\n<td><\/td>\r\n<\/tr>\r\n<tr class=\"tr\">\r\n<td class=\"td-1-4\">12:00<\/td>\r\n<td>Lunch and posters session 3 (see posters guidelines)<\/td>\r\n<td><\/td>\r\n<td><\/td>\r\n<\/tr>\r\n<tr class=\"tr\">\r\n<td class=\"td-1-4\">13:30<\/td>\r\n<td><strong>Parallel session<\/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><strong>Enabling intelligent management of the environment<\/strong><\/td>\r\n<td>Drew Purves\r\n(Microsoft Research)<\/td>\r\n<td>Small lecture room<\/td>\r\n<\/tr>\r\n<tr class=\"tr\">\r\n<td class=\"td-1-4\"><\/td>\r\n<td><strong>Forza, Halo, Xbox Live: The magic of research in products<\/strong><\/td>\r\n<td>Ralf Herbrich\r\n(Microsoft Research)<\/td>\r\n<td><\/td>\r\n<\/tr>\r\n<tr class=\"tr\">\r\n<td class=\"td-1-4\">14:30<\/td>\r\n<td>Break<\/td>\r\n<td><\/td>\r\n<td><\/td>\r\n<\/tr>\r\n<tr class=\"tr\">\r\n<td class=\"td-1-4\">15:00<\/td>\r\n<td><strong>Introduction to intellectual property<\/strong><\/td>\r\n<td>John Mulgrew (Microsoft)<\/td>\r\n<td><\/td>\r\n<\/tr>\r\n<tr class=\"tr\">\r\n<td class=\"td-1-4\">16:00<\/td>\r\n<td>Break<\/td>\r\n<td><\/td>\r\n<td><\/td>\r\n<\/tr>\r\n<tr class=\"tr\">\r\n<td class=\"td-1-4\">16:15<\/td>\r\n<td><strong>Internships uncovered...<\/strong><\/td>\r\n<td><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/peterkey\/\">Peter Key<\/a>\r\n(Microsoft Research)<\/td>\r\n<td><\/td>\r\n<\/tr>\r\n<tr class=\"tr\">\r\n<td class=\"td-1-4\">16:45<\/td>\r\n<td>Bus transportration to Jesus College<\/td>\r\n<td><\/td>\r\n<td><\/td>\r\n<\/tr>\r\n<tr class=\"tr\">\r\n<td class=\"td-1-4\">17:00<\/td>\r\n<td>Free time<\/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:30<\/div><\/td>\r\n<td>Bus transportation from Jesus College to Carluccio's<\/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>Dinner at <a href=\"http:\/\/www.carluccios.com\/\" target=\"_self\">Carluccio's<\/a><\/td>\r\n<td><\/td>\r\n<td><\/td>\r\n<\/tr>\r\n<\/tbody>\r\n<\/table>\r\n<h2>Friday,\u00a03 July 2009<\/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\" style=\"text-align: left\">Session<\/th>\r\n<th class=\"th\" style=\"text-align: left\">Speaker<\/th>\r\n<th class=\"th\"><\/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\">09:00<\/div><\/td>\r\n<td>\r\n<div class=\"msr-table-schedule-cell\">Bus to Microsoft Research<\/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>Giving a good presentation<\/strong><\/div><\/td>\r\n<td>\r\n<div class=\"msr-table-schedule-cell\">Ken Shaw\r\n(Benchmark Communication Techniques)<\/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\">10:30<\/div><\/td>\r\n<td>\r\n<div>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:00<\/td>\r\n<td>\r\n<div class=\"msr-table-schedule-cell\"><strong>Sustainable energy - without the hot air<\/strong><\/div><\/td>\r\n<td>David MacKay\r\n(University of Cambridge)<\/td>\r\n<td><\/td>\r\n<\/tr>\r\n<tr class=\"tr\">\r\n<td class=\"td-1-4\">12:00<\/td>\r\n<td>\r\n<div>\r\n<div>BBQ<\/div>\r\n<\/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\">Bus transportation to Jesus College<\/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":"<h2>Talk Abstracts and Speaker Biographies<\/h2>\r\n[accordion]\r\n\r\n[panel header=\"Simon Peyton Jones | Principal Researcher, Microsoft Research\"]\r\n<h2><img class=\"size-full wp-image-270930 alignright\" src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/simonpj-1.jpg\" alt=\"simonpj\" width=\"100\" height=\"132\" \/><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/simonpj_paper.pptx\">How to write a great research paper<\/a><\/h2>\r\n<h2><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/simonpj_talk.pptx\">How to give a great research talk<\/a><\/h2>\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 \u2013 far from it \u2013 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 so on. He is particularly motivated by direct use of principled theory to practical language design and implementation \u2013 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=\"Alexander Br\u00e4ndle | Head of Technology and Tools Group, Microsoft Research\"]\r\n<h2><img class=\"size-full wp-image-270873 alignright\" src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/alex_braendle.jpg\" alt=\"alex_braendle\" width=\"100\" height=\"132\" \/>New kinds of software for new kinds of science<\/h2>\r\n<h3>Abstract<\/h3>\r\nDeveloping a precise, quantitative, predictive science of complex natural systems looms as the most active, important branch of science this century. Such a science is vital to understanding the biosphere, climate change, future food and water security, and the threat of a global pandemic, and that science could underpin a revolution in our understanding of living systems, medicine, and health. It will require new kinds of scientists to develop a new kind of natural science, and both will depend critically on radically new kinds of computational methods and tools to enable scientists to build and test dynamic, predictive models of complex natural systems, integrate them with data and experiments, and publish and share models, data, and results. This, in turn, demands new kinds of software environments to support this new kind of computational science, led by new kinds of computational scientists.\r\n\r\nA unique collaboration between scientists and software engineers in Microsoft Research's Computational Science Group in Cambridge is pioneering the development of these new software environments. This talk will give a short introduction into the research on tools &amp; technologies for new kinds of science we conduct.\r\n\r\n[\/panel]\r\n\r\n[panel header=\"Julia Lasserre | 2005 PhD Scholar, University of Cambridge\"]\r\n<h2><img class=\"wp-image-270909 size-full alignright\" src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/julia_lasserre.jpg\" width=\"100\" height=\"132\" \/><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/julia_lasserre.ppt\">Hybrids of generative and discriminative models<\/a><\/h2>\r\n<h3>Abstract<\/h3>\r\nWhen labelled training data is plentiful, discriminative techniques are widely used since they give excellent classification results. However, hand-labelling of data can get expensive, and there is considerable interest in semi-supervised techniques based on generative models. Although the generalisation performance of generative models can often be improved by `training them discriminatively', they can then no longer make use of unlabelled data. In an attempt to exploit the benefits of both generative and discriminative approaches, methods have been proposed which interpolate between these two extremes by taking a convex combination of the generative and discriminative objective functions. In this article, we consider that there is only one correct way to train a given model, and that a `discriminatively trained' generative model is fundamentally a new model. From this viewpoint, generative and discriminative models correspond to specific choices for the prior over parameters, which opens the door to principled ways of interpolating between generative and discriminative extremes through alternative choices of prior. We illustrate this framework on semi- supervised learning.\r\n<h3>Biography<\/h3>\r\nAs part of her BSc, Julia spent a year in Ireland where she was introduced to machine learning for the first time. After graduation, she moved to Paris to complete a MSc in artificial intelligence and learn more about machine learning. She then came to Cambridge in 2004 to start a PhD on bayesian statistics and computer vision. She now works for a bio-informatics lab at the Max-Planck Institute, applying machine learning techniques to DNA analysis.\r\n\r\n[\/panel]\r\n\r\n[panel header=\"Alban Rrustemi | 2005 PhD Scholar, University of Cambridge\"]\r\n<h2><img class=\"size-full wp-image-270870 alignright\" src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/alban_rrustemi.jpg\" alt=\"alban_rrustemi\" width=\"100\" height=\"132\" \/><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/alban_rustemi_computing_surfaces.ppt\">Scalable display architectures<\/a><\/h2>\r\n<h3>Abstract<\/h3>\r\nRecent progress in electronic, display and sensing technologies makes possible a future with omnipresent, arbitrarily large interactive display surfaces. Nonetheless, current methods of designing display systems with multi-touch sensitivity do not scale. This talk gives an overview of the limitations of existing display systems and briefly presents the key findings of my PhD research - a platform for resolving forthcoming scalability limitations by employing a distributed architecture.\r\n<h3>Biography<\/h3>\r\nAlban Rrustemi came to Cambridge in October 2003 to read for Diploma in Computer Science. He was awarded a Microsoft Research PhD scholarship in 2004. He conducted his PhD research at the Computer Laboratory, University of Cambridge, under the supervision of Dr Simon Moore and Dr Ken Wood. Prior to joining an industrial project in early 2009, Alban has been working in a number of research projects at the Computer Laboratory and at Microsoft Research in Cambridge. Alongside, he is involved in a number of charities in the UK and abroad.\r\n\r\n[\/panel]\r\n\r\n[panel header=\"Brian Amberg | 2005 PhD Scholar, University of Basel\"]\r\n<h2><img class=\"size-full wp-image-270879 alignright\" src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/brian_amberg.jpg\" alt=\"brian_amberg\" width=\"100\" height=\"151\" \/><a href=\"http:\/\/rmc-stage\/en-us\/um\/cambridge\/events\/2009summerschool\/brian_amberg.pptx\">Generative face models for image understanding<\/a><\/h2>\r\n<h3>Abstract<\/h3>\r\nHumans excel at the task of image understanding. When we see a face we immediately infer if the person is male or female, attractive or not, young or old, hostile or friendly or just a boring speaker. For computers this is much harder, but some progress has been made. In this talk I'll argue that for image understanding strong prior knowledge is needed. Humans have aquired this knowledge over the course of their phylogenesis and ontogenesis, while we are still very much trying to force-feed computers by hand. I'll introduce you to generative face models to be used as prior knowledge, and I'll demonstrate a range of different uses of these models which I've encountered during my thesis. I hope to give you an overview of the state of the art such that you know the possibilities and limitations of generative face models for image understanding.\r\n<h3>Biography<\/h3>\r\nIn 2005 Brian Amberg achieved a masters degree in Computer Science (Dipl. Inf.) at the University of Freiburg (Germany) with a minor in Cognitive Science. In his master thesis he developed an optical flow algorithm for volume data. Since then he works as a PhD student at the University of Basel (Switzerland), creating a system for expression manipulation in video streams. While completing his master studies he aquired experience as a professional programmer working for a medical imaging company. Additionally he tutored at the university and gave courses on the ruby programming language. His research focuses on computer graphics. His interests include practical effects of the perception of synthetic or manipulated images as well as advancing the understanding of human cognition with the help of artifical systems. An affinity to dynamic languages has made him an active member of the ruby community, where he contributed some libraries.\r\n\r\n[\/panel]\r\n\r\n[panel header=\"Christoph Rhemann | 2006 PhD Scholar, Vienna University of Technology\"]\r\n<h2><img class=\"size-full wp-image-270888 alignright\" src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/christoph_rhemann.jpg\" alt=\"christoph_rhemann\" width=\"100\" height=\"151\" \/><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/christoph_rhemann.pptx\">Interactive matting<\/a><\/h2>\r\n<h3>Abstract<\/h3>\r\nMatting aims to accurately extract a foreground object out of a photograph or video and is an important operation in many image\/video editing applications. For instance, once an object has been extracted successfully from its background by appropriate matting techniques, it may be inserted into another scene. I will give an introduction to matting and discuss recent work in this area that was developed throughout my PhD studies in co-operation with Microsoft Research. More specifically, I will discuss different models for matting and present a ground truth dataset that can be used for a quantitative comparison of matting results.\r\n<h3>Biography<\/h3>\r\nChristoph Rhemann is a PhD student at Vienna University of Technology. He is currently working together with Margrit Gelautz, Carsten Rother (Microsoft Research) and Michael Bleyer in the field of computer vision with a focus on image segmentation and matting. His work was published at several international computer vision conferences including CVPR and BMVC.\r\n\r\n[\/panel]\r\n\r\n[panel header=\"Mathieu Verbaere | 2004 PhD Scholar, University of Oxford\"]\r\n<h2><img class=\"size-full wp-image-270918 alignright\" src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/mathieu_verbaere.jpg\" alt=\"mathieu_verbaere\" width=\"100\" height=\"132\" \/>Challenges in refactoring<\/h2>\r\n<h3>Abstract<\/h3>\r\nRefactorings are behaviour-preserving program transformations, typically for improving the structure of existing code and preparing the introduction of new functionality. A few of these refactorings have been mechanised in development environments, but many more have been proposed, and it would be desirable for programmers to script their own transformations. Correctly implementing such source-to-source transformations, however, is quite complex. In this talk, I will illustrate some common pitfalls in automating refactorings, show how to address them and how to facilitate the implementation of refactorings in general.\r\n<h3>Biography<\/h3>\r\nMathieu Verbaere started to work on refactoring during his MSc in computer science at Oxford University. After a year in Paris working further on code analysis in industry, he returned to Oxford for a PhD on a scripting language for refactoring. He now works at Semmle where he leads the design of the novel object-oriented query language .QL, and products built with it related to software analysis.\r\n\r\n[\/panel]\r\n\r\n[panel header=\"Carlos Morais-Pires | Project Officer, European Commission, DG INFSO\"]\r\n<h2><img class=\"size-full wp-image-270882 alignright\" src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/carlos_morais.jpg\" alt=\"carlos_morais\" width=\"75\" height=\"100\" \/><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/carlos_morais_pires.pptx\">EU opportunities for young researchers<\/a><\/h2>\r\n<h3>Abstract<\/h3>\r\nCarlos Morais-Pires, project officer in INFSO Directorate F, Emerging Technologies and Infrastructures, will present an overview of the various EU programmes supporting young researchers and students in Europe.\r\n\r\n[\/panel]\r\n\r\n[panel header=\"Jack Lang | Lecturer and Entrepreneur, University of Cambridge\"]\r\n<h2><img class=\"size-full wp-image-270897 alignright\" src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/jack-1.jpg\" alt=\"jack\" width=\"100\" height=\"144\" \/><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/jack_lang.ppt\">Rough guide to being an entrepreneur<\/a><\/h2>\r\n<h3>Abstract<\/h3>\r\nAt some stage you might want to exploit your ideas by starting a company, just as Bill Gates and Paul Allen did in 1975. It might even be the next Microsoft, or bought by them. I\u2019ll give an overview of the process, explain some of the success factors investors look for, and how to go about writing a business plan and getting off the ground.\r\n<h3>Biography<\/h3>\r\nJack Lang is a serial entrepreneur and business angel with high-tech and internet companies based in Cambridge, where he is Entrepreneur in Residence, Centre for Entrepreneurial Learning, at the Judge Business School, University of Cambridge, an affiliated Lecturer and member of the Faculty Board at the Computer Lab and a by-fellow of Emmanuel College. His latest venture is as co-Founder of <a href=\"http:\/\/artimi.com\/\">Artimi<\/a>, which is making the next generation of ultra wide band wireless chips. Previously he was founder of Netchannel Ltd, an early Interactive TV company which was acquired by ntl: where he became Chief Technologist. Before that founder of Electronic Share Information Ltd, one of the first online brokerages, acquired by E*Trade Inc. Prior to that he started a consultancy (now SAIC UK Ltd) that was involved in the early days of the \"Cambridge Phenomenon\", and was a proper academic at the Computer Lab. He is author of \"The High Tech Entrepreneurs Handbook\" (FT.Com\/Prentice Hall 2001). He has other interests in molecular gastronomy and fireworks.\r\n\r\n[\/panel]\r\n\r\n[panel header=\"Christopher Bishop | Chief Research Scientist, Microsoft Research\"]\r\n<h2><img class=\"size-full wp-image-270885 alignright\" src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/chris_bishop.jpg\" alt=\"chris_bishop\" width=\"100\" height=\"132\" \/><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/christopher_bishop.pptx\">Third generation machine intelligence<\/a><\/h2>\r\n<h3>Abstract<\/h3>\r\nSome of the most promising research opportunities lie at the intersections of different fields. As a small step in this direction, Chris will give a short introductory tutorial to the field of machine learning. The focus will be on the underlying concepts, illustrated with simple examples, and the mathematical content will be kept to a minimum. This talk will assume no previous knowledge of machine learning.\r\n<h3>Biography<\/h3>\r\nChris Bishop is Chief Research Scientist at Microsoft Research Cambridge, and Professor of Computer Science at the University of Edinburgh. He is also a Fellow of Darwin College Cambridge, a Fellow of the Royal Academy of Engineering and a Fellow of the Royal Society of Edinburgh. His research interests include probabilistic approaches to machine learning, as well as their application to fields such as computer vision and biomedical science. In 2008 he presented the prestigious <a href=\"http:\/\/www.rigb.org\/contentControl?action=displayContent&amp;id=00000001882\">Royal Institution Christmas Lectures<\/a>, broadcast at prime time on UK national television.\r\n\r\n[\/panel]\r\n\r\n[panel header=\"Jasmin Fisher | Scientist, Microsoft Research\"]\r\n<h2><img class=\"wp-image-270903 size-full alignright\" src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/jasmin_fisher.jpg\" width=\"100\" height=\"132\" \/>The executable pathway to biological networks<\/h2>\r\n<h3>Abstract<\/h3>\r\nComputational modelling of biological systems is becoming increasingly important in efforts to better understand complex biological behaviours. '<em>Executable Biology<\/em>' is a pioneering approach focused on the design of executable computer programs that mimic biological phenomena. While traditional mechanistic models in biology are usually described by diagrams (giving a fairly static picture of cellular processes), executable biology seeks to translate such static diagrams into dynamic models using formal computational methods that were originally designed for the construction and analysis of complex man-made systems (e.g., computers and computer programs). In this talk, I will illustrate the usefulness of this framework through our group\u2019s efforts to use Boolean Networks, Process Calculi, Live Sequence Charts, and Interacting State Machines to model signalling pathways governing normal animal development and disease, organogenesis, and immunodominance. If time permits, I will also highlight some of the main challenges that executable biology poses for Biology and Computer Science.\r\n<h3>Biography<\/h3>\r\n<a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/jfisher\/\">Jasmin Fisher<\/a> is a Researcher in the Computational Science Lab at Microsoft Research Cambridge. She holds a Ph.D. degree in Neuroimmunology from the Weizmann Institute of Science and was previously (2003-2004) a postdoctoral fellow in the department of Computer Science at the Weizmann Institute, where she worked with Prof. David Harel, and then (2004-2007) a postdoctoral researcher in the School of Computer Science at the EPFL working with Prof. Tom Henzinger. Her research focuses on the applications of formal methods to biological modelling, as well as on the development of novel formalisms and tools to better understand complex biological systems. She is mainly interested in processes of cell fate determination and signalling networks operating during normal development and disease (e.g., cancer, diabetes, obesitiy).\r\n\r\n[\/panel]\r\n\r\n[panel header=\"Andy Gordon | Principal Researcher, Microsoft Research\"]\r\n<h2><img class=\"size-full wp-image-270876 alignright\" src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/andy_gordon.jpg\" alt=\"andy_gordon\" width=\"100\" height=\"130\" \/><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/andy_gordon.pptx\">Principles and applications of refinement types<\/a><\/h2>\r\n<h3>Abstract<\/h3>\r\nA refinement type is a type qualified by a logical constraint; an example is the type of even numbers, that is, the type of integers qualified by the is-an-even-number constraint. Although this idea has been known in the research community for some time, it has been assumed impractical, because of the difficulties of constraint solving. But recent advances in automated reasoning have overturned this conventional wisdom, and transformed the idea into a practical design principle. I will present a primer on the design, implementation, and application of refinement types. I will explain:\r\n<ul>\r\n \t<li>How a range of diverse features may be unified as instances of the general idea of refinement types.<\/li>\r\n \t<li>How a static checker for the Oslo modeling language M allows us to check for security errors in server configurations; intended constraints on configurations are expressed with refinement types, so that configuration validation reduces to type checking.<\/li>\r\n \t<li>How we statically check integrity and secrecy properties of security critical code, such as an implementation of the CardSpace security protocol, using a system of refinement types for the F# programming language.<\/li>\r\n<\/ul>\r\n<h3>Biography<\/h3>\r\n<a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/adg\/\">Andy Gordon <\/a>is a Principal Researcher at <a href=\"https:\/\/www.microsoft.com\/en-us\/research\/lab\/microsoft-research-cambridge\/\">MSR Cambridge<\/a>. His research interests are in the general area of programming languages. His work at Microsoft has involved applying type theory and other formal techniques to problems of computer security. His projects include the following: an analysis (with D. Syme) of the type system underlying the bytecode verifier of the Microsoft .NET Common Language Runtime; <a href=\"http:\/\/www.cryptyc.org\/\">Cryptyc<\/a> (with A. Jeffrey), a type-checker for cryptographic protocols; and the <a href=\"https:\/\/www.microsoft.com\/en-us\/research\/project\/samoa-formal-tools-for-securing-web-services\/\">Samoa Project <\/a>(with K. Bhargavan and C. Fournet) on formal tools for the security of XML Web Services. He is currently excited about the many possibilities of refinement types, and is actively developing them in the context of both F# and the Oslo Modeling Language M.\r\n\r\n[\/panel]\r\n\r\n[panel header=\"Roger Barga | Principal Architect, Microsoft Research\"]\r\n<h2><img class=\"size-full wp-image-270927 alignright\" src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/roger_barga.jpg\" alt=\"roger_barga\" width=\"100\" height=\"132\" \/><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/roger_barga.pptx\">Tools and services for data intensive research<\/a><\/h2>\r\n<h3>Abstract<\/h3>\r\nFor many important research investigations, especially in science, efficiently analyzing large data sets is a major challenge. Microsoft\u2019s Dryad is a high-performance, general-purpose distributed computing engine that handles some of the most difficult aspects of cluster-based distributed computing. It's powerful: Microsoft routinely uses Dryad applications to analyze petabytes of data on clusters of thousands of computers. Microsoft Research has also developed DryadLINQ, which allows developers to use an extended version of the LINQ programming model and API to implement Dryad applications in managed code. DryadLINQ code is similar to what you'll see in a conventional LINQ-to-objects application, and the application core is often only a few lines of code. Behind the scenes though, a DryadLINQ provider automatically converts the LINQ query into a Dryad job and executes the query as a distributed application on a cluster. Using Dryad through DryadLINQ, even a novice at parallel processing or cluster-based computing can implement a high-performance distributed application to efficiently analyze terabytes of data.\r\n\r\nIn this talk we present an introduction to <a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/roger_barga_dryad.pdf\">Dryad and DryadLINQ <\/a>for data intensive research and we compare and contrast it to other related technologies. We describe our ongoing efforts to collaborate with external researchers to explore the application Dryad and DryadLINQ to big data research problems in science. We also highlight our efforts to offer software and services to researchers across the world, through the academic release of Dryad and DryadLINQ with associated programming user documentation.\r\n<h3>Biography<\/h3>\r\nRoger Barga is Principal Architect at Microsoft Research, where he leads the Advanced Research Services and Tools (ARTS) team. The ARTS team is responsible for developing innovative tools and services using Microsoft products and technology to revolutionize and accelerate research, and it provides strategic and tactical hands-on technological leadership to many research projects. Roger joined Microsoft in 1997 as a Researcher in the Database Group of Microsoft Research, where he directed both systems research and product development efforts in database, workflow and stream processing systems. He has developed ideas from basic research, through proof of concept prototypes to incubation efforts in product groups. Roger has published over 50 peer reviewed papers, filed over 30 patent applications, and served more than 70 times on program committees for more than 30 different international conferences and workshops.\r\n\r\n[\/panel]\r\n\r\n[panel header=\"Yan Xu | Senior Research Programme Manager, Microsoft Research\"]\r\n<h2><img class=\"size-full wp-image-270939 alignright\" src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/yanxu_web.jpg\" alt=\"yanxu_web\" width=\"100\" height=\"132\" \/>WorldWide Telescope - a Computational Science Innovation<\/h2>\r\n<h3>Abstract<\/h3>\r\nThe Microsoft Research WorldWide Telescope (WWT) is a computational science innovation. It sets new standard for presenting (visualizing) large data sets. WWT enables a computer to function as a virtual telescope. It brings together the imagery from the best ground- and space-based telescopes in the world. It allows users to experience, interact, and create narrated tours to feature their favorite objects in the sky for astronomical research and science education. Through the WWT Academic Program, additional software tools are delivered to enable researchers and educators to integrate WWT with their existing astronomical research and science education platforms.\r\n<h3>Biography<\/h3>\r\nYan joined Microsoft Research in March 2006. Her research has been focused on exploring technologies and pedagogical strategies that facilitate and enhance interdisciplinary computational research and education. She is responsible for the <a href=\"https:\/\/www.microsoft.com\/en-us\/research\/project\/worldwide-telescope\/\">WorldWide Telescope Academic Program<\/a>, which enables collaborations with academic researchers and educators in computer science and astronomy; the Transform Science\u2013Computational Education for Scientists initiative, which enables collaborations with academia for infusing computational thinking into science education to create tomorrow\u2019s scientists; and the Phoenix Academic Program for applying Microsoft Phoenix technology to computer science research and education. Prior to working at Microsoft Research, Yan was a Sr. Software Architect and worked for several startup software companies for over ten years. Yan received her Ph.D. in Physics from McGill University, Canada.\r\n\r\n[\/panel]\r\n\r\n[panel header=\"Jurgen Van Gael | 2008 PhD Scholar, University of Cambridge\"]\r\n<h2><img class=\"size-full wp-image-270957 alignright\" src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/jurgen-1.png\" alt=\"jurgen\" width=\"100\" height=\"132\" \/><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/jurgen_van_gael.pptx\">Scientific computing on .NET<\/a><\/h2>\r\n<h3>Abstract<\/h3>\r\nI strongly believe in being able to use the right tool for the right job. The .NET platform has allowed me to achieve exactly that: I\u2019ve chosen to write most of my own code in F#, a language which gives me the flexibility to code in a functional, imperative and object-oriented style. <a href=\"http:\/\/www.codeplex.com\/dnAnalytics\">dnAnalytics<\/a>, the open source numerical library I use from F#, is written in a mix of C# and C. Whenever I need to do rapid prototyping or glue together an experiment, I script it in either Python or F#. The key enabler is the .NET platform: it makes sure that all these languages understand each other. In my presentation I want to elaborate on <a href=\"http:\/\/www.codeplex.com\/dnAnalytics\">dnAnalytics<\/a> and how you can use it in your own research. dnAnalytics contains many essential tools for scientific computing: numerical linear algebra, special function evaluation, statistical tests, various distribution classes and much more. Using a short interactive demo I will highlight some of the key features of <a href=\"http:\/\/www.codeplex.com\/dnAnalytics\">dnAnalytics<\/a>.\r\n<h3>Biography<\/h3>\r\nAfter receiving an undergraduate degree in computer science from <a href=\"http:\/\/www.cs.kuleuven.be\/\">Leuven<\/a>, I started a Master\u2019s degree at the University of Wisconsin where my research was focused on applying statistical machine learning techniques to problems in natural language processing. In 2007, I joined the machine learning group at the University of Cambridge where my research shifted to developing new algorithms and techniques for probabilistic modeling. More recently, I have been involved in a project to build a tool that makes probabilistic machine learning more accessible to the data mining community. Since the start of my PhD I have been actively contributing to <a href=\"http:\/\/www.codeplex.com\/dnAnalytics\">dnAnalytics<\/a>: an open source numerical library for the .NET platform.\r\n\r\n[\/panel]\r\n\r\n[panel header=\"Tennie Videler | Programme Manager, Vitae\"]\r\n<h2><img class=\"size-full wp-image-270933 alignright\" src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/tennie.jpg\" alt=\"tennie\" width=\"100\" height=\"130\" \/><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/tennie_videler.ppt\">How to manage your supervisor<\/a><\/h2>\r\n<h3>Abstract<\/h3>\r\nThis session will look at how to make supervision work well for you. It will argue that to get the most out of your relationship with your supervisor you will need to be proactive and assertive. In particular the session will encourage you to think about the following issues:\r\n<ul>\r\n \t<li>The relative rights and responsibilities of the supervisor and supervisee;<\/li>\r\n \t<li>What your supervisor cares about and how you can move up in their priorities;<\/li>\r\n \t<li>Strategies that you can use to manage the supervision and make them more useful;<\/li>\r\n \t<li>What to do if things go wrong.<\/li>\r\n<\/ul>\r\n<h3>Biography<\/h3>\r\nTennie Videler is a programme manager for Vitae, an organisation set up to support postgraduate researchers and research staff. Before that she was a researcher herself, completing a PhD and a dozen years of post-doctoral research in different fields of structural biology. Tennie joined Vitae last year and is the person dedicated to making contact with researchers, both postgraduates and research staff. She writes and commission resources for researchers and attend events where she meets researchers and staff who support them. She is also involved in some research, such as the latest issue of \u2018<a href=\"http:\/\/www.vitae.ac.uk\/policy-practice\/14769\/What-Do-PhDs-Do.html\">What Do PhDs do?<\/a>\u2019 on the first employment destinations of PhD graduates, which is currently underway.\r\n\r\n[\/panel]\r\n\r\n[panel header=\"Tim Harris | Senior Researcher, Microsoft Research\"]\r\n<h2><img class=\"wp-image-270936 size-full alignright\" src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/tim_harris.jpg\" width=\"100\" height=\"132\" \/><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/tim_harris.pptx\">Systems and networking research at MSR Cambridge<\/a><\/h2>\r\n<h3>Abstract<\/h3>\r\nThe research of the Cambridge Systems and Networking group at Microsoft Research Cambridge, covers the broad span of systems and networks research, ranging from improving the performance of individual computers through to designing novel distributed systems that can scale to hundreds of thousand of hosts. I will give an overview of this multi-disciplinary group that designs and builds systems, analyses them, and uses them.\r\n<h3>Biography<\/h3>\r\nTim Harris is a researcher at Microsoft Research Cambridge (UK) where he works with the Cambridge Systems &amp; Networking Group, the Programming Principles and Tools Group, and the <a href=\"http:\/\/www.bscmsrc.eu\/\">BSC-Microsoft Joint Research Centre<\/a>. His main research interests are in the design and implementation of programming languages and managed runtime environments to support multi-threaded and multi-processor software.\r\n\r\n[\/panel]\r\n\r\n[panel header=\"James Scott | Researcher, Microsoft Research\"]\r\n<h2><img class=\"wp-image-270900 size-full alignright\" src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/james_scott.jpg\" width=\"100\" height=\"132\" \/><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/james_scott.pptx\">New hardware enabling new user experiences<\/a><\/h2>\r\n<h3>Abstract<\/h3>\r\nIn this talk I will give an overview of recent research in the Microsoft Research Cambridge lab\u2019s Sensors and Devices Group. I will cover projects such as SenseCam, a simple wearable camera which has spurred research in lifelogging and in supporting memory loss \u2013 e.g. for Alzheimer\u2019s sufferers. I will also discuss Somniloquy, a platform enabling PCs to be put into power-saving modes more often without sacrificing functionality such as remote file transfers, by enabling them to \u201ctalk in their sleep\u201d. I will describe Force Sensing, a way of augmenting mobile devices with pressure sensors to enable sensing of forces applied to the whole casing, e.g. twisting or bending actions, and interactions that this can enable. I will also show Second Light, a prototype surface computer which not only has an interactive surface, but which can also project images through the surface onto objects above it, and enable interaction above the surface.\r\n<h3>Biography<\/h3>\r\n<a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/jws\/\">James Scott<\/a> is a researcher in the Sensors and Devices group at Microsoft Research Cambridge, UK. He joined Microsoft in January 2007. He previously spent four years as a researcher at Intel Research. His PhD, at the University of Cambridge, was supervised by Prof. Andy Hopper. His research interests span a wide range of topics in ubiquitous and pervasive computing, and include novel sensors and devices, mobile interaction, wireless and mobile networking, energy management, and security and privacy. He has authored over 30 peer-reviewed publications and has served on the PCs of leading international conferences such as UbiComp, MobiSys and Pervasive, and was recently PC chair for UbiComp 2008.\r\n\r\n[\/panel]\r\n\r\n[panel header=\"Drew Purves | Scientist, Microsoft Research\"]\r\n<h2><img class=\"size-full wp-image-270891 alignright\" src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/drew_purves-1.jpg\" alt=\"drew_purves\" width=\"100\" height=\"132\" \/>Enabling intelligent management of the environment<\/h2>\r\n<h3>Abstract<\/h3>\r\nIn recent years all parts of society \u2013 individuals, companies, governments \u2013 have become keenly aware of the need to conserve the environmental life support systems on which we all depend. When it is fully developed, ecology will enable this conservation, by providing reliable, accurate models to predict how alternative human actions would translate into outcomes at the ecosystem level, e.g. changes in biodiversity, carbon storage and water cycling. But ecology is a young science, unaccustomed \u2013 and some would say, not yet ready \u2013 to build these predictive models. In this talk I will present some examples of the computational ecology being carried out in our group. At least one project will be drawn from each of our research foci: ecological networks; next-generation Earth System science; biodiversity and biogeography; and behavioural dynamics. What these projects share is a methodology of combing pre-existing and new concepts and models with large amounts of data, and an aim of carrying out science that is both relevant to society, and packaged in way that can be understood and used by as wide a variety of people as possible (whether fellow scientists, policy makers, or individuals).\r\n<h3>Biography<\/h3>\r\nDrew Purves studied ecology at Cambridge University, did a PhD in ecological modelling at the University of York (UK), and spent nearly 6 years as a postdoc in the EEB Department at Princeton University, before joining MSR Cambridge in 2007. Purves\u2019 work, which focuses on the dynamics of populations and communities of plants, especially forests, has been published in a number of top-tier scientific journals including Science, PNAS, and Proc Roy Soc B. Dr Purves co-supervises several PhD students at European universities, and is an affiliate lecturer at Cambridge University.\r\n\r\n[\/panel]\r\n\r\n[panel header=\"Ralf Herbrich | Senior Researcher, Microsoft Research\"]\r\n<h2><img class=\"size-full wp-image-270924 alignright\" src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/ralf_herbrich.jpg\" alt=\"ralf_herbrich\" width=\"100\" height=\"132\" \/><a href=\"http:\/\/rmc-stage\/en-us\/um\/cambridge\/events\/2009summerschool\/ralf_herbrich.pptx\">Forza, Halo, Xbox Live: The Magic of Research in Products<\/a><\/h2>\r\n<h3>Abstract<\/h3>\r\nIn this talk, I will reveals the magic behind the Artificial Intelligence of Forza Motorsport and the machine learning algorithm Trueskill that matches players in Halo 3 and other Xbox LIVE games. I will also explain how simple geometry and advanced high-school maths mixed with tons of imagination can lead to exciting new possibilities in the realm of computer games and beyond.\r\n<h3>Biography<\/h3>\r\nRalf Herbrich is a Senior Researcher at Microsoft's computer science research lab in Cambridge. In his work, he and his team combine cutting-edge research in computational intelligence and machine learning with their passion for computer games and the Internet. Ralf has co-authored over 50 peer-reviewed publications in machine learning, optimization, probabilistic modelling, learning theory and game AI.\r\n\r\n[\/panel]\r\n\r\n[panel header=\"John Mulgrew | Senior Attorney, Microsoft\"]\r\n<h2><img class=\"size-full wp-image-270906 alignright\" src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/john_mulgrew.jpg\" alt=\"john_mulgrew\" width=\"100\" height=\"132\" \/><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/john_mulgrew.pptx\">Introduction to intellectual property<\/a><\/h2>\r\n<h3>Abstract<\/h3>\r\nI will present the different types of intellectual property and how those rights can be obtained. I will also discuss some of the factors Microsoft uses for determining whether potential intellectual property rights are worth protecting and when we may prefer instead to share our work openly. Finally, I will talk about some of the more common issues we encounter when collaborating with other people or using materials created outside the company.\r\n<h3>Biography<\/h3>\r\nAfter graduating from George Washington University law school, John worked in private practice on patent litigation, patent prosecution, clearance opinions and licensing. He and his family moved from Washington DC to Redmond to join Microsoft in 2004 where he worked on the patent analysis team. He then took on his current role providing legal support for Microsoft Research in Cambridge, innovation centers in Germany and Egypt, and other offices in Europe, the Middle East and Africa.\r\n\r\n[\/panel]\r\n\r\n[panel header=\"Peter Key | Principal Researcher, Microsoft Research\"]\r\n<h2><img class=\"size-full wp-image-270921 alignright\" src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/peter_key.jpg\" alt=\"peter_key\" width=\"100\" height=\"132\" \/><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/peter_key.pptx\">Internships uncovered<\/a><\/h2>\r\n<h3>Abstract<\/h3>\r\nWho is an intern at Microsoft Research? What do they do? Why should I apply for an Internship? These and other existential questions will be answered! Examples of recent Intern projects will give an insight into the variety and depth of work involved. In brief, Internships are a fantastic opportunity to learn more about research, learn about Microsoft from the inside, work with world-class researcher as mentors and colleagues, and have a great time.\r\n<h3>Biography<\/h3>\r\nPeter Key joined <a href=\"https:\/\/www.microsoft.com\/en-us\/research\/lab\/microsoft-research-cambridge\/\">Microsoft Research's European Research Centre<\/a> in Cambridge, U.K., in 1998 where he is a Principal Researcher, co-leading the Systems and Networking area. He also acts as Intern Tsar! His current research is on multipath routing in wired and wireless networks, home networking, and the economics of networks and of ad-auctions. His other research interests include Distributed Control, Application Performance, Quality of Service and Stochastic Networks.\r\n\r\nPrior to joining Microsoft, he was at BT, working in the field of Teletraffic Engineering and Performance Evaluation, where he was involved with the development and introduction of <a href=\"http:\/\/www.statslab.cam.ac.uk\/~frank\/DAR\/\">DAR (Dynamic Alternative Routing)<\/a> into BT\u2019s trunk network. At BT he led a mathematical services group, and 1992 ventured in to ATM to lead performance group. In 1995 he led a Performance Engineering team and then managed the Network Transport area.\r\n\r\nHe is a Visiting Fellow at the <a href=\"http:\/\/www.statslab.cam.ac.uk\/\">Statistical Laboratory<\/a>, Cambridge, and a Fellow of the Institution of Engineering and Technology (<a href=\"http:\/\/www.theiet.org\/membership\/types\/fiet\/\">FIET<\/a>). In 1999 he was Technical co-chair of the 16th International Teletraffic Congress (<a href=\"http:\/\/www.i-teletraffic.org\/itc21\/about-itc\/\">ITC<\/a>) , and Program co-chair for <a href=\"http:\/\/www.sigmetrics.org\/\">Sigmetrics<\/a> 2006.\r\n\r\n[\/panel]\r\n\r\n[panel header=\"Ken Shaw | Benchmark Communication Techniques\"]\r\n<h2><img class=\"size-full wp-image-270912 alignright\" src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/ken-1.jpg\" alt=\"ken\" width=\"100\" height=\"132\" \/>Giving a good presentation<\/h2>\r\n<h3>Abstract<\/h3>\r\nLecture, Presentation or Conversation? We will examine: Who your audience is; What they want; Why you are addressing them; How you handle practical issues like nerves, body language, speech &amp; voice, humour, visual aids etc.; What is success? What is plan B if everything goes wrong; How you recover.\r\n<h3>Biography<\/h3>\r\nKen Shaw has taught communication skills to MBA students at Judge Business School for 17 years. He has also taught at Said Business School, London Business School, Cass Business School, Henley Management College, ESMT in Berlin, Bled School of Management plus Leicester, Nottingham and Bristol universities. He has delivered training for commercial clients in France, Germany, Switzerland, The Bahamas, Holland, Norway, America, The Caribbean, Australia and Singapore.\r\n\r\n[\/panel]\r\n\r\n[panel header=\"David MacKay | Professor, University of Cambridge\"]\r\n<h2><img class=\"size-full wp-image-270915 alignright\" src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/mackayd.jpg\" alt=\"mackayd\" width=\"100\" height=\"150\" \/><a href=\"http:\/\/www.withouthotair.com\/\">Sustainable energy without the hot air<\/a><\/h2>\r\n<h3>Abstract<\/h3>\r\nWhat do the fundamental limits of physics say about sustainable energy? The British Isles, we often hear, have `huge` renewable resources - but we need to know how this `huge` source compares with another `huge`: our huge power consumption. The public discussion of energy policy needs numbers, not adjectives. Assuming no economic constraints, assuming we cover the country with windmills and the coast with wave-machines, every roof with solar panels and every field with energy crops, could Britain get enough power from renewables to continue with our current consumption?\r\n<h3>Biography<\/h3>\r\n<a href=\"http:\/\/www.inference.phy.cam.ac.uk\/mackay\/\">David MacKay<\/a> is a Professor in the Department of Physics at the University of Cambridge. He studied Natural Sciences at Cambridge then obtained his PhD in Computation and Neural Systems at the California Institute of Technology. He is internationally known for his research in machine learning, information theory, and communication systems, including the invention of Dasher, a software interface that enables efficient communication in any language with any muscle. He has taught Physics in Cambridge since 1995. Since 2005, he has devoted increasing amounts of time to public teaching about energy. He is a member of the World Economic Forum Global Agenda Council on Climate Change.\r\n\r\n[\/panel]\r\n\r\n[\/accordion]"},{"id":3,"name":"Posters","content":"[accordion]\r\n\r\n[panel header=\"Posters Session 1\"]\r\n<ol>\r\n \t<li>Verifying implementations of security protocols in C | Mihhail Aizatulin and Fran\u00e7ois Dupressoir, The Open University<\/li>\r\n \t<li><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/mohammed_al-loulah.pdf\" target=\"_self\">Indoor localisation using broadband ultrasound<\/a>\u00a0| Mohammed Al-Loulah, University of Lancaster<\/li>\r\n \t<li>On compositional image alignment | Brian Amberg, Universit\u00e4t Basel<\/li>\r\n \t<li><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/elias_athanasopoulos.pdf\" target=\"_self\">On the misuses of real world large scale distributed systems<\/a>\u00a0| Elias Athanasopoulos, Foundation for Research and Technology - Hellas (FORTH)<\/li>\r\n \t<li><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/alistair_bailey.pdf\" target=\"_self\">Systems biology of antigen processing: From structures to mechanisms<\/a>\u00a0| Alistair Bailey, University of Southampton<\/li>\r\n \t<li><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/mariano_beguerisse_diaz.pdf\" target=\"_self\">Modelling integrated signalling networks in stomatal guard cells<\/a>\u00a0| Mariano Beguerisse D\u00edaz, Imperial College London<\/li>\r\n \t<li>Parallelizing non-parametric Bayesian learning | Sebastien Bratieres, University of Cambridge<\/li>\r\n \t<li>Spatial modelling of tropical rainforest ecology | Calum Brown, University of St Andrews<\/li>\r\n \t<li><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/silvia_caldararu.ppt\" target=\"_self\">Testing current understanding of Amazon phenology using a Monte Carlo Markov chain algorithm<\/a>\u00a0| Silvia Caldararu, University of Edinburgh<\/li>\r\n \t<li><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/greg_chadwick.pdf\" target=\"_self\">Mamba - Exploring many-core architectures<\/a>\u00a0| Gregory Chadwick, University of Cambridge<\/li>\r\n \t<li><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/marc_deisenroth.pdf\" target=\"_self\">Bayesian inference for efficient learning in control<\/a>\u00a0| Marc Deisenroth, University of Cambridge<\/li>\r\n \t<li><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/rayna_dimitrova.pdf\" target=\"_self\">Automatic abstraction for complex partial designs<\/a>\u00a0| Rayna Dimitrova, Saarland University<\/li>\r\n \t<li>Language-model-based ranking in RDF corpora | Shady Elbassuoni, Max Planck Institute for Software Systems<\/li>\r\n \t<li><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/christopher_gautier.pdf\" target=\"_self\">Binary clone detection<\/a>\u00a0| Christopher Gautier, University of Cambridge<\/li>\r\n<\/ol>\r\n[\/panel]\r\n\r\n[panel header=\"Posters Session 2\"]\r\n<ol>\r\n \t<li><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/khilan_gudka.pdf\" target=\"_self\">Improving the performance of atomic sections<\/a>\u00a0| Khilan Gudka, Imperial College London<\/li>\r\n \t<li><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/vincenzo_massimiliano_gulisano.pptx\" target=\"_self\">Highly scalable platform for data streaming<\/a>\u00a0| Vincenzo Gulisano, Universidad Polit\u00e9cnica de Madrid<\/li>\r\n \t<li><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/syed_haider.ppt\" target=\"_self\">Integrative analysis of genomic variants in carcinogenesis<\/a>\u00a0| Syed Haider, University of Cambridge<\/li>\r\n \t<li>On performance volatility in information retrieval | Mehdi Hosseini, University College London<\/li>\r\n \t<li><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/colin_kelly.pdf\" target=\"_self\">Automated extraction of concept features and relations<\/a>\u00a0| Colin Kelly, University of Cambridge<\/li>\r\n \t<li><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/usman_khan.pdf\" target=\"_self\">Transportation systems: Modelling in real-time<\/a>\u00a0| Usman Khan and Andrew Rice, University of Cambridge<\/li>\r\n \t<li><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/hyoungshick_kim.pdf\" target=\"_self\">Privacy-preserving personalized services in networks<\/a>\u00a0| Hyounggshick Kim, University of Cambridge<\/li>\r\n \t<li><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/masoud_koleini.pdf\" target=\"_self\">Verification of state based access control<\/a>\u00a0| Masoud Koleini, University of Birmingham<\/li>\r\n \t<li><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/emily_lines.pdf\" target=\"_self\">Predicting long-term forest dynamics at regional scales<\/a>\u00a0| Emily Lines, University of Cambridge<\/li>\r\n \t<li><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/madhusudan_manjunath.pdf\" target=\"_self\">A geometric approach to chip firing games<\/a>\u00a0| Madhusudan Manjunath, Max Planck Institute<\/li>\r\n \t<li><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/nikola_markovic.ppt\" target=\"_self\">Simulator for hardware acceleration of STM<\/a>\u00a0| Nikola Markovic, BSC-Microsoft Research Centre<\/li>\r\n \t<li><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/nebojsa_miletic_and_vesna_smiljkovic.pdf\" target=\"_self\">Transactification of real world system libraries<\/a>\u00a0| Neboj\u0161a Miletic and Vesna Smiljkovic, BSC-Microsoft Research Centre<\/li>\r\n \t<li><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/yana_mileva.pdf\" target=\"_self\">Trends in code<\/a>\u00a0| Yana Mileva, Saarland University<\/li>\r\n \t<li><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/zartasha_mustansar.pdf\" target=\"_self\">Reverse engineering dinosaurs<\/a>\u00a0| Zartasha Mustansar, University of Manchester<\/li>\r\n \t<li>Properties as types for inductively defined mathematical structures | Vilius Naudziunas, University of Cambridge<\/li>\r\n \t<li><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/jenniger_pearson.pdf\" target=\"_self\">Supporting effective user navigation in digital documents<\/a>\u00a0| Jennifer Pearson, Swansea University<\/li>\r\n<\/ol>\r\n[\/panel]\r\n\r\n[panel header=\"Posters Session 3\"]\r\n<ol>\r\n \t<li><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/milos_puzovic.pdf\" target=\"_self\">Compiler support to improve work stealing scalability<\/a>\u00a0| Milos Puzovic, University of Cambridge<\/li>\r\n \t<li>Energy-efficient scheduling | Charlie Reams, University of Cambridge<\/li>\r\n \t<li><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/charalampos_rotsos.pdf\" target=\"_self\">Optimal design of performance measurement experiments for complex, large-scale networks<\/a>\u00a0| Charalampos Rotsos, University of Cambridge<\/li>\r\n \t<li><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/adrian_salinas.pdf\" target=\"_self\">Analysis of piecewise linear feedback systems<\/a>\u00a0| Adrian Salinas Varela, University of Cambridge<\/li>\r\n \t<li><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/salvatorescellato.pdf\" target=\"_self\">Spatial and temporal analysis of collective and individual human mobility<\/a>\u00a0| Salvatore Scellato, University of Cambridge<\/li>\r\n \t<li><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/simon_schubert.pdf\" target=\"_self\">Low energy server systems<\/a>\u00a0| Simon Schubert, \u00c9cole Polytechnique F\u00e9d\u00e9rale de Lausanne (\u00c9PFL)<\/li>\r\n \t<li>Burden of proof |\u00a0Nik Sultana, University of Cambridge<\/li>\r\n \t<li>Temporal distance metrics for social network analysis | John Tang, University of Cambridge<\/li>\r\n \t<li><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/aaron_thierry.ppt\" target=\"_self\">The large and small of it: Quantifying size structure in ecological networks<\/a>\u00a0| Aaron Thierry, University of Sheffield<\/li>\r\n \t<li>High level image editing and uncertainty in images | Eno T\u00f6ppe, University of Bonn<\/li>\r\n \t<li><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/aaron_turon.pdf\" target=\"_self\">Reasoning about concurrency: Interference requires permission<\/a>\u00a0|\u00a0Aaron Turon, Northeastern University<\/li>\r\n \t<li>Fault tolerance using live execution replay in virtual machines | Bharath Venkatakrishnan, University of Cambridge<\/li>\r\n \t<li>The formal verification of concurrent programs |\u00a0 John Wickerson, University of Cambridge<\/li>\r\n \t<li><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/gulay_yalcin.ppt\" target=\"_self\">Leveraging transaction memory hardware design for speculative multithreading<\/a>\u00a0 |\u00a0Gulay Yalcin, BSC-Microsoft Research Centre<\/li>\r\n \t<li><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/yichi_zhang.pdf\" target=\"_self\">Verifying the flash device drive<\/a>\u00a0| Yichi Zhang, University of Cambridge<\/li>\r\n<\/ol>\r\n[\/panel]\r\n\r\n[panel header=\"Posters Guidelines\"]\r\n\r\nPosters should be designed for A1 portrait (594 mm x 841 mm) colour printing (either PowerPoint or PDF) and articulate clearly and concisely either visually or textually:\r\n<ul>\r\n \t<li>What challenge is 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>What the research is.<\/li>\r\n \t<li>What the intended outcome is.<\/li>\r\n \t<li>What stage it is at.<\/li>\r\n \t<li>Any research results, preliminary conclusions, or any potentially exciting or interesting next steps are.<\/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 also clearly display your name and the name of your university.\r\n\r\nYou can find example of posters on the page of the 2008 Summer School.\r\n\r\n[\/panel]\r\n\r\n[\/accordion]"},{"id":4,"name":"Leisure","content":"<h2>Food and Drinks<\/h2>\r\n<a href=\"http:\/\/www.cambridge-pubs.co.uk\/\">Cambridge Pubs Guide<\/a>\r\n\r\n<a href=\"http:\/\/www.cambridgerestaurants.com\/\">Cambridge Restaurants Guide<\/a>\r\n<h2>Theatres<\/h2>\r\n<a href=\"http:\/\/www.cambridgeartstheatre.com\/\">Cambridge Arts Theatre<\/a>\r\n6, St. Edwards Passage, Cambridge, Cambridgeshire CB2 3PL\r\nTel: 01223 578933 For major theatre productions and national tours.\r\n\r\n<a href=\"http:\/\/www.adctheatre.com\/\">ADC Theatre<\/a>\r\nPark St, Cambridge, Cambridgeshire CB5 8AS\r\nTel: 01223 359547\r\n\r\n<a href=\"http:\/\/web.anglia.ac.uk\/mumfordtheatre\/\">Mumford Theatre<\/a>\r\nAnglia Polytechnic University, East Road, Cambridge, Cambridgeshire\r\nTel: 0845 196 2320\r\n\r\n<a href=\"http:\/\/www.cornex.co.uk\/\">Cambridge Corn Exchange<\/a>\r\n3, Parson Court, Wheeler St, Cambridge, Cambridgeshire CB2 3QE\r\nTel: 01223 357851 For rock, pop, comedy and opera.\r\n\r\n<a href=\"http:\/\/www.junction.co.uk\/\">The Junction<\/a>\r\nCambridge Leisure Park, Clifton Road, Cambridge, Cambridgeshire CB1 7GX\r\nTel: (01223) 511511 Also for rock, pop, comedy.\r\n<h2>Cinema<\/h2>\r\n<a href=\"http:\/\/www.picturehouses.co.uk\/cinema_home_date.aspx?venueId=camb\">The Arts Picture House<\/a>\r\n38-39, St. Andrews St, Cambridge, Cambridgeshire CB2 3AR\r\nTel: 01223 572929 Arthouse and international.\r\n\r\n<a href=\"http:\/\/www.cineworld.co.uk\/cinemas\/7\" target=\"_self\">Cineworld<\/a>\r\nCambridge Leisure Park, Clifton Road\r\nTel. 0871 200 2000 Multi screen Cinema complex.\r\n\r\n<a href=\"http:\/\/www.myvue.com\/index.asp?ci=17\">Vue Cinema<\/a>\r\nThe Grafton Centre, East Rd, Cambridge, Cambridgeshire CB1 1PS\r\nTel: 0871 2240240 Multi screen Cinema.\r\n<h3>Note<\/h3>\r\n* The number of spaces for go-karting is limited, so we'll select drivers on a first-come first-served basis."}],"msr_startdate":"2009-06-29","msr_enddate":"2009-07-03","msr_event_time":"","msr_location":"Cambridge, UK","msr_event_link":"","msr_event_recording_link":"","msr_startdate_formatted":"June 29, 2009","msr_register_text":"Watch now","msr_cta_link":"","msr_cta_text":"","msr_cta_bi_name":"","featured_image_thumbnail":null,"event_excerpt":"The fourth Microsoft Research Summer School was held at Microsoft Research in Cambridge, U.K., on 29 June through 3 July 2009. It included a series of talks of academic interest and poster sessions that gave invited students the opportunity to present their work to Microsoft researchers and a number of Cambridge academics. Invited students included PhD students at the end of their first year from the Cambridge University\u00a0Computer Laboratory and\u00a0Engineering Department, from the International Max&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\/270687"}],"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":2,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-event\/270687\/revisions"}],"predecessor-version":[{"id":497813,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-event\/270687\/revisions\/497813"}],"wp:attachment":[{"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/media?parent=270687"}],"wp:term":[{"taxonomy":"msr-research-area","embeddable":true,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/research-area?post=270687"},{"taxonomy":"msr-region","embeddable":true,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-region?post=270687"},{"taxonomy":"msr-event-type","embeddable":true,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-event-type?post=270687"},{"taxonomy":"msr-video-type","embeddable":true,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-video-type?post=270687"},{"taxonomy":"msr-locale","embeddable":true,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-locale?post=270687"},{"taxonomy":"msr-program-audience","embeddable":true,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-program-audience?post=270687"},{"taxonomy":"msr-post-option","embeddable":true,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-post-option?post=270687"},{"taxonomy":"msr-impact-theme","embeddable":true,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-impact-theme?post=270687"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}