{"id":199733,"date":"2011-02-11T03:09:15","date_gmt":"2011-02-11T03:09:15","guid":{"rendered":"https:\/\/www.microsoft.com\/en-us\/research\/events\/phd-summer-school-2011\/"},"modified":"2025-08-06T12:02:43","modified_gmt":"2025-08-06T19:02:43","slug":"phd-summer-school-2011","status":"publish","type":"msr-event","link":"https:\/\/www.microsoft.com\/en-us\/research\/event\/phd-summer-school-2011\/","title":{"rendered":"PhD Summer School 2011"},"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<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.facebook.com\/group.php?gid=130890773603576\">Summer School 2010 Facebook Group<span class=\"sr-only\"> (opens in new tab)<\/span><\/a><\/li>\n<li><a title=\"\" href=\"https:\/\/www.microsoft.com\/en-us\/research\/event\/phd-summer-school-2010\/\" target=\"_self\">Summer School 2010<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.facebook.com\/?ref=logo#!\/home.php?sk=group_118697201545436\">Summer School 2011 Facebook Group<span class=\"sr-only\"> (opens in new tab)<\/span><\/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><img loading=\"lazy\" decoding=\"async\" class=\"alignnone size-full wp-image-270327\" src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2011\/02\/untitled.png\" alt=\"PhD Summer School 2011\" width=\"550\" height=\"365\" srcset=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2011\/02\/untitled.png 550w, https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2011\/02\/untitled-300x199.png 300w\" sizes=\"auto, (max-width: 550px) 100vw, 550px\" \/><\/p>\n<p>The sixth Microsoft Research Summer School took place at Microsoft Research in Cambridge, U.K., from 27 June to 1 July 2011. 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.<\/p>\n<div class=\"conM \">\n<p>Invited students\u00a0included PhD students in their first or second\u00a0year from\u00a0universities and research institutions Microsoft Research partners with and\u00a0all\u00a0Microsoft Research\u00a02010 PhD Scholars.<\/p>\n<p>Lectures and posters sessions were public and open to all research staff and students from the University of Cambridge.<\/p>\n<p><a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" title=\"\" href=\"http:\/\/www.bing.com\/maps\/?v=2&cp=53.35388946500001~-6.243333338999994&lvl=6&dir=0&sty=c&cid=F3C62D107178AEC!186\" target=\"_blank\">Map of venues<span class=\"sr-only\"> (opens in new tab)<\/span><\/a><\/p>\n<\/div>\n<p><span id=\"label-external-link\" class=\"sr-only\" aria-hidden=\"true\">Opens in a new tab<\/span><\/p>\n<h2>Monday,\u00a027 June 2011<\/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\" style=\"text-align: left\">Session<\/th>\n<th class=\"th\"><\/th>\n<th class=\"th\"><\/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\">15:00<\/div>\n<\/td>\n<td>\n<div class=\"msr-table-schedule-cell\">Students staying at <a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" title=\"\" href=\"http:\/\/www.jesus.cam.ac.uk\/\" target=\"_blank\">Jesus College <span class=\"sr-only\"> (opens in new tab)<\/span><\/a>and Westcott House get the keys to their rooms<\/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\">Welcome and tea<\/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:30<\/div>\n<\/td>\n<td>\n<div class=\"msr-table-schedule-cell\">Bus transportation from Jesus College to the go-karting venue<\/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:00<\/div>\n<\/td>\n<td>Go-karting* and dinner (casual clothing; we recommend wearing old shoes)<\/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\">22:00<\/div>\n<\/td>\n<td>Bus transportation back to Jesus College<\/td>\n<td><\/td>\n<td><\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n<h2>Tuesday,\u00a028 June 2011<\/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\" style=\"text-align: left\">Session<\/th>\n<th class=\"th\" style=\"text-align: left\">Speaker<\/th>\n<th class=\"th\"><\/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\">09:00<\/div>\n<\/td>\n<td>\n<div class=\"msr-table-schedule-cell\">Bus to Microsoft Research<\/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>Registration<\/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\">10:15<\/div>\n<\/td>\n<td>\n<div class=\"msr-table-schedule-cell\"><strong>Overview of Microsoft Research and the Summer School<\/strong><\/div>\n<\/td>\n<td>\n<div class=\"msr-table-schedule-cell\">\n<p>Ken Wood<br \/>\n(Microsoft Research)<\/p>\n<\/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\">11:00<\/div>\n<\/td>\n<td>\n<div class=\"msr-table-schedule-cell\"><strong>How to write a great research paper<\/strong><\/div>\n<\/td>\n<td><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/simonpj\/\">Simon Peyton-Jones <span class=\"sr-only\"> (opens in new tab)<\/span><\/a>(Microsoft Research)<\/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>Lunch and poster session 1\u00a0[see posters guidelines]<\/div>\n<\/td>\n<td><\/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>How to give a great research talk<\/strong><\/div>\n<\/td>\n<td><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/simonpj\/\">Simon Peyton-Jones <span class=\"sr-only\"> (opens in new tab)<\/span><\/a>(Microsoft Research)<\/td>\n<td><\/td>\n<\/tr>\n<tr class=\"tr\">\n<td class=\"td-1-4\">\n<div class=\"msr-table-schedule-cell\">\u00a015:00<\/div>\n<\/td>\n<td>\n<div class=\"msr-table-schedule-cell\">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:15<\/div>\n<\/td>\n<td>\n<div class=\"msr-table-schedule-cell\"><strong>Parallel Session<\/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>InnerEye: automatic visual recognition in the hospital\u00a0<\/strong><\/div>\n<\/td>\n<td><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/antcrim\/\">Antonio Criminisi<span class=\"sr-only\"> (opens in new tab)<\/span><\/a><br \/>\n(Microsoft Research)<\/td>\n<td><\/td>\n<\/tr>\n<tr class=\"tr\">\n<td class=\"td-1-4\"><\/td>\n<td>\n<div><strong>Cores, cores, everywhere\u00a0<\/strong><\/div>\n<\/td>\n<td>\n<div class=\"msr-table-schedule-cell\">Tim Harris<br \/>\n(Microsoft Research)<\/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\">16:15<\/div>\n<\/td>\n<td>\n<div class=\"msr-table-schedule-cell\">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\">16:45<\/div>\n<\/td>\n<td>\n<div class=\"msr-table-schedule-cell\"><strong>Parallel Session<\/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>Social Computing &#8211; Where the Human Intelligence and Computing Technologies Meet <\/strong><\/div>\n<\/td>\n<td>\n<div class=\"msr-table-schedule-cell\">Natasa Milic-Frayling (Microsoft Research)<\/div>\n<\/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>Proving that programs eventually do something good<\/strong><\/div>\n<\/td>\n<td>\n<div class=\"msr-table-schedule-cell\">Byron Cook<br \/>\n(Microsoft Research)<\/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:45<\/div>\n<\/td>\n<td>\n<div class=\"msr-table-schedule-cell\">Bus transportation 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:30<\/div>\n<\/td>\n<td>\n<div class=\"msr-table-schedule-cell\">Drinks, more 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:30<\/div>\n<\/td>\n<td>\n<div class=\"msr-table-schedule-cell\">Dinner at Jesus College<\/div>\n<\/td>\n<td><\/td>\n<td><\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n<h2>Wednesday,\u00a029 June 2011<\/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\" style=\"text-align: left\">Session<\/th>\n<th class=\"th\" style=\"text-align: left\">Speaker<\/th>\n<th class=\"th\"><\/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\">09:00<\/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\">Making the most of your PhD; now and in your career<\/div>\n<\/td>\n<td>Tennie Videler (<a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" href=\"http:\/\/www.vitae.ac.uk\/\" target=\"_blank\">Vitae<span class=\"sr-only\"> (opens in new tab)<\/span><\/a>)<\/td>\n<td><\/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\">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\">The work of Microsoft Research Connections in the region<\/div>\n<\/td>\n<td><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/scarlets\/\">Scarlet Schwiderski-Grosche<span class=\"sr-only\"> (opens in new tab)<\/span><\/a> (Microsoft Research)<\/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 and poster session 2 [see posters guidelines]<\/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\">Computer science as applied philosophy<\/div>\n<\/td>\n<td>Tony Hoare<br \/>\n(Microsoft Research)<\/td>\n<td><\/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\">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:15<\/div>\n<\/td>\n<td>\n<div class=\"msr-table-schedule-cell\"><strong>Parallel session<\/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>Can we use computer programmes to treat cancer?<\/strong><\/div>\n<\/td>\n<td>Joaquin Qui\u00f1onero Candela (Microsoft Research)<\/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>Halo, Kinect, Bing: The Magic of Research in Microsoft Products<\/strong><\/div>\n<\/td>\n<td>\n<div class=\"msr-table-schedule-cell\"><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/jfisher\/\">Jasmin Fisher<span class=\"sr-only\"> (opens in new tab)<\/span><\/a><br \/>\n(Microsoft Research)<\/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\">16:15<\/div>\n<\/td>\n<td>\n<div>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\">16:45<\/div>\n<\/td>\n<td>\n<div><strong>Parallel session<\/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><strong>Computational Ecology: Enabling intelligent management of the environment<\/strong><\/div>\n<\/td>\n<td>Drew Purves<br \/>\n(Microsoft Research)<\/td>\n<td><\/td>\n<\/tr>\n<tr class=\"tr\">\n<td class=\"td-1-4\"><\/td>\n<td>\n<div><strong>Local cues and global constraints in image understanding<\/strong><\/div>\n<\/td>\n<td>Olga Barinova<br \/>\n(Moscow State University)<\/td>\n<td><\/td>\n<\/tr>\n<tr class=\"tr\">\n<td class=\"td-1-4\">\n<div class=\"msr-table-schedule-cell\">17:45<\/div>\n<\/td>\n<td>\n<div>Bus transportation to Jesus College<\/div>\n<\/td>\n<td><\/td>\n<td><\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n<h2>Thursday,\u00a030 June 2011<\/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\" style=\"text-align: left\">Session<\/th>\n<th class=\"th\" style=\"text-align: left\">Speaker<\/th>\n<th class=\"th\"><\/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\">09:00<\/div>\n<\/td>\n<td>\n<div class=\"msr-table-schedule-cell\">Bus to Microsoft Research<\/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\">\u00a009:30<\/div>\n<\/td>\n<td>\n<div class=\"msr-table-schedule-cell\"><strong>Blue skies to ground truth: Machine learning for Kinect human motion capture<\/strong><\/div>\n<\/td>\n<td><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/awf\/\">Andrew Fitzgibbon<span class=\"sr-only\"> (opens in new tab)<\/span><\/a><br \/>\n(Microsoft Research)<\/td>\n<td><\/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>Break<\/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><strong>Gadgeteer<\/strong><\/td>\n<td><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/nvillar\/\">Nicolas Villar<span class=\"sr-only\"> (opens in new tab)<\/span><\/a><br \/>\n(Microsoft Research)<\/td>\n<td><\/td>\n<\/tr>\n<tr class=\"tr\">\n<td class=\"td-1-4\">12:00<\/td>\n<td>Lunch and posters session 3 [see posters guidelines]<\/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><strong>Rough guide to being an entrepreneur<\/strong><\/td>\n<td>Jack Lang (University of Cambridge)<\/td>\n<td><\/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>Break<\/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:15<\/div>\n<\/td>\n<td><strong>F# today, F# tomorrow \u2013 data-rich programming meets functional programming super-drug<\/strong><\/td>\n<td><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/dsyme\/\">Don Syme<span class=\"sr-only\"> (opens in new tab)<\/span><\/a><br \/>\n(Microsoft Research)<\/td>\n<td><\/td>\n<\/tr>\n<tr class=\"tr\">\n<td class=\"td-1-4\">\n<div class=\"msr-table-schedule-cell\">16:15<\/div>\n<\/td>\n<td>\n<div class=\"msr-table-schedule-cell\">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\">16:45<\/div>\n<\/td>\n<td>\n<div class=\"msr-table-schedule-cell\"><strong>Cloud computing for research<\/strong><\/div>\n<\/td>\n<td><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/kenjitak\/\">Kenji Takeda<span class=\"sr-only\"> (opens in new tab)<\/span><\/a><br \/>\n(Microsoft Research)<\/td>\n<td><\/td>\n<\/tr>\n<tr class=\"tr\">\n<td class=\"td-1-4\">\n<div class=\"msr-table-schedule-cell\">17:45<\/div>\n<\/td>\n<td>\n<div class=\"msr-table-schedule-cell\">Bus transportation to punting location<\/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\">Punting on the river Cam<\/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:30<\/div>\n<\/td>\n<td>\n<div class=\"msr-table-schedule-cell\">Dinner at <a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" target=\"_blank\" href=\"http:\/\/www.lamimosa.co.uk\/\">La Mimosa<span class=\"sr-only\"> (opens in new tab)<\/span><\/a><\/div>\n<\/td>\n<td><\/td>\n<td><\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n<h2>Friday,\u00a01 July 2011<\/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\" style=\"text-align: left\">Session<\/th>\n<th class=\"th\" style=\"text-align: left\">Speaker<\/th>\n<th class=\"th\"><\/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\">09:00<\/div>\n<\/td>\n<td>\n<div class=\"msr-table-schedule-cell\">Bus to Microsoft Research<\/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><strong>Introduction to intellectual property<\/strong><\/strong><\/div>\n<\/td>\n<td>Carole Boelitz (Microsoft)<\/td>\n<td><\/td>\n<\/tr>\n<tr class=\"tr\">\n<td class=\"td-1-4\">10:30<\/td>\n<td>\n<div class=\"msr-table-schedule-cell\">Break<\/div>\n<\/td>\n<td><\/td>\n<td><\/td>\n<\/tr>\n<tr class=\"tr\">\n<td class=\"td-1-4\">11:00<\/td>\n<td>\n<div class=\"msr-table-schedule-cell\">\n<div class=\"msr-table-schedule-cell\">\n<div class=\"msr-table-schedule-cell\"><strong>How to Present a Poster at an International Conference<\/strong><\/div>\n<\/div>\n<\/div>\n<\/td>\n<td>\n<div class=\"msr-table-schedule-cell\">\n<div class=\"msr-table-schedule-cell\">\n<p>Sue Duraikan<br \/>\n(Duraikan Training)<\/p>\n<\/div>\n<\/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\">12:00<\/div>\n<\/td>\n<td>\n<div class=\"msr-table-schedule-cell\">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\">\u00a013:30<\/div>\n<\/td>\n<td>\n<div class=\"msr-table-schedule-cell\">End and bus transportation to Jesus College<\/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-7682\"}' 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-7682\"\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-7681\"\n\t\t\t\ttype=\"button\"\n\t\t\t>\n\t\t\t\tOlga Barinova | Researcher, Moscow State University\t\t\t<\/button>\n\t\t<\/div>\n\t\t<div\n\t\t\taria-labelledby=\"accordion-button-7681\"\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-7682\"\n\t\t>\n\t\t\t<div class=\"msr-accordion__body\">\n\t\t\t\t<h2><img loading=\"lazy\" decoding=\"async\" class=\"size-full wp-image-201850 alignright\" src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/02\/en-us-events-2011summerschool-olga.jpg\" alt=\"olga.jpg\" width=\"101\" height=\"133\" \/><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2011\/02\/obarinova2011.pdf\">Local cues and global constraints in image understanding<\/a><\/h2>\n<h3>Abstract<\/h3>\n<p>Modern computer vision systems can reconstruct 3-d scene geometry from 2-d images, or separate foreground objects from background, or accurately detect objects of a particular class. These advances owe a lot to emergence of energy optimization-based models that allow fusing information from different parts and elements of an image in a principled way. In this talk I will give an overview of these models and illustrate their application in a number of computer vision tasks.<\/p>\n<h3>Biography<\/h3>\n<p>Olga Barinova is a Researcher in Graphics and Media Lab at Moscow State University and is currently engaged in Microsoft Research Connections projects in Russia. She holds a Ph.D. degree in computer science from the Moscow State University, her research focuses on the applications of machine learning methods to computer vision. She is an author of several patents and her work was published at a number of international computer vision and machine learning journals and conferences including PAMI, ECML, ECCV, CVPR.<\/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-7684\"}' 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-7684\"\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-7683\"\n\t\t\t\ttype=\"button\"\n\t\t\t>\n\t\t\t\tCarole Boelitz | Senior Attorney, Microsoft\t\t\t<\/button>\n\t\t<\/div>\n\t\t<div\n\t\t\taria-labelledby=\"accordion-button-7683\"\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-7684\"\n\t\t>\n\t\t\t<div class=\"msr-accordion__body\">\n\t\t\t\t<h2>Intr<img loading=\"lazy\" decoding=\"async\" class=\"size-full wp-image-201864 alignright\" src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/02\/en-us-events-2011summerschool-boelitz.jpg\" alt=\"boelitz.jpg\" width=\"101\" height=\"133\" \/>oduction to intellectual property<\/h2>\n<h3>Abstract<\/h3>\n<p>I 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.<\/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-7686\"}' 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-7686\"\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-7685\"\n\t\t\t\ttype=\"button\"\n\t\t\t>\n\t\t\t\tByron Cook | Principal Researcher, Microsoft Research\t\t\t<\/button>\n\t\t<\/div>\n\t\t<div\n\t\t\taria-labelledby=\"accordion-button-7685\"\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-7686\"\n\t\t>\n\t\t\t<div class=\"msr-accordion__body\">\n\t\t\t\t<h2><img loading=\"lazy\" decoding=\"async\" class=\"size-full wp-image-201851 alignright\" src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/02\/en-us-events-2011summerschool-cook.jpg\" alt=\"cook.jpg\" width=\"101\" height=\"133\" \/><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2011\/02\/bcook2011.pdf\">Proving that programs eventually do something good<\/a><\/h2>\n<h3>Abstract<\/h3>\n<p>Software failures can be sorted into two groups: those that cause the software to do something wrong (e.g. crashing), and those that result in the software not doing something useful (e.g. hanging). In recent years automatic tools have been developed which use mathematical proof techniques to certify that software cannot crash. But, based on Alan Turing&#8217;s proof of the halting problem&#8217;s undecidablity, many have considered the dream of automatically proving the absence of hangs to be impossible. While not refuting Turing&#8217;s original result, recent research now makes this dream a reality. This lecture will describe this recent work and its application to industrial software.<\/p>\n<h3>Biography<\/h3>\n<p>Dr. Byron Cook is a Principal Researcher at Microsoft Research in Cambridge, UK as well as Professor of Computer Science at Queen Mary, University of London. He is one of the developers of the Terminator program termination proving tool, as well as the SLAM software model checker. See research.microsoft.com\/~bycook\/ for more information.<\/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-7688\"}' 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-7688\"\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-7687\"\n\t\t\t\ttype=\"button\"\n\t\t\t>\n\t\t\t\tAntonio Criminisi | Researcher, Microsoft Research\t\t\t<\/button>\n\t\t<\/div>\n\t\t<div\n\t\t\taria-labelledby=\"accordion-button-7687\"\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-7688\"\n\t\t>\n\t\t\t<div class=\"msr-accordion__body\">\n\t\t\t\t<h2><img loading=\"lazy\" decoding=\"async\" class=\"size-full wp-image-201852 alignright\" src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/02\/en-us-events-2011summerschool-criminisi.jpg\" alt=\"criminisi.jpg\" width=\"101\" height=\"133\" \/>InnerEye: Automatic visual recognition in the hospital<\/h2>\n<h3>Abstract<\/h3>\n<p>In this talk I will present the research work that we are doing in Cambridge in the area of automatic medical image analysis.<\/p>\n<p>Analysis of medical images is essential in modern medicine. With the increasing amount of patient data, new challenges and opportunities arise for different phases of the clinical routine, such as diagnosis and therapy. The InnerEye research project focuses on the automatic analysis of patients&#8217; scans by using machine learning techniques for: 1. Automatic detection and segmentation of healthy anatomy, as well as anomalies; 2. Semantic navigation and visualization; 3. Robust registration. Our methods combine medical expertise and modern machine learning theory in the design of tools for computer-aided diagnosis, personalized medicine, and natural user interfaces for surgical intervention.<\/p>\n<h3>Biography<\/h3>\n<p>Antonio Criminisi joined the Machine Learning and Perception group at Microsoft Research Cambridge in June 2000 as Visiting Researcher. In February 2001, he moved to the Interactive Visual Media Group in Redmond (WA, USA) as a Post-Doctorate Researcher. In October 2002, he moved back to the Machine Learning and Perception Group in Cambridge as Researcher. 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 &#8220;Doctor of Philosophy&#8221; (PhD) Degree in Computer Vision at the University of Oxford. His thesis \u201cAccurate Visual Metrology from Single and Multiple Uncalibrated Images\u201d won the <em>British Computer Society Distinguished Dissertation Award<\/em> 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-7690\"}' 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-7690\"\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-7689\"\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-7689\"\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-7690\"\n\t\t>\n\t\t\t<div class=\"msr-accordion__body\">\n\t\t\t\t<h2><img loading=\"lazy\" decoding=\"async\" class=\"size-full wp-image-201859 alignright\" src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/02\/en-us-events-2011summerschool-duraikan.jpg\" alt=\"duraikan.jpg\" width=\"100\" height=\"132\" \/>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 3 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>After this, Sue will be available to provide confidential 1-1 feedback for any students who are interested.<\/p>\n<h3>Biography<\/h3>\n<p>Sue Duraikan runs Duraikan Training, a consultancy which aims to help individuals and organisations develop. Duraikan Training provides support in designing and delivering learning strategies. We also run training sessions and one-to-one coaching on a wide range of professional skills. As a former teacher of Modern Languages 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-7692\"}' 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-7692\"\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-7691\"\n\t\t\t\ttype=\"button\"\n\t\t\t>\n\t\t\t\tJasmin Fisher | Researcher, Microsoft Research\t\t\t<\/button>\n\t\t<\/div>\n\t\t<div\n\t\t\taria-labelledby=\"accordion-button-7691\"\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-7692\"\n\t\t>\n\t\t\t<div class=\"msr-accordion__body\">\n\t\t\t\t<h2><img loading=\"lazy\" decoding=\"async\" class=\"size-full wp-image-201853 alignright\" src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/02\/en-us-events-2011summerschool-fisher.jpg\" alt=\"fisher.jpg\" width=\"101\" height=\"133\" \/>Can we use computer programmes to treat cancer?<\/h2>\n<h3>Abstract<\/h3>\n<p>In this talk I will explain how we use executable models to describe biological processes. In particular, I will focus on the process of cell fate determination, where stem cells commit to a single lineage (leading to a single cell type) while having the ability to undergo multi-lineage differentiation. The elucidation of intricate mechanisms that govern stem cell decisions is essential for understanding normal development. Moreover, defects in these mechanisms play an important role in disease such as cancer. In this talk, I will demonstrate how we shed new light on such mechanisms using formal executable models of cell fate decisions, and how these kinds of models enrich the world of programming languages and formal verification in ways that have never been thought of before.<\/p>\n<h3>Biography<\/h3>\n<p><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/jfisher\/\">Jasmin Fisher<\/a> received her PhD in Neuroimmunology from the Weizmann Institute of Science in Israel. She started her work on the application of formal methods to biology as a postdoctoral fellow in the department of Computer Science at the Weizmann Institute (2003-2004), where she worked with David Harel, and then continued to work also on the development of novel formalisms and tools that are specifically-tailored for modelling biological processes as a postdoctoral researcher in the School of Computer Science at the EPFL in Switzerland (2004-2007), together with Tom Henzinger. In 2007, Jasmin moved to Cambridge to join Microsoft Research, and since 2009 she is also an Affiliated Lecturer at Cambridge University. Her research focuses on the construction and analysis of executable models that describe various biological phenomena in order to better understand complex biological systems. She is mainly interested in processes of cell fate determination and signaling networks operating during normal development and cancer.<\/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-7694\"}' 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-7694\"\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-7693\"\n\t\t\t\ttype=\"button\"\n\t\t\t>\n\t\t\t\tAndrew Fitzgibbon | Microsoft Research\t\t\t<\/button>\n\t\t<\/div>\n\t\t<div\n\t\t\taria-labelledby=\"accordion-button-7693\"\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-7694\"\n\t\t>\n\t\t\t<div class=\"msr-accordion__body\">\n\t\t\t\t<h2><img loading=\"lazy\" decoding=\"async\" class=\"size-full wp-image-201865 alignright\" src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/02\/en-us-events-2011summerschool-fitzgibbon.jpg\" alt=\"fitzgibbon.jpg\" width=\"101\" height=\"133\" \/><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2011\/02\/afitzgibbon2011.pdf\">Blue skies to ground truth: Machine learning for Kinect human motion capture<\/a><\/h2>\n<h3>Abstract<\/h3>\n<p>Kinect for Xbox 360 is not just a new way of controlling computer games, it represents a fundamental change in the way humans can interact with machines. I will talk about how Kinect solves the human body tracking problem, which involved a significant advance over the academic state of the art. The key was a clever repurposing of existing machine learning approaches to general object recognition, combined a database of training data much larger than had previously been used. The talk also illustrates how \u201cblue skies\u201d research can have practical benefits both short-term and long.<\/p>\n<h3>Biography<\/h3>\n<p>Andrew Fitzgibbon is a principal researcher at Microsoft Research, Cambridge, UK. His research interests are in the intersection of computer vision and computer graphics, with excursions into neuroscience. Recent papers have been on models of nonrigid motion, human 3D perception, large-scale image search, and nonlinear optimization.<\/p>\n<p>He has co-authored &#8220;best papers&#8221; at ICCV (twice), CVPR, and BMVC, and software he wrote won an Engineering Emmy Award in 2002 for significant contributions to the creation of complex visual effects. He studied at University College Cork, at Heriot-Watt university, and received his PhD from Edinburgh University in 1997. Until June 2005 he held a Royal Society University Research Fellowship at Oxford University&#8217;s Department of Engineering Science.<\/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-7696\"}' 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-7696\"\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-7695\"\n\t\t\t\ttype=\"button\"\n\t\t\t>\n\t\t\t\tTim Harris | Senior Researcher, Microsoft Research\t\t\t<\/button>\n\t\t<\/div>\n\t\t<div\n\t\t\taria-labelledby=\"accordion-button-7695\"\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-7696\"\n\t\t>\n\t\t\t<div class=\"msr-accordion__body\">\n\t\t\t\t<h2><img loading=\"lazy\" decoding=\"async\" class=\"size-full wp-image-201854 alignright\" src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/02\/en-us-events-2011summerschool-harris.jpg\" alt=\"harris.jpg\" width=\"101\" height=\"133\" \/><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2011\/02\/tharris2011.pptx\">Cores, cores, everywhere<\/a><\/h2>\n<h3>Abstract<\/h3>\n<p>Parallel programming is now the norm: even a basic laptop will have 2, 3, or 4 processor cores, along with a GPU for handling graphics processing. This raises new challenges and opportunities: Challenges, because writing parallel software is seen as vastly more difficult than writing sequential programs. Opportunities, because efficient parallel software can run with lower power consumption, or with greater performance than a sequential program. In this talk I\u2019ll show how projects at Microsoft Research Cambridge are helping to tackle these problems by making parallel programming easier, and by making the underlying computer operating systems a better fit for tomorrow\u2019s highly parallel machines.<\/p>\n<h3>Biography<\/h3>\n<p>Tim Harris is a Senior Researcher at Microsoft Research Cambridge where he works on abstractions for using multi-core computers. He is currently working on the Barrelfish operating system, and on architecture support for programming language runtime systems. His other recent work has focused on the implementation of software transactional memory for multi-core computers, and the design of programming language features based on it.<\/p>\n<p>Tim has a BA and PhD in computer science from Cambridge University Computer Laboratory. He was on the faculty at the Computer Laboratory from 2000-2004 where he led the department&#8217;s research on concurrent data structures and contributed to the Xen virtual machine monitor project. He joined Microsoft Research in 2004.<\/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-7698\"}' 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-7698\"\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-7697\"\n\t\t\t\ttype=\"button\"\n\t\t\t>\n\t\t\t\tTony Hoare | Principal Researcher, Microsoft Research\t\t\t<\/button>\n\t\t<\/div>\n\t\t<div\n\t\t\taria-labelledby=\"accordion-button-7697\"\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-7698\"\n\t\t>\n\t\t\t<div class=\"msr-accordion__body\">\n\t\t\t\t<h2><img loading=\"lazy\" decoding=\"async\" class=\"size-full wp-image-201855 alignright\" src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/02\/en-us-events-2011summerschool-hoare.jpg\" alt=\"hoare.jpg\" width=\"101\" height=\"133\" \/><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2011\/02\/thoare2011.pptx\">Computer science as applied philosophy<\/a><\/h2>\n<h3>Abstract<\/h3>\n<p>Physics, Biology, Medicine, Mathematics, and Geometry all had their origin in Ancient Greek Philosophy; I hope to show that Computing, considered as a branch of Science, has the same origins in ancient Greece; and its practical application to software engineering sheds light on several historic issues in philosophy.<\/p>\n<p>My first example is of course Aristotle (384-322 bc). His syllogistic logic explained the difference between valid and invalid reasoning, not only in Mathematics and the Natural Sciences, but also in politics, law, and philosophy itself. The secret of validity lies solely in the syntactic form of the argument, and is completely independent of its subject matter in the real world. Today, it is a formal syntax that enables the computer to check very long proofs, and actually to discover proofs of conjectures. Furthermore, programming languages are defined today in terms of their syntax, which permits compilers to inhibit execution of meaningless programs. The meaning of a valid program execution is defined inductively, in the same way as a valid logical proof.<\/p>\n<p>My next example is Euclid (round 300 bc). He is the designer of the world\u2019s first programming language, used to specify constructions in geometry. His ideas still lie at the basis of all modern graphical programming languages, drawing pictures on all the screens of all the computers and cinemas and telephones in the world. His language was certainly the first, and still almost the only language, in which all the programs come with a rigorous specification of their purpose, and a proof of their correctness. Today, such proofs are beginning to protect computer programs, measuring billions of lines of code, from the risks posed viruses, worms, and other malware attacks.<\/p>\n<p>My next example is William of Ockham (1287-1347). In Medieval times, the most important application of logic was to paradoxes of Theology. For example, how do you reconcile the perfect knowledge of the Deity of what is going to happen in the future with the existence of man\u2019s free will. This problem was solved by Temporal logic, in a version based on Branching Time. Today, computers have been programmed to use Branching Time in analysis of the correctness of communication protocols and computer software designs, even in the presence of non-determinism, which is now a feature of all computer programs and programming languages.<\/p>\n<p>My final example is Gottfried Leibnitz (1646-1716). He was a co-discoverer with Isaac Newton of the differential calculus. This works by using symbolic calculations on algebraic formulae. The correctness of the calculation is defined by the list of algebraic equations that are presented by the calculus. Leibnitz had a dream that all the truths of philosophy, theology and natural science could be derived from first principles by just such calculations. This dream is now being partially realised in massive computer data-bases, which can find evidence that supports or refutes any conjecture presented by scientists or doctors.<\/p>\n<p>In the last century, the link between Computer Science and Philosophical Logic became even more intense. George Boole invented Boolean algebra, which lies at the basis of all computer hardware, as well as the Propositional Calculus, which is the basis of all proofs, both in Computer Science and in Mathematics. Gottlob Frege formalised the predicate calculus in a manner that is now recognised as adequate for all of mathematical proof. His formalisation of bound variables is now incorporated in the declarations of all computer programming languages. Bertrand Russell was most concerned with avoiding the paradoxes that he discovered at the very foundations of mathematics. He invented a theory of types to solve the problem. Types are used in most computer languages of the present day to inhibit the execution of meaningless programs. The mathematician David Hilbert hoped to prove the consistency of mathematics by means of a new specialised branch of Mathematics (Metamathematics), whose subject matter is mathematical formulae, rather than sets or numbers or geometric figures. This gave Alan Turing the idea of a computer that is capable of operating on programs held in its own store: although his motive was to prove that Hilbert\u2019s hope for mathematics was impossible.<\/p>\n<p>I will not have time to deal with the twentieth Century, so I refer you to the excellent book \u2018Engines of Logic\u2019 by Martin Davis.<\/p>\n<h3>Biography<\/h3>\n<p>Tony Hoare\u2019s computing interests were stimulated by his first (and only) degree in the humanities (1956): he studied Latin and ancient Greek, followed by philosophy, with particular interest in mathematical philosophy and logic. He learnt Russian during National Service in the Royal Navy. He spent a postgraduate year studying statistics at Oxford and another at Moscow State University, where he discovered the sorting algorithm Quicksort. In 1960, he joined the British Computer industry as a programmer, eventually rising to the rank of Chief Engineer.<\/p>\n<p>His Academic career started in 1968 with appointment as professor at the Queen\u2019s University, Belfast. He chose his long-term research area as proof of the correctness of programs. In the thick of the troubles, he built up a strong computing department, and moved in 1978 to do the same at Oxford. Following the example of Theoretical Physics, his interests broadened to the pursuit of Unifying Theories of Programming.<\/p>\n<p>On reaching retiring age, he accepted an offer of employment at Microsoft Research in Cambridge, where he has seen a strong surge of interest in automation of computer proofs of program correctness. He continues to pursue this interest, while exhorting academic researchers in long-term pursuit of even more idealistic scientific goals.<\/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-7700\"}' 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-7700\"\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-7699\"\n\t\t\t\ttype=\"button\"\n\t\t\t>\n\t\t\t\tJack Lang | Lecturer and Entrepreneur, University of Cambridge\t\t\t<\/button>\n\t\t<\/div>\n\t\t<div\n\t\t\taria-labelledby=\"accordion-button-7699\"\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-7700\"\n\t\t>\n\t\t\t<div class=\"msr-accordion__body\">\n\t\t\t\t<h2><img loading=\"lazy\" decoding=\"async\" class=\"size-full wp-image-201860 alignright\" src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/02\/en-us-events-2011summerschool-lang.jpg\" alt=\"lang.jpg\" width=\"100\" height=\"144\" \/><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2011\/02\/jlang2011.ppt\">Rough guide to being an entrepreneur<\/a><\/h2>\n<h3>Abstract<\/h3>\n<p>At 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.<\/p>\n<h3>Biography<\/h3>\n<p>Jack 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 class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" target=\"_blank\" href=\"http:\/\/artimi.com\/\">Artimi<span class=\"sr-only\"> (opens in new tab)<\/span><\/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 &#8220;Cambridge Phenomenon&#8221;, and was a proper academic at the Computer Lab. He is author of &#8220;The High Tech Entrepreneurs Handbook&#8221; (FT.Com\/Prentice Hall 2001). He has other interests in molecular gastronomy and fireworks.<\/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-7702\"}' 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-7702\"\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-7701\"\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-7701\"\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-7702\"\n\t\t>\n\t\t\t<div class=\"msr-accordion__body\">\n\t\t\t\t<h2><img loading=\"lazy\" decoding=\"async\" class=\"size-full wp-image-201856 alignright\" src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/02\/en-us-events-2011summerschool-milic-frayling.jpg\" alt=\"milic-frayling.jpg\" width=\"101\" height=\"133\" \/><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2011\/02\/nmilicfrayling2011.pdf\">Social Computing &#8211; Where the Human Intelligence and Computing Technologies Meet <\/a><\/h2>\n<h3>Abstract<\/h3>\n<p>Computer technologies have reshaped many areas of our lives, from science and engineering to business and entertainment. They had most astounding effects on the ways we communicate and relate to each other. On one side, new forms of social networks are emerging and providing rich user engagements, for example in the context of the media exchange on Flickr and YouTube, online gaming on Xbox Live, personal information sharing on Facebook, and real time messaging on Twitter. At the same time, the use of coordinated human efforts through crowdsourcing platforms makes difficult human undertakings feasible. They range from broad initiatives such as the Wikipedia effort focused on capturing the collective human knowledge, to tasks posted by individuals to the crowdsourcing services such as Amazon Mechanical Turk to have them completed by the crowd of registered workers. Making these social computing systems successful requires careful design and in-depth understanding of both the technology and the human behavior. In this presentation we will discuss the research challenges and the progress we made in developing techniques and tools for analyzing social computing systems.<\/p>\n<h3>Biography<\/h3>\n<p>As a Principal Researcher at Microsoft Research Cambridge, Natasa Milic-Frayling is setting research directions for the Integrated Systems group, a cross-disciplinary team focused on the design, prototyping and evaluation of information and communication systems and services. In her research, Natasa fosters collaboration across academic areas and considers multiple perspectives of the research problems.<\/p>\n<p>Natasa received her Doctorate in Applied Mathematics from Carnegie Mellon University, Pittsburgh, PA in 1988.<\/p>\n<p>Her publication record reflects the cross-disciplinary nature of her research, covering topics from machine learning and information retrieval models to the user experience in mobile and social media environments. Her latest contribution is the book chapter on the social networks analysis of Flickr social media in \u201cAnalyzing Social Media Networks with NodeXL\u201d by Derek Hansen, Ben Shneiderman, and Marc Smith, released in Sept 2010 by Elsevier\/Morgan Kaufmann.<\/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-7704\"}' 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-7704\"\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-7703\"\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-7703\"\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-7704\"\n\t\t>\n\t\t\t<div class=\"msr-accordion__body\">\n\t\t\t\t<h2><img loading=\"lazy\" decoding=\"async\" class=\"size-full wp-image-270387 alignright\" src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2011\/02\/Peyton_Jones.png\" alt=\"Peyton_Jones\" width=\"100\" height=\"132\" \/><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2011\/02\/speytonjonestalk2011.pdf\">How to write a great research paper<\/a><\/h2>\n<h2><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2011\/02\/speytonjonestalk2011.pdf\">How to give a great research talk<\/a><\/h2>\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 \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.<\/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 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.<\/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-7706\"}' 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-7706\"\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-7705\"\n\t\t\t\ttype=\"button\"\n\t\t\t>\n\t\t\t\tDrew Purves | Scientist, Microsoft Research\t\t\t<\/button>\n\t\t<\/div>\n\t\t<div\n\t\t\taria-labelledby=\"accordion-button-7705\"\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-7706\"\n\t\t>\n\t\t\t<div class=\"msr-accordion__body\">\n\t\t\t\t<h2><img loading=\"lazy\" decoding=\"async\" class=\"size-full wp-image-201862 alignright\" src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/02\/en-us-events-2011summerschool-purves.jpg\" alt=\"purves.jpg\" width=\"101\" height=\"133\" \/><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2011\/02\/dpurves2011.pptx\">Computational Ecology: Enabling intelligent management of the environment<\/a><\/h2>\n<h3>Abstract<\/h3>\n<p>In 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\u2019ll outline how, in order to help equip ecology for the 21<sup>st<\/sup> century, we are developing new software tools for ecological science, and using these tools to build a new global simulation model (similar in spirit to the GCMs used to predict future climates) of the structure and function of the world\u2019s ecosystems. Hopefully, it will become clear just how much computer scientists can contribute to the long-term wellbeing of humankind.<\/p>\n<h3>Biography<\/h3>\n<p>Drew Purves is the head of the Computational Ecology and Environmental Science group at Microsoft Research, Cambridge. Drew studied ecology at Cambridge University, did a PhD in ecological modelling at the University of York (UK), and spent nearly six years as a postdoc in the EEB Department at Princeton University, before joining Microsoft Research Cambridge in 2007. Drew\u2019s work, which ranges across many research areas in ecology, has been published in more than 30 research articles in top-tier scientific journals including Science, PNAS, and Proc Roy Soc B. Drew co-supervises several PhD students at European universities, is an affiliate lecturer at Cambridge University, and is the treasurer of the British Ecological Society.<\/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-7708\"}' 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-7708\"\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-7707\"\n\t\t\t\ttype=\"button\"\n\t\t\t>\n\t\t\t\tJoaquin Qui\u00f1onero Candela | Senior Applied Researcher, Microsoft Research\t\t\t<\/button>\n\t\t<\/div>\n\t\t<div\n\t\t\taria-labelledby=\"accordion-button-7707\"\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-7708\"\n\t\t>\n\t\t\t<div class=\"msr-accordion__body\">\n\t\t\t\t<h2><img loading=\"lazy\" decoding=\"async\" class=\"size-full wp-image-201866 alignright\" src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/02\/en-us-events-2011summerschool-quinonero-candela.jpg\" alt=\"quinonero-candela.jpg\" width=\"101\" height=\"133\" \/><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2011\/02\/jqcandela2011.pdf\">Halo, Kinect, Bing: The Magic of Research in Microsoft Products<\/a><\/h2>\n<h3>Abstract<\/h3>\n<p>This talk will be about some of the large-scale applications of cutting-edge research in computational intelligence and machine learning in Microsoft Products. We will reveal the magic behind the machine learning algorithm TrueSkill\u2122 that matches players in Xbox LIVE games. We will 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.<\/p>\n<h3>Biography<\/h3>\n<p>Joaquin Qui\u00f1onero Candela leads the Ranking, Allocation and Pricing team at <a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" target=\"_blank\" href=\"http:\/\/advertising.microsoft.com\/advertise-your-business-on-bing?s_cid=US_SMB_PPC_BNG_brand_AdCenter-Brand_adcenter_e\">Microsoft adCenter<span class=\"sr-only\"> (opens in new tab)<\/span><\/a>, which owns the design and optimization of the sponsored search auction on Bing and Yahoo!. Joaquin joined Microsoft Research as a Postdoctoral Researcher in early 2007, and was part of the small team that designed <a href=\"https:\/\/www.microsoft.com\/en-us\/research\/publication\/web-scale-bayesian-click-through-rate-prediction-for-sponsored-search-advertising-in-microsofts-bing-search-engine\/\">adPredictor<\/a>, the algorithm that is now used by Bing and Yahoo! to predict the probability that a use clicks on an ad. In 2009 Joaquin decided to embrace engineering in a product group, and moved to adCenter where he lead the click prediction team. Since end of 2010 Joaquin has lead the Ranking, Allocation and Pricing team. As a side project, Joaquin lead the team that created The Path of Go, a full 3D version of the ancient game of Go for the Xbox 360. Joaquin studied Telecommunications Engineering at the Carlos III University of Madrid, and did a PhD in Machine Learning at the Technical University of Denmark.<\/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-7710\"}' 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-7710\"\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-7709\"\n\t\t\t\ttype=\"button\"\n\t\t\t>\n\t\t\t\tScarlet Schwiderski-Grosche | Research Program Manager, Microsoft Research\t\t\t<\/button>\n\t\t<\/div>\n\t\t<div\n\t\t\taria-labelledby=\"accordion-button-7709\"\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-7710\"\n\t\t>\n\t\t\t<div class=\"msr-accordion__body\">\n\t\t\t\t<h2><img loading=\"lazy\" decoding=\"async\" class=\"size-full wp-image-201861 alignright\" src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/02\/en-us-events-2011summerschool-schwiderski-grosche.jpg\" alt=\"schwiderski-grosche.jpg\" width=\"101\" height=\"133\" \/><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2011\/02\/sschwiderskigrosche2011.pdf\">The work of Microsoft Research Connections in the region<\/a><\/h2>\n<h3>Abstract<\/h3>\n<p>Microsoft Research Connections is an organisation within Microsoft Research. Our aim is to collaborate with the world\u2019s top academic and scientific researchers, institutions, and computer scientists to shape the future of computing in fields such as parallel programming, software engineering, natural user interfaces, and data-intensive scientific research. We provide fellowships, grants, and awards to help foster the next generation of world-class scientists and launch the next critical scientific breakthroughs. The PhD Scholarship Programme is the main Microsoft Research Connections engagement in the EMEA (Europe, Middle East, Africa) region. In this talk, I will give an overview of Microsoft Research Connections and our work in the region.<\/p>\n<h3>Biography<\/h3>\n<p>Scarlet Schwiderski-Grosche is a Research Program Manager at Microsoft Research Cambridge, working for Microsoft Research Connections in the EMEA region. As such, she is in charge of the Microsoft Research PhD Scholarship Programme and coordinates a number of research projects.<\/p>\n<p>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-7712\"}' 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-7712\"\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-7711\"\n\t\t\t\ttype=\"button\"\n\t\t\t>\n\t\t\t\tDon Syme | Principal Researcher, Microsoft Research\t\t\t<\/button>\n\t\t<\/div>\n\t\t<div\n\t\t\taria-labelledby=\"accordion-button-7711\"\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-7712\"\n\t\t>\n\t\t\t<div class=\"msr-accordion__body\">\n\t\t\t\t<h2><img loading=\"lazy\" decoding=\"async\" class=\"size-full wp-image-201857 alignright\" src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/02\/en-us-events-2011summerschool-syme.jpg\" alt=\"syme.jpg\" width=\"101\" height=\"133\" \/><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2011\/02\/dsyme2011.pptx\">F# today, F# tomorrow \u2013 data-rich programming meets functional programming Super-Drug<\/a><\/h2>\n<h3>Abstract<\/h3>\n<p>Programming today exhibits a voracious appetite for information, and one of the most important trends in languages today is to make access to data and services fluent and seamless. Come and see the latest from the F# team, and learn a bit about F# as it is today, and see how we are extending F# to instantly embed the analytical or cloud programmer instantly in a world of typed data and services, whether they are cloud, web, enterprise, client or local.<\/p>\n<h3>Biography<\/h3>\n<p>Don Syme is a Principal Researcher at Microsoft Research, Cambridge. He is the designer of the F# language, recently released as F# 2.0, including the innovative F# parallel and asynchronous programming model. He is also the co-designer and co-implementer of generics for the .NET CLR, used as a fundamental part of the programming models of C#, F# and Visual Basic, and widely seen as one of the primary language features that differentiates .NET languages from JVM-based languages. Don\u2019s interests currently lie in information-rich typed functional programming for data-analysis, server-side programming and cloud computing.<\/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-7714\"}' 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-7714\"\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-7713\"\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-7713\"\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-7714\"\n\t\t>\n\t\t\t<div class=\"msr-accordion__body\">\n\t\t\t\t<h2><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2011\/02\/ktakeda2011.pptx\">Cloud computing for research<\/a><\/h2>\n<h3>Abstract<\/h3>\n<p>In this talk I will give a general overview of Cloud Computing and show how it is revolutionising the way we can do scientific research. As an example I will present Venus-C, a European project developing a Cloud Computing service for the research community.<\/p>\n<h3>Biography<\/h3>\n<p>Dr Kenji Takeda is Solution Architect and Technical Manager for the Microsoft Research Connections 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.<\/p>\n<p>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 has been recipient of the Royal Aeronautical Society Silver Award (2009), Royal Academy of Engineering\/ExxonMobil Gold Medal for Excellence in Engineering Teaching (2007) and Royal Academy of Engineering Education Innovation prize (2006).<\/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-7716\"}' 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-7716\"\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-7715\"\n\t\t\t\ttype=\"button\"\n\t\t\t>\n\t\t\t\tTennie Videler | Programme Manager: Researchers, Vitae\t\t\t<\/button>\n\t\t<\/div>\n\t\t<div\n\t\t\taria-labelledby=\"accordion-button-7715\"\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-7716\"\n\t\t>\n\t\t\t<div class=\"msr-accordion__body\">\n\t\t\t\t<h2><img loading=\"lazy\" decoding=\"async\" class=\"size-full wp-image-201858 alignright\" src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/02\/en-us-events-2011summerschool-videler.jpg\" alt=\"videler.jpg\" width=\"101\" height=\"133\" \/>Making the most of your PhD; now and in your career<\/h2>\n<h3>Abstract<\/h3>\n<p>Vitae champions the professional, personal and career development of researchers such as yourself. Our website contains information on the logistics of doing a PhD, <a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" target=\"_blank\" href=\"http:\/\/www.vitae.ac.uk\/researchers\/1228\/Managing-yourself.html\">overcoming obstacles common to postgraduate researchers<span class=\"sr-only\"> (opens in new tab)<\/span><\/a>, <a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" target=\"_blank\" href=\"http:\/\/www.vitae.ac.uk\/researchers\/1234\/Supervision-and-key-relationships.html\">the supervision process<span class=\"sr-only\"> (opens in new tab)<\/span><\/a> and <a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" target=\"_blank\" href=\"http:\/\/www.vitae.ac.uk\/careers\">careers<span class=\"sr-only\"> (opens in new tab)<\/span><\/a>, among other useful things.<\/p>\n<p>During this session we will look at some of the logistics of your doctorate, specifically managing your relationship with your supervisor. We will also start thinking about what you might want to do after you have finished your doctorate. There may well be more opportunities open to you than you think!<\/p>\n<h3>Biography<\/h3>\n<p>Tennie Videler is a programme manager for <a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" target=\"_blank\" href=\"http:\/\/www.vitae.ac.uk\/\">Vitae<span class=\"sr-only\"> (opens in new tab)<\/span><\/a>, which champions the personal, professional and career development of researchers. It has a unique position in the UK, sharing practice between universities, commissioning research and resources and shaping policy. Before that she was a researcher herself, completing a doctorate and a dozen years of post-doctoral research in different fields of structural biology.<\/p>\n<p>As the person dedicated to researchers, Tennie writes and commissions resources for researchers and gives talks and runs interactive workshops. She has set up blogs for <a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" target=\"_blank\" href=\"http:\/\/www.vitae.ac.uk\/rsblog\">research staff<span class=\"sr-only\"> (opens in new tab)<\/span><\/a> and postgraduate researchers (the latter called \u2018<a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" target=\"_blank\" href=\"http:\/\/www.vitae.ac.uk\/whatsupdoc\">What\u2019s up doc?\u2019<span class=\"sr-only\"> (opens in new tab)<\/span><\/a> ). Every month she writes <a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" target=\"_blank\" href=\"http:\/\/www.vitae.ac.uk\/pgrtips\">PGRTips<span class=\"sr-only\"> (opens in new tab)<\/span><\/a>, containing practical advice on different aspects of doing a doctorate and careers. Tennie is also involved in some research, such the \u2018What do researchers do?\u2019 publication on the first employment destinations of doctoral graduates.<\/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-7718\"}' 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-7718\"\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-7717\"\n\t\t\t\ttype=\"button\"\n\t\t\t>\n\t\t\t\tNicolas Villar | Researcher, Microsoft Research\t\t\t<\/button>\n\t\t<\/div>\n\t\t<div\n\t\t\taria-labelledby=\"accordion-button-7717\"\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-7718\"\n\t\t>\n\t\t\t<div class=\"msr-accordion__body\">\n\t\t\t\t<h2><img loading=\"lazy\" decoding=\"async\" class=\"size-full wp-image-201863 alignright\" src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/02\/en-us-events-2011summerschool-villar.jpg\" alt=\"villar.jpg\" width=\"100\" height=\"132\" \/><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2011\/02\/nvillar2011.pdf\">Gadgeteer<\/a><\/h2>\n<h3>Abstract<\/h3>\n<p>Microsoft .NET Gadgeteer is a new prototyping platform that makes it easier to construct, program and shape new kinds of computing objects. It is comprised of modular hardware, software libraries and 3D CAD support. Together, these elements support the key activities involved both in the rapid prototyping and the small-scale production of custom embedded, interactive and connected devices.<\/p>\n<p>In this talk we will show (through live coding and hardware assembly) how to design, build and program working devices using .NET Gadgeteer. The aim will be to give those present a taster of how Gadgeteer can be used as a tool for researchers and students that need to prototype and build bespoke hardware.<\/p>\n<h3>Biography<\/h3>\n<p>Nicolas Villar is a researcher in the Computer Mediated Living Group, based at the Microsoft Research lab in Cambridge, UK. He is particularly interested in the use of embedded systems\u2014programmable microcontrollers, wireless communication devices, sensors and actuators\u2014as building blocks in the design of physical interactive objects and user interface devices that are engaging, useful and usable. His current work focuses on understanding and developing technologies that enable interactive devices to be rapidly prototyped, manufactured and deployed into use.<\/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>Posters Guidelines<\/h2>\n<p>Posters should be designed for A1 portrait (594 mm width x 841 mm height) colour printing (either PowerPoint or PDF) and articulate clearly and concisely either visually or textually:<\/p>\n<ul>\n<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>\n<li>What the research is.<\/li>\n<li>What the intended outcome is.<\/li>\n<li>What stage it is at.<\/li>\n<li>Any research results, preliminary conclusions, or any potentially exciting or interesting next steps are.<\/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 also clearly display your name and the name of your university.<\/p>\n<p>You can find example of posters on the page of the 2009 Summer School.<span id=\"label-external-link\" class=\"sr-only\" aria-hidden=\"true\">Opens in a new tab<\/span><\/p>\n<h2>Food and Drinks<\/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.cambridge-pubs.co.uk\/\">Cambridge Pubs 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.cambridgerestaurants.com\/\">Cambridge Restaurants Guide<span class=\"sr-only\"> (opens in new tab)<\/span><\/a><\/li>\n<\/ul>\n<h2>Theatres<\/h2>\n<p><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><br \/>\n6, St. Edwards Passage, Cambridge, Cambridgeshire CB2 3PL<br \/>\nTel: 01223 578933 For major theatre productions and national tours.<\/p>\n<p><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><br \/>\nPark St, Cambridge, Cambridgeshire CB5 8AS<br \/>\nTel: 01223 359547<\/p>\n<p><a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" title=\"\" href=\"http:\/\/www.anglia.ac.uk\/ruskin\/en\/home\/microsites\/mumford_theatre.html\" target=\"_blank\">Mumford Theatre<span class=\"sr-only\"> (opens in new tab)<\/span><\/a><br \/>\nAnglia Polytechnic University, East Road, Cambridge, Cambridgeshire<br \/>\nTel: 0845 196 2320<\/p>\n<p><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><br \/>\n3, Parson Court, Wheeler St, Cambridge, Cambridgeshire CB2 3QE<br \/>\nTel: 01223 357851 For rock, pop, comedy and opera.<\/p>\n<p><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><br \/>\nCambridge Leisure Park, Clifton Road, Cambridge, Cambridgeshire CB1 7GX<br \/>\nTel: (01223) 511511 Also for rock, pop, comedy.<\/p>\n<h2>Cinema<\/h2>\n<p><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><br \/>\n38-39, St. Andrews St, Cambridge, Cambridgeshire CB2 3AR<br \/>\nTel: 01223 572929 Arthouse and international.<\/p>\n<p><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><br \/>\nCambridge Leisure Park, Clifton Road<br \/>\nTel. 0871 200 2000 Multi screen Cinema complex.<\/p>\n<p><a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" target=\"_blank\" href=\"http:\/\/www.myvue.com\/index.asp?ci=17\">Vue Cinema<span class=\"sr-only\"> (opens in new tab)<\/span><\/a><br \/>\nThe Grafton Centre, East Rd, Cambridge, Cambridgeshire CB1 1PS<br \/>\nTel: 0871 2240240 Multi screen Cinema.<\/p>\n<h2>Note<\/h2>\n<p>* The number of spaces for go-karting is limited, so we&#8217;ll select drivers on a first-come first-served basis.<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 (opens in new tab) Summer School 2010 Facebook Group (opens in new tab) Summer School 2010 (opens in new tab) Summer School 2011 Facebook Group (opens in new tab) Opens in a new tab The sixth Microsoft Research Summer School took place at Microsoft Research in Cambridge, U.K., from 27 June [&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":"2011-06-27","msr_enddate":"2011-07-01","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-199733","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 2011\",\"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<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.facebook.com\/group.php?gid=130890773603576\">Summer School 2010 Facebook Group<span class=\"sr-only\"> (opens in new tab)<\/span><\/a><\/li>\n<li><a title=\"\" href=\"https:\/\/www.microsoft.com\/en-us\/research\/event\/phd-summer-school-2010\/\" target=\"_self\">Summer School 2010<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.facebook.com\/?ref=logo#!\/home.php?sk=group_118697201545436\">Summer School 2011 Facebook Group<span class=\"sr-only\"> (opens in new tab)<\/span><\/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><img loading=\"lazy\" decoding=\"async\" class=\"alignnone size-full wp-image-270327\" src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2011\/02\/untitled.png\" alt=\"PhD Summer School 2011\" width=\"550\" height=\"365\" srcset=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2011\/02\/untitled.png 550w, https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2011\/02\/untitled-300x199.png 300w\" sizes=\"auto, (max-width: 550px) 100vw, 550px\" \/><\/p>\n<p>The sixth Microsoft Research Summer School took place at Microsoft Research in Cambridge, U.K., from 27 June to 1 July 2011. 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.<\/p>\n<div class=\"conM \">\n<p>Invited students\u00a0included PhD students in their first or second\u00a0year from\u00a0universities and research institutions Microsoft Research partners with and\u00a0all\u00a0Microsoft Research\u00a02010 PhD Scholars.<\/p>\n<p>Lectures and posters sessions were public and open to all research staff and students from the University of Cambridge.<\/p>\n<p><a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" title=\"\" href=\"http:\/\/www.bing.com\/maps\/?v=2&amp;cp=53.35388946500001~-6.243333338999994&amp;lvl=6&amp;dir=0&amp;sty=c&amp;cid=F3C62D107178AEC!186\" target=\"_blank\">Map of venues<span class=\"sr-only\"> (opens in new tab)<\/span><\/a><\/p>\n<\/div>\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\":\"Agenda\"} --><!-- wp:freeform --><h2>Monday,\u00a027 June 2011<\/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\" style=\"text-align: left\">Session<\/th>\n<th class=\"th\"><\/th>\n<th class=\"th\"><\/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\">15:00<\/div>\n<\/td>\n<td>\n<div class=\"msr-table-schedule-cell\">Students staying at <a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" title=\"\" href=\"http:\/\/www.jesus.cam.ac.uk\/\" target=\"_blank\">Jesus College <span class=\"sr-only\"> (opens in new tab)<\/span><\/a>and Westcott House get the keys to their rooms<\/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\">Welcome and tea<\/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:30<\/div>\n<\/td>\n<td>\n<div class=\"msr-table-schedule-cell\">Bus transportation from Jesus College to the go-karting venue<\/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:00<\/div>\n<\/td>\n<td>Go-karting* and dinner (casual clothing; we recommend wearing old shoes)<\/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\">22:00<\/div>\n<\/td>\n<td>Bus transportation back to Jesus College<\/td>\n<td><\/td>\n<td><\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n<h2>Tuesday,\u00a028 June 2011<\/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\" style=\"text-align: left\">Session<\/th>\n<th class=\"th\" style=\"text-align: left\">Speaker<\/th>\n<th class=\"th\"><\/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\">09:00<\/div>\n<\/td>\n<td>\n<div class=\"msr-table-schedule-cell\">Bus to Microsoft Research<\/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>Registration<\/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\">10:15<\/div>\n<\/td>\n<td>\n<div class=\"msr-table-schedule-cell\"><strong>Overview of Microsoft Research and the Summer School<\/strong><\/div>\n<\/td>\n<td>\n<div class=\"msr-table-schedule-cell\">\n<p>Ken Wood<br \/>\n(Microsoft Research)<\/p>\n<\/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\">11:00<\/div>\n<\/td>\n<td>\n<div class=\"msr-table-schedule-cell\"><strong>How to write a great research paper<\/strong><\/div>\n<\/td>\n<td><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/simonpj\/\">Simon Peyton-Jones <span class=\"sr-only\"> (opens in new tab)<\/span><\/a>(Microsoft Research)<\/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>Lunch and poster session 1\u00a0[see posters guidelines]<\/div>\n<\/td>\n<td><\/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>How to give a great research talk<\/strong><\/div>\n<\/td>\n<td><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/simonpj\/\">Simon Peyton-Jones <span class=\"sr-only\"> (opens in new tab)<\/span><\/a>(Microsoft Research)<\/td>\n<td><\/td>\n<\/tr>\n<tr class=\"tr\">\n<td class=\"td-1-4\">\n<div class=\"msr-table-schedule-cell\">\u00a015:00<\/div>\n<\/td>\n<td>\n<div class=\"msr-table-schedule-cell\">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:15<\/div>\n<\/td>\n<td>\n<div class=\"msr-table-schedule-cell\"><strong>Parallel Session<\/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>InnerEye: automatic visual recognition in the hospital\u00a0<\/strong><\/div>\n<\/td>\n<td><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/antcrim\/\">Antonio Criminisi<span class=\"sr-only\"> (opens in new tab)<\/span><\/a><br \/>\n(Microsoft Research)<\/td>\n<td><\/td>\n<\/tr>\n<tr class=\"tr\">\n<td class=\"td-1-4\"><\/td>\n<td>\n<div><strong>Cores, cores, everywhere\u00a0<\/strong><\/div>\n<\/td>\n<td>\n<div class=\"msr-table-schedule-cell\">Tim Harris<br \/>\n(Microsoft Research)<\/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\">16:15<\/div>\n<\/td>\n<td>\n<div class=\"msr-table-schedule-cell\">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\">16:45<\/div>\n<\/td>\n<td>\n<div class=\"msr-table-schedule-cell\"><strong>Parallel Session<\/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>Social Computing &#8211; Where the Human Intelligence and Computing Technologies Meet <\/strong><\/div>\n<\/td>\n<td>\n<div class=\"msr-table-schedule-cell\">Natasa Milic-Frayling (Microsoft Research)<\/div>\n<\/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>Proving that programs eventually do something good<\/strong><\/div>\n<\/td>\n<td>\n<div class=\"msr-table-schedule-cell\">Byron Cook<br \/>\n(Microsoft Research)<\/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:45<\/div>\n<\/td>\n<td>\n<div class=\"msr-table-schedule-cell\">Bus transportation 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:30<\/div>\n<\/td>\n<td>\n<div class=\"msr-table-schedule-cell\">Drinks, more 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:30<\/div>\n<\/td>\n<td>\n<div class=\"msr-table-schedule-cell\">Dinner at Jesus College<\/div>\n<\/td>\n<td><\/td>\n<td><\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n<h2>Wednesday,\u00a029 June 2011<\/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\" style=\"text-align: left\">Session<\/th>\n<th class=\"th\" style=\"text-align: left\">Speaker<\/th>\n<th class=\"th\"><\/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\">09:00<\/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\">Making the most of your PhD; now and in your career<\/div>\n<\/td>\n<td>Tennie Videler (<a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" href=\"http:\/\/www.vitae.ac.uk\/\" target=\"_blank\">Vitae<span class=\"sr-only\"> (opens in new tab)<\/span><\/a>)<\/td>\n<td><\/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\">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\">The work of Microsoft Research Connections in the region<\/div>\n<\/td>\n<td><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/scarlets\/\">Scarlet Schwiderski-Grosche<span class=\"sr-only\"> (opens in new tab)<\/span><\/a> (Microsoft Research)<\/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 and poster session 2 [see posters guidelines]<\/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\">Computer science as applied philosophy<\/div>\n<\/td>\n<td>Tony Hoare<br \/>\n(Microsoft Research)<\/td>\n<td><\/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\">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:15<\/div>\n<\/td>\n<td>\n<div class=\"msr-table-schedule-cell\"><strong>Parallel session<\/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>Can we use computer programmes to treat cancer?<\/strong><\/div>\n<\/td>\n<td>Joaquin Qui\u00f1onero Candela (Microsoft Research)<\/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>Halo, Kinect, Bing: The Magic of Research in Microsoft Products<\/strong><\/div>\n<\/td>\n<td>\n<div class=\"msr-table-schedule-cell\"><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/jfisher\/\">Jasmin Fisher<span class=\"sr-only\"> (opens in new tab)<\/span><\/a><br \/>\n(Microsoft Research)<\/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\">16:15<\/div>\n<\/td>\n<td>\n<div>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\">16:45<\/div>\n<\/td>\n<td>\n<div><strong>Parallel session<\/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><strong>Computational Ecology: Enabling intelligent management of the environment<\/strong><\/div>\n<\/td>\n<td>Drew Purves<br \/>\n(Microsoft Research)<\/td>\n<td><\/td>\n<\/tr>\n<tr class=\"tr\">\n<td class=\"td-1-4\"><\/td>\n<td>\n<div><strong>Local cues and global constraints in image understanding<\/strong><\/div>\n<\/td>\n<td>Olga Barinova<br \/>\n(Moscow State University)<\/td>\n<td><\/td>\n<\/tr>\n<tr class=\"tr\">\n<td class=\"td-1-4\">\n<div class=\"msr-table-schedule-cell\">17:45<\/div>\n<\/td>\n<td>\n<div>Bus transportation to Jesus College<\/div>\n<\/td>\n<td><\/td>\n<td><\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n<h2>Thursday,\u00a030 June 2011<\/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\" style=\"text-align: left\">Session<\/th>\n<th class=\"th\" style=\"text-align: left\">Speaker<\/th>\n<th class=\"th\"><\/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\">09:00<\/div>\n<\/td>\n<td>\n<div class=\"msr-table-schedule-cell\">Bus to Microsoft Research<\/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\">\u00a009:30<\/div>\n<\/td>\n<td>\n<div class=\"msr-table-schedule-cell\"><strong>Blue skies to ground truth: Machine learning for Kinect human motion capture<\/strong><\/div>\n<\/td>\n<td><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/awf\/\">Andrew Fitzgibbon<span class=\"sr-only\"> (opens in new tab)<\/span><\/a><br \/>\n(Microsoft Research)<\/td>\n<td><\/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>Break<\/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><strong>Gadgeteer<\/strong><\/td>\n<td><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/nvillar\/\">Nicolas Villar<span class=\"sr-only\"> (opens in new tab)<\/span><\/a><br \/>\n(Microsoft Research)<\/td>\n<td><\/td>\n<\/tr>\n<tr class=\"tr\">\n<td class=\"td-1-4\">12:00<\/td>\n<td>Lunch and posters session 3 [see posters guidelines]<\/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><strong>Rough guide to being an entrepreneur<\/strong><\/td>\n<td>Jack Lang (University of Cambridge)<\/td>\n<td><\/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>Break<\/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:15<\/div>\n<\/td>\n<td><strong>F# today, F# tomorrow \u2013 data-rich programming meets functional programming super-drug<\/strong><\/td>\n<td><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/dsyme\/\">Don Syme<span class=\"sr-only\"> (opens in new tab)<\/span><\/a><br \/>\n(Microsoft Research)<\/td>\n<td><\/td>\n<\/tr>\n<tr class=\"tr\">\n<td class=\"td-1-4\">\n<div class=\"msr-table-schedule-cell\">16:15<\/div>\n<\/td>\n<td>\n<div class=\"msr-table-schedule-cell\">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\">16:45<\/div>\n<\/td>\n<td>\n<div class=\"msr-table-schedule-cell\"><strong>Cloud computing for research<\/strong><\/div>\n<\/td>\n<td><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/kenjitak\/\">Kenji Takeda<span class=\"sr-only\"> (opens in new tab)<\/span><\/a><br \/>\n(Microsoft Research)<\/td>\n<td><\/td>\n<\/tr>\n<tr class=\"tr\">\n<td class=\"td-1-4\">\n<div class=\"msr-table-schedule-cell\">17:45<\/div>\n<\/td>\n<td>\n<div class=\"msr-table-schedule-cell\">Bus transportation to punting location<\/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\">Punting on the river Cam<\/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:30<\/div>\n<\/td>\n<td>\n<div class=\"msr-table-schedule-cell\">Dinner at <a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" target=\"_blank\" href=\"http:\/\/www.lamimosa.co.uk\/\">La Mimosa<span class=\"sr-only\"> (opens in new tab)<\/span><\/a><\/div>\n<\/td>\n<td><\/td>\n<td><\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n<h2>Friday,\u00a01 July 2011<\/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\" style=\"text-align: left\">Session<\/th>\n<th class=\"th\" style=\"text-align: left\">Speaker<\/th>\n<th class=\"th\"><\/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\">09:00<\/div>\n<\/td>\n<td>\n<div class=\"msr-table-schedule-cell\">Bus to Microsoft Research<\/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><strong>Introduction to intellectual property<\/strong><\/strong><\/div>\n<\/td>\n<td>Carole Boelitz (Microsoft)<\/td>\n<td><\/td>\n<\/tr>\n<tr class=\"tr\">\n<td class=\"td-1-4\">10:30<\/td>\n<td>\n<div class=\"msr-table-schedule-cell\">Break<\/div>\n<\/td>\n<td><\/td>\n<td><\/td>\n<\/tr>\n<tr class=\"tr\">\n<td class=\"td-1-4\">11:00<\/td>\n<td>\n<div class=\"msr-table-schedule-cell\">\n<div class=\"msr-table-schedule-cell\">\n<div class=\"msr-table-schedule-cell\"><strong>How to Present a Poster at an International Conference<\/strong><\/div>\n<\/div>\n<\/div>\n<\/td>\n<td>\n<div class=\"msr-table-schedule-cell\">\n<div class=\"msr-table-schedule-cell\">\n<p>Sue Duraikan<br \/>\n(Duraikan Training)<\/p>\n<\/div>\n<\/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\">12:00<\/div>\n<\/td>\n<td>\n<div class=\"msr-table-schedule-cell\">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\">\u00a013:30<\/div>\n<\/td>\n<td>\n<div class=\"msr-table-schedule-cell\">End and bus transportation to Jesus College<\/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\":\"Abstracts and Speakers\"} --><!-- 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-7682\"}' 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-7682\"\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-7681\"\n\t\t\t\ttype=\"button\"\n\t\t\t>\n\t\t\t\tOlga Barinova | Researcher, Moscow State University\t\t\t<\/button>\n\t\t<\/div>\n\t\t<div\n\t\t\taria-labelledby=\"accordion-button-7681\"\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-7682\"\n\t\t>\n\t\t\t<div class=\"msr-accordion__body\">\n\t\t\t\t<h2><img loading=\"lazy\" decoding=\"async\" class=\"size-full wp-image-201850 alignright\" src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/02\/en-us-events-2011summerschool-olga.jpg\" alt=\"olga.jpg\" width=\"101\" height=\"133\" \/><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2011\/02\/obarinova2011.pdf\">Local cues and global constraints in image understanding<\/a><\/h2>\n<h3>Abstract<\/h3>\n<p>Modern computer vision systems can reconstruct 3-d scene geometry from 2-d images, or separate foreground objects from background, or accurately detect objects of a particular class. These advances owe a lot to emergence of energy optimization-based models that allow fusing information from different parts and elements of an image in a principled way. In this talk I will give an overview of these models and illustrate their application in a number of computer vision tasks.<\/p>\n<h3>Biography<\/h3>\n<p>Olga Barinova is a Researcher in Graphics and Media Lab at Moscow State University and is currently engaged in Microsoft Research Connections projects in Russia. She holds a Ph.D. degree in computer science from the Moscow State University, her research focuses on the applications of machine learning methods to computer vision. She is an author of several patents and her work was published at a number of international computer vision and machine learning journals and conferences including PAMI, ECML, ECCV, CVPR.<\/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-7684\"}' 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-7684\"\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-7683\"\n\t\t\t\ttype=\"button\"\n\t\t\t>\n\t\t\t\tCarole Boelitz | Senior Attorney, Microsoft\t\t\t<\/button>\n\t\t<\/div>\n\t\t<div\n\t\t\taria-labelledby=\"accordion-button-7683\"\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-7684\"\n\t\t>\n\t\t\t<div class=\"msr-accordion__body\">\n\t\t\t\t<h2>Intr<img loading=\"lazy\" decoding=\"async\" class=\"size-full wp-image-201864 alignright\" src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/02\/en-us-events-2011summerschool-boelitz.jpg\" alt=\"boelitz.jpg\" width=\"101\" height=\"133\" \/>oduction to intellectual property<\/h2>\n<h3>Abstract<\/h3>\n<p>I 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.<\/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-7686\"}' 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-7686\"\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-7685\"\n\t\t\t\ttype=\"button\"\n\t\t\t>\n\t\t\t\tByron Cook | Principal Researcher, Microsoft Research\t\t\t<\/button>\n\t\t<\/div>\n\t\t<div\n\t\t\taria-labelledby=\"accordion-button-7685\"\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-7686\"\n\t\t>\n\t\t\t<div class=\"msr-accordion__body\">\n\t\t\t\t<h2><img loading=\"lazy\" decoding=\"async\" class=\"size-full wp-image-201851 alignright\" src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/02\/en-us-events-2011summerschool-cook.jpg\" alt=\"cook.jpg\" width=\"101\" height=\"133\" \/><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2011\/02\/bcook2011.pdf\">Proving that programs eventually do something good<\/a><\/h2>\n<h3>Abstract<\/h3>\n<p>Software failures can be sorted into two groups: those that cause the software to do something wrong (e.g. crashing), and those that result in the software not doing something useful (e.g. hanging). In recent years automatic tools have been developed which use mathematical proof techniques to certify that software cannot crash. But, based on Alan Turing&#8217;s proof of the halting problem&#8217;s undecidablity, many have considered the dream of automatically proving the absence of hangs to be impossible. While not refuting Turing&#8217;s original result, recent research now makes this dream a reality. This lecture will describe this recent work and its application to industrial software.<\/p>\n<h3>Biography<\/h3>\n<p>Dr. Byron Cook is a Principal Researcher at Microsoft Research in Cambridge, UK as well as Professor of Computer Science at Queen Mary, University of London. He is one of the developers of the Terminator program termination proving tool, as well as the SLAM software model checker. See research.microsoft.com\/~bycook\/ for more information.<\/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-7688\"}' 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-7688\"\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-7687\"\n\t\t\t\ttype=\"button\"\n\t\t\t>\n\t\t\t\tAntonio Criminisi | Researcher, Microsoft Research\t\t\t<\/button>\n\t\t<\/div>\n\t\t<div\n\t\t\taria-labelledby=\"accordion-button-7687\"\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-7688\"\n\t\t>\n\t\t\t<div class=\"msr-accordion__body\">\n\t\t\t\t<h2><img loading=\"lazy\" decoding=\"async\" class=\"size-full wp-image-201852 alignright\" src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/02\/en-us-events-2011summerschool-criminisi.jpg\" alt=\"criminisi.jpg\" width=\"101\" height=\"133\" \/>InnerEye: Automatic visual recognition in the hospital<\/h2>\n<h3>Abstract<\/h3>\n<p>In this talk I will present the research work that we are doing in Cambridge in the area of automatic medical image analysis.<\/p>\n<p>Analysis of medical images is essential in modern medicine. With the increasing amount of patient data, new challenges and opportunities arise for different phases of the clinical routine, such as diagnosis and therapy. The InnerEye research project focuses on the automatic analysis of patients&#8217; scans by using machine learning techniques for: 1. Automatic detection and segmentation of healthy anatomy, as well as anomalies; 2. Semantic navigation and visualization; 3. Robust registration. Our methods combine medical expertise and modern machine learning theory in the design of tools for computer-aided diagnosis, personalized medicine, and natural user interfaces for surgical intervention.<\/p>\n<h3>Biography<\/h3>\n<p>Antonio Criminisi joined the Machine Learning and Perception group at Microsoft Research Cambridge in June 2000 as Visiting Researcher. In February 2001, he moved to the Interactive Visual Media Group in Redmond (WA, USA) as a Post-Doctorate Researcher. In October 2002, he moved back to the Machine Learning and Perception Group in Cambridge as Researcher. 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 &#8220;Doctor of Philosophy&#8221; (PhD) Degree in Computer Vision at the University of Oxford. His thesis \u201cAccurate Visual Metrology from Single and Multiple Uncalibrated Images\u201d won the <em>British Computer Society Distinguished Dissertation Award<\/em> 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-7690\"}' 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-7690\"\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-7689\"\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-7689\"\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-7690\"\n\t\t>\n\t\t\t<div class=\"msr-accordion__body\">\n\t\t\t\t<h2><img loading=\"lazy\" decoding=\"async\" class=\"size-full wp-image-201859 alignright\" src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/02\/en-us-events-2011summerschool-duraikan.jpg\" alt=\"duraikan.jpg\" width=\"100\" height=\"132\" \/>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 3 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>After this, Sue will be available to provide confidential 1-1 feedback for any students who are interested.<\/p>\n<h3>Biography<\/h3>\n<p>Sue Duraikan runs Duraikan Training, a consultancy which aims to help individuals and organisations develop. Duraikan Training provides support in designing and delivering learning strategies. We also run training sessions and one-to-one coaching on a wide range of professional skills. As a former teacher of Modern Languages 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-7692\"}' 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-7692\"\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-7691\"\n\t\t\t\ttype=\"button\"\n\t\t\t>\n\t\t\t\tJasmin Fisher | Researcher, Microsoft Research\t\t\t<\/button>\n\t\t<\/div>\n\t\t<div\n\t\t\taria-labelledby=\"accordion-button-7691\"\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-7692\"\n\t\t>\n\t\t\t<div class=\"msr-accordion__body\">\n\t\t\t\t<h2><img loading=\"lazy\" decoding=\"async\" class=\"size-full wp-image-201853 alignright\" src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/02\/en-us-events-2011summerschool-fisher.jpg\" alt=\"fisher.jpg\" width=\"101\" height=\"133\" \/>Can we use computer programmes to treat cancer?<\/h2>\n<h3>Abstract<\/h3>\n<p>In this talk I will explain how we use executable models to describe biological processes. In particular, I will focus on the process of cell fate determination, where stem cells commit to a single lineage (leading to a single cell type) while having the ability to undergo multi-lineage differentiation. The elucidation of intricate mechanisms that govern stem cell decisions is essential for understanding normal development. Moreover, defects in these mechanisms play an important role in disease such as cancer. In this talk, I will demonstrate how we shed new light on such mechanisms using formal executable models of cell fate decisions, and how these kinds of models enrich the world of programming languages and formal verification in ways that have never been thought of before.<\/p>\n<h3>Biography<\/h3>\n<p><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/jfisher\/\">Jasmin Fisher<\/a> received her PhD in Neuroimmunology from the Weizmann Institute of Science in Israel. She started her work on the application of formal methods to biology as a postdoctoral fellow in the department of Computer Science at the Weizmann Institute (2003-2004), where she worked with David Harel, and then continued to work also on the development of novel formalisms and tools that are specifically-tailored for modelling biological processes as a postdoctoral researcher in the School of Computer Science at the EPFL in Switzerland (2004-2007), together with Tom Henzinger. In 2007, Jasmin moved to Cambridge to join Microsoft Research, and since 2009 she is also an Affiliated Lecturer at Cambridge University. Her research focuses on the construction and analysis of executable models that describe various biological phenomena in order to better understand complex biological systems. She is mainly interested in processes of cell fate determination and signaling networks operating during normal development and cancer.<\/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-7694\"}' 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-7694\"\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-7693\"\n\t\t\t\ttype=\"button\"\n\t\t\t>\n\t\t\t\tAndrew Fitzgibbon | Microsoft Research\t\t\t<\/button>\n\t\t<\/div>\n\t\t<div\n\t\t\taria-labelledby=\"accordion-button-7693\"\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-7694\"\n\t\t>\n\t\t\t<div class=\"msr-accordion__body\">\n\t\t\t\t<h2><img loading=\"lazy\" decoding=\"async\" class=\"size-full wp-image-201865 alignright\" src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/02\/en-us-events-2011summerschool-fitzgibbon.jpg\" alt=\"fitzgibbon.jpg\" width=\"101\" height=\"133\" \/><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2011\/02\/afitzgibbon2011.pdf\">Blue skies to ground truth: Machine learning for Kinect human motion capture<\/a><\/h2>\n<h3>Abstract<\/h3>\n<p>Kinect for Xbox 360 is not just a new way of controlling computer games, it represents a fundamental change in the way humans can interact with machines. I will talk about how Kinect solves the human body tracking problem, which involved a significant advance over the academic state of the art. The key was a clever repurposing of existing machine learning approaches to general object recognition, combined a database of training data much larger than had previously been used. The talk also illustrates how \u201cblue skies\u201d research can have practical benefits both short-term and long.<\/p>\n<h3>Biography<\/h3>\n<p>Andrew Fitzgibbon is a principal researcher at Microsoft Research, Cambridge, UK. His research interests are in the intersection of computer vision and computer graphics, with excursions into neuroscience. Recent papers have been on models of nonrigid motion, human 3D perception, large-scale image search, and nonlinear optimization.<\/p>\n<p>He has co-authored &#8220;best papers&#8221; at ICCV (twice), CVPR, and BMVC, and software he wrote won an Engineering Emmy Award in 2002 for significant contributions to the creation of complex visual effects. He studied at University College Cork, at Heriot-Watt university, and received his PhD from Edinburgh University in 1997. Until June 2005 he held a Royal Society University Research Fellowship at Oxford University&#8217;s Department of Engineering Science.<\/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-7696\"}' 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-7696\"\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-7695\"\n\t\t\t\ttype=\"button\"\n\t\t\t>\n\t\t\t\tTim Harris | Senior Researcher, Microsoft Research\t\t\t<\/button>\n\t\t<\/div>\n\t\t<div\n\t\t\taria-labelledby=\"accordion-button-7695\"\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-7696\"\n\t\t>\n\t\t\t<div class=\"msr-accordion__body\">\n\t\t\t\t<h2><img loading=\"lazy\" decoding=\"async\" class=\"size-full wp-image-201854 alignright\" src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/02\/en-us-events-2011summerschool-harris.jpg\" alt=\"harris.jpg\" width=\"101\" height=\"133\" \/><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2011\/02\/tharris2011.pptx\">Cores, cores, everywhere<\/a><\/h2>\n<h3>Abstract<\/h3>\n<p>Parallel programming is now the norm: even a basic laptop will have 2, 3, or 4 processor cores, along with a GPU for handling graphics processing. This raises new challenges and opportunities: Challenges, because writing parallel software is seen as vastly more difficult than writing sequential programs. Opportunities, because efficient parallel software can run with lower power consumption, or with greater performance than a sequential program. In this talk I\u2019ll show how projects at Microsoft Research Cambridge are helping to tackle these problems by making parallel programming easier, and by making the underlying computer operating systems a better fit for tomorrow\u2019s highly parallel machines.<\/p>\n<h3>Biography<\/h3>\n<p>Tim Harris is a Senior Researcher at Microsoft Research Cambridge where he works on abstractions for using multi-core computers. He is currently working on the Barrelfish operating system, and on architecture support for programming language runtime systems. His other recent work has focused on the implementation of software transactional memory for multi-core computers, and the design of programming language features based on it.<\/p>\n<p>Tim has a BA and PhD in computer science from Cambridge University Computer Laboratory. He was on the faculty at the Computer Laboratory from 2000-2004 where he led the department&#8217;s research on concurrent data structures and contributed to the Xen virtual machine monitor project. He joined Microsoft Research in 2004.<\/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-7698\"}' 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-7698\"\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-7697\"\n\t\t\t\ttype=\"button\"\n\t\t\t>\n\t\t\t\tTony Hoare | Principal Researcher, Microsoft Research\t\t\t<\/button>\n\t\t<\/div>\n\t\t<div\n\t\t\taria-labelledby=\"accordion-button-7697\"\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-7698\"\n\t\t>\n\t\t\t<div class=\"msr-accordion__body\">\n\t\t\t\t<h2><img loading=\"lazy\" decoding=\"async\" class=\"size-full wp-image-201855 alignright\" src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/02\/en-us-events-2011summerschool-hoare.jpg\" alt=\"hoare.jpg\" width=\"101\" height=\"133\" \/><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2011\/02\/thoare2011.pptx\">Computer science as applied philosophy<\/a><\/h2>\n<h3>Abstract<\/h3>\n<p>Physics, Biology, Medicine, Mathematics, and Geometry all had their origin in Ancient Greek Philosophy; I hope to show that Computing, considered as a branch of Science, has the same origins in ancient Greece; and its practical application to software engineering sheds light on several historic issues in philosophy.<\/p>\n<p>My first example is of course Aristotle (384-322 bc). His syllogistic logic explained the difference between valid and invalid reasoning, not only in Mathematics and the Natural Sciences, but also in politics, law, and philosophy itself. The secret of validity lies solely in the syntactic form of the argument, and is completely independent of its subject matter in the real world. Today, it is a formal syntax that enables the computer to check very long proofs, and actually to discover proofs of conjectures. Furthermore, programming languages are defined today in terms of their syntax, which permits compilers to inhibit execution of meaningless programs. The meaning of a valid program execution is defined inductively, in the same way as a valid logical proof.<\/p>\n<p>My next example is Euclid (round 300 bc). He is the designer of the world\u2019s first programming language, used to specify constructions in geometry. His ideas still lie at the basis of all modern graphical programming languages, drawing pictures on all the screens of all the computers and cinemas and telephones in the world. His language was certainly the first, and still almost the only language, in which all the programs come with a rigorous specification of their purpose, and a proof of their correctness. Today, such proofs are beginning to protect computer programs, measuring billions of lines of code, from the risks posed viruses, worms, and other malware attacks.<\/p>\n<p>My next example is William of Ockham (1287-1347). In Medieval times, the most important application of logic was to paradoxes of Theology. For example, how do you reconcile the perfect knowledge of the Deity of what is going to happen in the future with the existence of man\u2019s free will. This problem was solved by Temporal logic, in a version based on Branching Time. Today, computers have been programmed to use Branching Time in analysis of the correctness of communication protocols and computer software designs, even in the presence of non-determinism, which is now a feature of all computer programs and programming languages.<\/p>\n<p>My final example is Gottfried Leibnitz (1646-1716). He was a co-discoverer with Isaac Newton of the differential calculus. This works by using symbolic calculations on algebraic formulae. The correctness of the calculation is defined by the list of algebraic equations that are presented by the calculus. Leibnitz had a dream that all the truths of philosophy, theology and natural science could be derived from first principles by just such calculations. This dream is now being partially realised in massive computer data-bases, which can find evidence that supports or refutes any conjecture presented by scientists or doctors.<\/p>\n<p>In the last century, the link between Computer Science and Philosophical Logic became even more intense. George Boole invented Boolean algebra, which lies at the basis of all computer hardware, as well as the Propositional Calculus, which is the basis of all proofs, both in Computer Science and in Mathematics. Gottlob Frege formalised the predicate calculus in a manner that is now recognised as adequate for all of mathematical proof. His formalisation of bound variables is now incorporated in the declarations of all computer programming languages. Bertrand Russell was most concerned with avoiding the paradoxes that he discovered at the very foundations of mathematics. He invented a theory of types to solve the problem. Types are used in most computer languages of the present day to inhibit the execution of meaningless programs. The mathematician David Hilbert hoped to prove the consistency of mathematics by means of a new specialised branch of Mathematics (Metamathematics), whose subject matter is mathematical formulae, rather than sets or numbers or geometric figures. This gave Alan Turing the idea of a computer that is capable of operating on programs held in its own store: although his motive was to prove that Hilbert\u2019s hope for mathematics was impossible.<\/p>\n<p>I will not have time to deal with the twentieth Century, so I refer you to the excellent book \u2018Engines of Logic\u2019 by Martin Davis.<\/p>\n<h3>Biography<\/h3>\n<p>Tony Hoare\u2019s computing interests were stimulated by his first (and only) degree in the humanities (1956): he studied Latin and ancient Greek, followed by philosophy, with particular interest in mathematical philosophy and logic. He learnt Russian during National Service in the Royal Navy. He spent a postgraduate year studying statistics at Oxford and another at Moscow State University, where he discovered the sorting algorithm Quicksort. In 1960, he joined the British Computer industry as a programmer, eventually rising to the rank of Chief Engineer.<\/p>\n<p>His Academic career started in 1968 with appointment as professor at the Queen\u2019s University, Belfast. He chose his long-term research area as proof of the correctness of programs. In the thick of the troubles, he built up a strong computing department, and moved in 1978 to do the same at Oxford. Following the example of Theoretical Physics, his interests broadened to the pursuit of Unifying Theories of Programming.<\/p>\n<p>On reaching retiring age, he accepted an offer of employment at Microsoft Research in Cambridge, where he has seen a strong surge of interest in automation of computer proofs of program correctness. He continues to pursue this interest, while exhorting academic researchers in long-term pursuit of even more idealistic scientific goals.<\/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-7700\"}' 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-7700\"\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-7699\"\n\t\t\t\ttype=\"button\"\n\t\t\t>\n\t\t\t\tJack Lang | Lecturer and Entrepreneur, University of Cambridge\t\t\t<\/button>\n\t\t<\/div>\n\t\t<div\n\t\t\taria-labelledby=\"accordion-button-7699\"\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-7700\"\n\t\t>\n\t\t\t<div class=\"msr-accordion__body\">\n\t\t\t\t<h2><img loading=\"lazy\" decoding=\"async\" class=\"size-full wp-image-201860 alignright\" src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/02\/en-us-events-2011summerschool-lang.jpg\" alt=\"lang.jpg\" width=\"100\" height=\"144\" \/><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2011\/02\/jlang2011.ppt\">Rough guide to being an entrepreneur<\/a><\/h2>\n<h3>Abstract<\/h3>\n<p>At 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.<\/p>\n<h3>Biography<\/h3>\n<p>Jack 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 class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" target=\"_blank\" 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 &#8220;Cambridge Phenomenon&#8221;, and was a proper academic at the Computer Lab. He is author of &#8220;The High Tech Entrepreneurs Handbook&#8221; (FT.Com\/Prentice Hall 2001). He has other interests in molecular gastronomy and fireworks.<\/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-7702\"}' 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-7702\"\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-7701\"\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-7701\"\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-7702\"\n\t\t>\n\t\t\t<div class=\"msr-accordion__body\">\n\t\t\t\t<h2><img loading=\"lazy\" decoding=\"async\" class=\"size-full wp-image-201856 alignright\" src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/02\/en-us-events-2011summerschool-milic-frayling.jpg\" alt=\"milic-frayling.jpg\" width=\"101\" height=\"133\" \/><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2011\/02\/nmilicfrayling2011.pdf\">Social Computing &#8211; Where the Human Intelligence and Computing Technologies Meet <\/a><\/h2>\n<h3>Abstract<\/h3>\n<p>Computer technologies have reshaped many areas of our lives, from science and engineering to business and entertainment. They had most astounding effects on the ways we communicate and relate to each other. On one side, new forms of social networks are emerging and providing rich user engagements, for example in the context of the media exchange on Flickr and YouTube, online gaming on Xbox Live, personal information sharing on Facebook, and real time messaging on Twitter. At the same time, the use of coordinated human efforts through crowdsourcing platforms makes difficult human undertakings feasible. They range from broad initiatives such as the Wikipedia effort focused on capturing the collective human knowledge, to tasks posted by individuals to the crowdsourcing services such as Amazon Mechanical Turk to have them completed by the crowd of registered workers. Making these social computing systems successful requires careful design and in-depth understanding of both the technology and the human behavior. In this presentation we will discuss the research challenges and the progress we made in developing techniques and tools for analyzing social computing systems.<\/p>\n<h3>Biography<\/h3>\n<p>As a Principal Researcher at Microsoft Research Cambridge, Natasa Milic-Frayling is setting research directions for the Integrated Systems group, a cross-disciplinary team focused on the design, prototyping and evaluation of information and communication systems and services. In her research, Natasa fosters collaboration across academic areas and considers multiple perspectives of the research problems.<\/p>\n<p>Natasa received her Doctorate in Applied Mathematics from Carnegie Mellon University, Pittsburgh, PA in 1988.<\/p>\n<p>Her publication record reflects the cross-disciplinary nature of her research, covering topics from machine learning and information retrieval models to the user experience in mobile and social media environments. Her latest contribution is the book chapter on the social networks analysis of Flickr social media in \u201cAnalyzing Social Media Networks with NodeXL\u201d by Derek Hansen, Ben Shneiderman, and Marc Smith, released in Sept 2010 by Elsevier\/Morgan Kaufmann.<\/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-7704\"}' 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-7704\"\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-7703\"\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-7703\"\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-7704\"\n\t\t>\n\t\t\t<div class=\"msr-accordion__body\">\n\t\t\t\t<h2><img loading=\"lazy\" decoding=\"async\" class=\"size-full wp-image-270387 alignright\" src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2011\/02\/Peyton_Jones.png\" alt=\"Peyton_Jones\" width=\"100\" height=\"132\" \/><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2011\/02\/speytonjonestalk2011.pdf\">How to write a great research paper<\/a><\/h2>\n<h2><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2011\/02\/speytonjonestalk2011.pdf\">How to give a great research talk<\/a><\/h2>\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 \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.<\/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 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.<\/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-7706\"}' 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-7706\"\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-7705\"\n\t\t\t\ttype=\"button\"\n\t\t\t>\n\t\t\t\tDrew Purves | Scientist, Microsoft Research\t\t\t<\/button>\n\t\t<\/div>\n\t\t<div\n\t\t\taria-labelledby=\"accordion-button-7705\"\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-7706\"\n\t\t>\n\t\t\t<div class=\"msr-accordion__body\">\n\t\t\t\t<h2><img loading=\"lazy\" decoding=\"async\" class=\"size-full wp-image-201862 alignright\" src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/02\/en-us-events-2011summerschool-purves.jpg\" alt=\"purves.jpg\" width=\"101\" height=\"133\" \/><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2011\/02\/dpurves2011.pptx\">Computational Ecology: Enabling intelligent management of the environment<\/a><\/h2>\n<h3>Abstract<\/h3>\n<p>In 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\u2019ll outline how, in order to help equip ecology for the 21<sup>st<\/sup> century, we are developing new software tools for ecological science, and using these tools to build a new global simulation model (similar in spirit to the GCMs used to predict future climates) of the structure and function of the world\u2019s ecosystems. Hopefully, it will become clear just how much computer scientists can contribute to the long-term wellbeing of humankind.<\/p>\n<h3>Biography<\/h3>\n<p>Drew Purves is the head of the Computational Ecology and Environmental Science group at Microsoft Research, Cambridge. Drew studied ecology at Cambridge University, did a PhD in ecological modelling at the University of York (UK), and spent nearly six years as a postdoc in the EEB Department at Princeton University, before joining Microsoft Research Cambridge in 2007. Drew\u2019s work, which ranges across many research areas in ecology, has been published in more than 30 research articles in top-tier scientific journals including Science, PNAS, and Proc Roy Soc B. Drew co-supervises several PhD students at European universities, is an affiliate lecturer at Cambridge University, and is the treasurer of the British Ecological Society.<\/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-7708\"}' 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-7708\"\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-7707\"\n\t\t\t\ttype=\"button\"\n\t\t\t>\n\t\t\t\tJoaquin Qui\u00f1onero Candela | Senior Applied Researcher, Microsoft Research\t\t\t<\/button>\n\t\t<\/div>\n\t\t<div\n\t\t\taria-labelledby=\"accordion-button-7707\"\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-7708\"\n\t\t>\n\t\t\t<div class=\"msr-accordion__body\">\n\t\t\t\t<h2><img loading=\"lazy\" decoding=\"async\" class=\"size-full wp-image-201866 alignright\" src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/02\/en-us-events-2011summerschool-quinonero-candela.jpg\" alt=\"quinonero-candela.jpg\" width=\"101\" height=\"133\" \/><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2011\/02\/jqcandela2011.pdf\">Halo, Kinect, Bing: The Magic of Research in Microsoft Products<\/a><\/h2>\n<h3>Abstract<\/h3>\n<p>This talk will be about some of the large-scale applications of cutting-edge research in computational intelligence and machine learning in Microsoft Products. We will reveal the magic behind the machine learning algorithm TrueSkill\u2122 that matches players in Xbox LIVE games. We will 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.<\/p>\n<h3>Biography<\/h3>\n<p>Joaquin Qui\u00f1onero Candela leads the Ranking, Allocation and Pricing team at <a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" target=\"_blank\" href=\"http:\/\/advertising.microsoft.com\/advertise-your-business-on-bing?s_cid=US_SMB_PPC_BNG_brand_AdCenter-Brand_adcenter_e\">Microsoft adCenter<\/a>, which owns the design and optimization of the sponsored search auction on Bing and Yahoo!. Joaquin joined Microsoft Research as a Postdoctoral Researcher in early 2007, and was part of the small team that designed <a href=\"https:\/\/www.microsoft.com\/en-us\/research\/publication\/web-scale-bayesian-click-through-rate-prediction-for-sponsored-search-advertising-in-microsofts-bing-search-engine\/\">adPredictor<\/a>, the algorithm that is now used by Bing and Yahoo! to predict the probability that a use clicks on an ad. In 2009 Joaquin decided to embrace engineering in a product group, and moved to adCenter where he lead the click prediction team. Since end of 2010 Joaquin has lead the Ranking, Allocation and Pricing team. As a side project, Joaquin lead the team that created The Path of Go, a full 3D version of the ancient game of Go for the Xbox 360. Joaquin studied Telecommunications Engineering at the Carlos III University of Madrid, and did a PhD in Machine Learning at the Technical University of Denmark.<\/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-7710\"}' 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-7710\"\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-7709\"\n\t\t\t\ttype=\"button\"\n\t\t\t>\n\t\t\t\tScarlet Schwiderski-Grosche | Research Program Manager, Microsoft Research\t\t\t<\/button>\n\t\t<\/div>\n\t\t<div\n\t\t\taria-labelledby=\"accordion-button-7709\"\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-7710\"\n\t\t>\n\t\t\t<div class=\"msr-accordion__body\">\n\t\t\t\t<h2><img loading=\"lazy\" decoding=\"async\" class=\"size-full wp-image-201861 alignright\" src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/02\/en-us-events-2011summerschool-schwiderski-grosche.jpg\" alt=\"schwiderski-grosche.jpg\" width=\"101\" height=\"133\" \/><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2011\/02\/sschwiderskigrosche2011.pdf\">The work of Microsoft Research Connections in the region<\/a><\/h2>\n<h3>Abstract<\/h3>\n<p>Microsoft Research Connections is an organisation within Microsoft Research. Our aim is to collaborate with the world\u2019s top academic and scientific researchers, institutions, and computer scientists to shape the future of computing in fields such as parallel programming, software engineering, natural user interfaces, and data-intensive scientific research. We provide fellowships, grants, and awards to help foster the next generation of world-class scientists and launch the next critical scientific breakthroughs. The PhD Scholarship Programme is the main Microsoft Research Connections engagement in the EMEA (Europe, Middle East, Africa) region. In this talk, I will give an overview of Microsoft Research Connections and our work in the region.<\/p>\n<h3>Biography<\/h3>\n<p>Scarlet Schwiderski-Grosche is a Research Program Manager at Microsoft Research Cambridge, working for Microsoft Research Connections in the EMEA region. As such, she is in charge of the Microsoft Research PhD Scholarship Programme and coordinates a number of research projects.<\/p>\n<p>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-7712\"}' 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-7712\"\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-7711\"\n\t\t\t\ttype=\"button\"\n\t\t\t>\n\t\t\t\tDon Syme | Principal Researcher, Microsoft Research\t\t\t<\/button>\n\t\t<\/div>\n\t\t<div\n\t\t\taria-labelledby=\"accordion-button-7711\"\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-7712\"\n\t\t>\n\t\t\t<div class=\"msr-accordion__body\">\n\t\t\t\t<h2><img loading=\"lazy\" decoding=\"async\" class=\"size-full wp-image-201857 alignright\" src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/02\/en-us-events-2011summerschool-syme.jpg\" alt=\"syme.jpg\" width=\"101\" height=\"133\" \/><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2011\/02\/dsyme2011.pptx\">F# today, F# tomorrow \u2013 data-rich programming meets functional programming Super-Drug<\/a><\/h2>\n<h3>Abstract<\/h3>\n<p>Programming today exhibits a voracious appetite for information, and one of the most important trends in languages today is to make access to data and services fluent and seamless. Come and see the latest from the F# team, and learn a bit about F# as it is today, and see how we are extending F# to instantly embed the analytical or cloud programmer instantly in a world of typed data and services, whether they are cloud, web, enterprise, client or local.<\/p>\n<h3>Biography<\/h3>\n<p>Don Syme is a Principal Researcher at Microsoft Research, Cambridge. He is the designer of the F# language, recently released as F# 2.0, including the innovative F# parallel and asynchronous programming model. He is also the co-designer and co-implementer of generics for the .NET CLR, used as a fundamental part of the programming models of C#, F# and Visual Basic, and widely seen as one of the primary language features that differentiates .NET languages from JVM-based languages. Don\u2019s interests currently lie in information-rich typed functional programming for data-analysis, server-side programming and cloud computing.<\/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-7714\"}' 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-7714\"\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-7713\"\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-7713\"\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-7714\"\n\t\t>\n\t\t\t<div class=\"msr-accordion__body\">\n\t\t\t\t<h2><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2011\/02\/ktakeda2011.pptx\">Cloud computing for research<\/a><\/h2>\n<h3>Abstract<\/h3>\n<p>In this talk I will give a general overview of Cloud Computing and show how it is revolutionising the way we can do scientific research. As an example I will present Venus-C, a European project developing a Cloud Computing service for the research community.<\/p>\n<h3>Biography<\/h3>\n<p>Dr Kenji Takeda is Solution Architect and Technical Manager for the Microsoft Research Connections 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.<\/p>\n<p>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 has been recipient of the Royal Aeronautical Society Silver Award (2009), Royal Academy of Engineering\/ExxonMobil Gold Medal for Excellence in Engineering Teaching (2007) and Royal Academy of Engineering Education Innovation prize (2006).<\/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-7716\"}' 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-7716\"\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-7715\"\n\t\t\t\ttype=\"button\"\n\t\t\t>\n\t\t\t\tTennie Videler | Programme Manager: Researchers, Vitae\t\t\t<\/button>\n\t\t<\/div>\n\t\t<div\n\t\t\taria-labelledby=\"accordion-button-7715\"\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-7716\"\n\t\t>\n\t\t\t<div class=\"msr-accordion__body\">\n\t\t\t\t<h2><img loading=\"lazy\" decoding=\"async\" class=\"size-full wp-image-201858 alignright\" src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/02\/en-us-events-2011summerschool-videler.jpg\" alt=\"videler.jpg\" width=\"101\" height=\"133\" \/>Making the most of your PhD; now and in your career<\/h2>\n<h3>Abstract<\/h3>\n<p>Vitae champions the professional, personal and career development of researchers such as yourself. Our website contains information on the logistics of doing a PhD, <a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" target=\"_blank\" href=\"http:\/\/www.vitae.ac.uk\/researchers\/1228\/Managing-yourself.html\">overcoming obstacles common to postgraduate researchers<\/a>, <a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" target=\"_blank\" href=\"http:\/\/www.vitae.ac.uk\/researchers\/1234\/Supervision-and-key-relationships.html\">the supervision process<\/a> and <a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" target=\"_blank\" href=\"http:\/\/www.vitae.ac.uk\/careers\">careers<\/a>, among other useful things.<\/p>\n<p>During this session we will look at some of the logistics of your doctorate, specifically managing your relationship with your supervisor. We will also start thinking about what you might want to do after you have finished your doctorate. There may well be more opportunities open to you than you think!<\/p>\n<h3>Biography<\/h3>\n<p>Tennie Videler is a programme manager for <a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" target=\"_blank\" href=\"http:\/\/www.vitae.ac.uk\/\">Vitae<\/a>, which champions the personal, professional and career development of researchers. It has a unique position in the UK, sharing practice between universities, commissioning research and resources and shaping policy. Before that she was a researcher herself, completing a doctorate and a dozen years of post-doctoral research in different fields of structural biology.<\/p>\n<p>As the person dedicated to researchers, Tennie writes and commissions resources for researchers and gives talks and runs interactive workshops. She has set up blogs for <a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" target=\"_blank\" href=\"http:\/\/www.vitae.ac.uk\/rsblog\">research staff<\/a> and postgraduate researchers (the latter called \u2018<a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" target=\"_blank\" href=\"http:\/\/www.vitae.ac.uk\/whatsupdoc\">What\u2019s up doc?\u2019<\/a> ). Every month she writes <a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" target=\"_blank\" href=\"http:\/\/www.vitae.ac.uk\/pgrtips\">PGRTips<\/a>, containing practical advice on different aspects of doing a doctorate and careers. Tennie is also involved in some research, such the \u2018What do researchers do?\u2019 publication on the first employment destinations of doctoral graduates.<\/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-7718\"}' 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-7718\"\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-7717\"\n\t\t\t\ttype=\"button\"\n\t\t\t>\n\t\t\t\tNicolas Villar | Researcher, Microsoft Research\t\t\t<\/button>\n\t\t<\/div>\n\t\t<div\n\t\t\taria-labelledby=\"accordion-button-7717\"\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-7718\"\n\t\t>\n\t\t\t<div class=\"msr-accordion__body\">\n\t\t\t\t<h2><img loading=\"lazy\" decoding=\"async\" class=\"size-full wp-image-201863 alignright\" src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/02\/en-us-events-2011summerschool-villar.jpg\" alt=\"villar.jpg\" width=\"100\" height=\"132\" \/><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2011\/02\/nvillar2011.pdf\">Gadgeteer<\/a><\/h2>\n<h3>Abstract<\/h3>\n<p>Microsoft .NET Gadgeteer is a new prototyping platform that makes it easier to construct, program and shape new kinds of computing objects. It is comprised of modular hardware, software libraries and 3D CAD support. Together, these elements support the key activities involved both in the rapid prototyping and the small-scale production of custom embedded, interactive and connected devices.<\/p>\n<p>In this talk we will show (through live coding and hardware assembly) how to design, build and program working devices using .NET Gadgeteer. The aim will be to give those present a taster of how Gadgeteer can be used as a tool for researchers and students that need to prototype and build bespoke hardware.<\/p>\n<h3>Biography<\/h3>\n<p>Nicolas Villar is a researcher in the Computer Mediated Living Group, based at the Microsoft Research lab in Cambridge, UK. He is particularly interested in the use of embedded systems\u2014programmable microcontrollers, wireless communication devices, sensors and actuators\u2014as building blocks in the design of physical interactive objects and user interface devices that are engaging, useful and usable. His current work focuses on understanding and developing technologies that enable interactive devices to be rapidly prototyped, manufactured and deployed into use.<\/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\":\"Posters\"} --><!-- wp:freeform --><h2>Posters Guidelines<\/h2>\n<p>Posters should be designed for A1 portrait (594 mm width x 841 mm height) colour printing (either PowerPoint or PDF) and articulate clearly and concisely either visually or textually:<\/p>\n<ul>\n<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>\n<li>What the research is.<\/li>\n<li>What the intended outcome is.<\/li>\n<li>What stage it is at.<\/li>\n<li>Any research results, preliminary conclusions, or any potentially exciting or interesting next steps are.<\/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 also clearly display your name and the name of your university.<\/p>\n<p>You can find example of posters on the page of the 2009 Summer School.<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 Drinks<\/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.cambridge-pubs.co.uk\/\">Cambridge Pubs 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.cambridgerestaurants.com\/\">Cambridge Restaurants Guide<span class=\"sr-only\"> (opens in new tab)<\/span><\/a><\/li>\n<\/ul>\n<h2>Theatres<\/h2>\n<p><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><br \/>\n6, St. Edwards Passage, Cambridge, Cambridgeshire CB2 3PL<br \/>\nTel: 01223 578933 For major theatre productions and national tours.<\/p>\n<p><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><br \/>\nPark St, Cambridge, Cambridgeshire CB5 8AS<br \/>\nTel: 01223 359547<\/p>\n<p><a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" title=\"\" href=\"http:\/\/www.anglia.ac.uk\/ruskin\/en\/home\/microsites\/mumford_theatre.html\" target=\"_blank\">Mumford Theatre<span class=\"sr-only\"> (opens in new tab)<\/span><\/a><br \/>\nAnglia Polytechnic University, East Road, Cambridge, Cambridgeshire<br \/>\nTel: 0845 196 2320<\/p>\n<p><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><br \/>\n3, Parson Court, Wheeler St, Cambridge, Cambridgeshire CB2 3QE<br \/>\nTel: 01223 357851 For rock, pop, comedy and opera.<\/p>\n<p><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><br \/>\nCambridge Leisure Park, Clifton Road, Cambridge, Cambridgeshire CB1 7GX<br \/>\nTel: (01223) 511511 Also for rock, pop, comedy.<\/p>\n<h2>Cinema<\/h2>\n<p><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><br \/>\n38-39, St. Andrews St, Cambridge, Cambridgeshire CB2 3AR<br \/>\nTel: 01223 572929 Arthouse and international.<\/p>\n<p><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><br \/>\nCambridge Leisure Park, Clifton Road<br \/>\nTel. 0871 200 2000 Multi screen Cinema complex.<\/p>\n<p><a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" target=\"_blank\" href=\"http:\/\/www.myvue.com\/index.asp?ci=17\">Vue Cinema<span class=\"sr-only\"> (opens in new tab)<\/span><\/a><br \/>\nThe Grafton Centre, East Rd, Cambridge, Cambridgeshire CB1 1PS<br \/>\nTel: 0871 2240240 Multi screen Cinema.<\/p>\n<h2>Note<\/h2>\n<p>* The number of spaces for go-karting is limited, so we&#8217;ll select drivers on a first-come first-served basis.<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":"<img class=\"alignnone size-full wp-image-270327\" src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2011\/02\/untitled.png\" alt=\"PhD Summer School 2011\" width=\"550\" height=\"365\" \/>\r\n\r\nThe sixth Microsoft Research Summer School took place at Microsoft Research in Cambridge, U.K., from 27 June to 1 July 2011. 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<div class=\"conM \">\r\n\r\nInvited students\u00a0included PhD students in their first or second\u00a0year from\u00a0universities and research institutions Microsoft Research partners with and\u00a0all\u00a0Microsoft Research\u00a02010 PhD Scholars.\r\n\r\nLectures and posters sessions were public and open to all research staff and students from the University of Cambridge.\r\n\r\n<a title=\"\" href=\"http:\/\/www.bing.com\/maps\/?v=2&amp;cp=53.35388946500001~-6.243333338999994&amp;lvl=6&amp;dir=0&amp;sty=c&amp;cid=F3C62D107178AEC!186\" target=\"_self\">Map of venues<\/a>\r\n\r\n<\/div>"},{"id":1,"name":"Agenda","content":"<h2>Monday,\u00a027 June 2011<\/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\">Students staying at <a title=\"\" href=\"http:\/\/www.jesus.cam.ac.uk\/\" target=\"_self\">Jesus College <\/a>and Westcott House get the keys to their rooms<\/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\">Welcome and tea<\/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 Jesus 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>Go-karting* and dinner (casual clothing; we recommend wearing old shoes)<\/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\">22:00<\/div><\/td>\r\n<td>Bus transportation back to Jesus College<\/td>\r\n<td><\/td>\r\n<td><\/td>\r\n<\/tr>\r\n<\/tbody>\r\n<\/table>\r\n<h2>Tuesday,\u00a028 June 2011<\/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>Registration<\/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\">10:15<\/div><\/td>\r\n<td>\r\n<div class=\"msr-table-schedule-cell\"><strong>Overview of Microsoft Research and the Summer School<\/strong><\/div><\/td>\r\n<td>\r\n<div class=\"msr-table-schedule-cell\">\r\n\r\nKen Wood\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\">11:00<\/div><\/td>\r\n<td>\r\n<div class=\"msr-table-schedule-cell\"><strong>How to write a great research paper<\/strong><\/div><\/td>\r\n<td><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/simonpj\/\">Simon Peyton-Jones <\/a>(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\">12:00<\/div><\/td>\r\n<td>\r\n<div>Lunch and poster session 1\u00a0[see posters guidelines]<\/div><\/td>\r\n<td><\/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>How to give a great research talk<\/strong><\/div><\/td>\r\n<td><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/simonpj\/\">Simon Peyton-Jones <\/a>(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\">\u00a015:00<\/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:15<\/div><\/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>InnerEye: automatic visual recognition in the hospital\u00a0<\/strong><\/div><\/td>\r\n<td><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/antcrim\/\">Antonio Criminisi<\/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\"><\/td>\r\n<td>\r\n<div><strong>Cores, cores, everywhere\u00a0<\/strong><\/div><\/td>\r\n<td>\r\n<div class=\"msr-table-schedule-cell\">Tim Harris\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\">16:15<\/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\">16:45<\/div><\/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>Social Computing - Where the Human Intelligence and Computing Technologies Meet <\/strong><\/div><\/td>\r\n<td>\r\n<div class=\"msr-table-schedule-cell\">Natasa Milic-Frayling (Microsoft Research)<\/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>Proving that programs eventually do something good<\/strong><\/div><\/td>\r\n<td>\r\n<div class=\"msr-table-schedule-cell\">Byron Cook\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\">17:45<\/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<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\">Drinks, more 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:30<\/div><\/td>\r\n<td>\r\n<div class=\"msr-table-schedule-cell\">Dinner at 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,\u00a029 June 2011<\/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\">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\">Making the most of your PhD; now and in your career<\/div><\/td>\r\n<td>Tennie Videler (<a href=\"http:\/\/www.vitae.ac.uk\/\" target=\"_self\">Vitae<\/a>)<\/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\">The work of Microsoft Research Connections in the region<\/div><\/td>\r\n<td><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/scarlets\/\">Scarlet Schwiderski-Grosche<\/a> (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\">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\">14:00<\/div><\/td>\r\n<td>\r\n<div class=\"msr-table-schedule-cell\">Computer science as applied philosophy<\/div><\/td>\r\n<td>Tony Hoare\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\">15:00<\/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:15<\/div><\/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>Can we use computer programmes to treat cancer?<\/strong><\/div><\/td>\r\n<td>Joaquin Qui\u00f1onero Candela (Microsoft Research)<\/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>Halo, Kinect, Bing: The Magic of Research in Microsoft Products<\/strong><\/div><\/td>\r\n<td>\r\n<div class=\"msr-table-schedule-cell\"><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/jfisher\/\">Jasmin Fisher<\/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\">16:15<\/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\">16:45<\/div><\/td>\r\n<td>\r\n<div><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><strong>Computational Ecology: Enabling intelligent management of the environment<\/strong><\/div><\/td>\r\n<td>Drew Purves\r\n(Microsoft Research)<\/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><strong>Local cues and global constraints in image understanding<\/strong><\/div><\/td>\r\n<td>Olga Barinova\r\n(Moscow State University)<\/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:45<\/div><\/td>\r\n<td>\r\n<div>Bus transportation 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>Thursday,\u00a030 June 2011<\/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\">\u00a009:30<\/div><\/td>\r\n<td>\r\n<div class=\"msr-table-schedule-cell\"><strong>Blue skies to ground truth: Machine learning for Kinect human motion capture<\/strong><\/div><\/td>\r\n<td><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/awf\/\">Andrew Fitzgibbon<\/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\">\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><strong>Gadgeteer<\/strong><\/td>\r\n<td><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/nvillar\/\">Nicolas Villar<\/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\">\r\n<div class=\"msr-table-schedule-cell\">14:00<\/div><\/td>\r\n<td><strong>Rough guide to being an entrepreneur<\/strong><\/td>\r\n<td>Jack Lang (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\">15: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\">15:15<\/div><\/td>\r\n<td><strong>F# today, F# tomorrow \u2013 data-rich programming meets functional programming super-drug<\/strong><\/td>\r\n<td><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/dsyme\/\">Don Syme<\/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\">\r\n<div class=\"msr-table-schedule-cell\">16:15<\/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\">16:45<\/div><\/td>\r\n<td>\r\n<div class=\"msr-table-schedule-cell\"><strong>Cloud computing for research<\/strong><\/div><\/td>\r\n<td><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/kenjitak\/\">Kenji Takeda<\/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\">\r\n<div class=\"msr-table-schedule-cell\">17:45<\/div><\/td>\r\n<td>\r\n<div class=\"msr-table-schedule-cell\">Bus transportation to punting location<\/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\">Punting on the river Cam<\/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:30<\/div><\/td>\r\n<td>\r\n<div class=\"msr-table-schedule-cell\">Dinner at <a href=\"http:\/\/www.lamimosa.co.uk\/\">La Mimosa<\/a><\/div><\/td>\r\n<td><\/td>\r\n<td><\/td>\r\n<\/tr>\r\n<\/tbody>\r\n<\/table>\r\n<h2>Friday,\u00a01 July 2011<\/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><strong>Introduction to intellectual property<\/strong><\/strong><\/div><\/td>\r\n<td>Carole Boelitz (Microsoft)<\/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\">\r\n<div class=\"msr-table-schedule-cell\">\r\n<div class=\"msr-table-schedule-cell\"><strong>How to Present a Poster at an International Conference<\/strong><\/div>\r\n<\/div>\r\n<\/div><\/td>\r\n<td>\r\n<div class=\"msr-table-schedule-cell\">\r\n<div class=\"msr-table-schedule-cell\">\r\n\r\nSue Duraikan\r\n(Duraikan Training)\r\n\r\n<\/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\">12:00<\/div><\/td>\r\n<td>\r\n<div class=\"msr-table-schedule-cell\">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\">\u00a013:30<\/div><\/td>\r\n<td>\r\n<div class=\"msr-table-schedule-cell\">End and 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":"Abstracts and Speakers","content":"[accordion]\r\n\r\n[panel header=\"Olga Barinova | Researcher, Moscow State University\"]\r\n<h2><img class=\"size-full wp-image-201850 alignright\" src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/02\/en-us-events-2011summerschool-olga.jpg\" alt=\"olga.jpg\" width=\"101\" height=\"133\" \/><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2011\/02\/obarinova2011.pdf\">Local cues and global constraints in image understanding<\/a><\/h2>\r\n<h3>Abstract<\/h3>\r\nModern computer vision systems can reconstruct 3-d scene geometry from 2-d images, or separate foreground objects from background, or accurately detect objects of a particular class. These advances owe a lot to emergence of energy optimization-based models that allow fusing information from different parts and elements of an image in a principled way. In this talk I will give an overview of these models and illustrate their application in a number of computer vision tasks.\r\n<h3>Biography<\/h3>\r\nOlga Barinova is a Researcher in Graphics and Media Lab at Moscow State University and is currently engaged in Microsoft Research Connections projects in Russia. She holds a Ph.D. degree in computer science from the Moscow State University, her research focuses on the applications of machine learning methods to computer vision. She is an author of several patents and her work was published at a number of international computer vision and machine learning journals and conferences including PAMI, ECML, ECCV, CVPR.\r\n\r\n[\/panel]\r\n\r\n[panel header=\"Carole Boelitz | Senior Attorney, Microsoft\"]\r\n<h2>Intr<img class=\"size-full wp-image-201864 alignright\" src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/02\/en-us-events-2011summerschool-boelitz.jpg\" alt=\"boelitz.jpg\" width=\"101\" height=\"133\" \/>oduction to intellectual property<\/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\r\n[\/panel]\r\n\r\n[panel header=\"Byron Cook | Principal Researcher, Microsoft Research\"]\r\n<h2><img class=\"size-full wp-image-201851 alignright\" src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/02\/en-us-events-2011summerschool-cook.jpg\" alt=\"cook.jpg\" width=\"101\" height=\"133\" \/><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2011\/02\/bcook2011.pdf\">Proving that programs eventually do something good<\/a><\/h2>\r\n<h3>Abstract<\/h3>\r\nSoftware failures can be sorted into two groups: those that cause the software to do something wrong (e.g. crashing), and those that result in the software not doing something useful (e.g. hanging). In recent years automatic tools have been developed which use mathematical proof techniques to certify that software cannot crash. But, based on Alan Turing's proof of the halting problem's undecidablity, many have considered the dream of automatically proving the absence of hangs to be impossible. While not refuting Turing's original result, recent research now makes this dream a reality. This lecture will describe this recent work and its application to industrial software.\r\n<h3>Biography<\/h3>\r\nDr. Byron Cook is a Principal Researcher at Microsoft Research in Cambridge, UK as well as Professor of Computer Science at Queen Mary, University of London. He is one of the developers of the Terminator program termination proving tool, as well as the SLAM software model checker. See research.microsoft.com\/~bycook\/ for more information.\r\n\r\n[\/panel]\r\n\r\n[panel header=\"Antonio Criminisi | Researcher, Microsoft Research\"]\r\n<h2><img class=\"size-full wp-image-201852 alignright\" src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/02\/en-us-events-2011summerschool-criminisi.jpg\" alt=\"criminisi.jpg\" width=\"101\" height=\"133\" \/>InnerEye: Automatic visual recognition in the hospital<\/h2>\r\n<h3>Abstract<\/h3>\r\nIn this talk I will present the research work that we are doing in Cambridge in the area of automatic medical image analysis.\r\n\r\nAnalysis of medical images is essential in modern medicine. With the increasing amount of patient data, new challenges and opportunities arise for different phases of the clinical routine, such as diagnosis and therapy. The InnerEye research project focuses on the automatic analysis of patients' scans by using machine learning techniques for: 1. Automatic detection and segmentation of healthy anatomy, as well as anomalies; 2. Semantic navigation and visualization; 3. Robust registration. Our methods combine medical expertise and modern machine learning theory in the design of tools for computer-aided diagnosis, personalized medicine, and natural user interfaces for surgical intervention.\r\n<h3>Biography<\/h3>\r\nAntonio Criminisi joined the Machine Learning and Perception group at Microsoft Research Cambridge in June 2000 as Visiting Researcher. In February 2001, he moved to the Interactive Visual Media Group in Redmond (WA, USA) as a Post-Doctorate Researcher. In October 2002, he moved back to the Machine Learning and Perception Group in Cambridge as Researcher. Antonio'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 \"Doctor of Philosophy\" (PhD) Degree in Computer Vision at the University of Oxford. His thesis \u201cAccurate Visual Metrology from Single and Multiple Uncalibrated Images\u201d won the <em>British Computer Society Distinguished Dissertation Award<\/em> 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<h2><img class=\"size-full wp-image-201859 alignright\" src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/02\/en-us-events-2011summerschool-duraikan.jpg\" alt=\"duraikan.jpg\" width=\"100\" height=\"132\" \/>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 3 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\nAfter this, Sue will be available to provide confidential 1-1 feedback for any students who are interested.\r\n<h3>Biography<\/h3>\r\nSue Duraikan runs Duraikan Training, a consultancy which aims to help individuals and organisations develop. Duraikan Training provides support in designing and delivering learning strategies. We also run training sessions and one-to-one coaching on a wide range of professional skills. As a former teacher of Modern Languages 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=\"Jasmin Fisher | Researcher, Microsoft Research\"]\r\n<h2><img class=\"size-full wp-image-201853 alignright\" src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/02\/en-us-events-2011summerschool-fisher.jpg\" alt=\"fisher.jpg\" width=\"101\" height=\"133\" \/>Can we use computer programmes to treat cancer?<\/h2>\r\n<h3>Abstract<\/h3>\r\nIn this talk I will explain how we use executable models to describe biological processes. In particular, I will focus on the process of cell fate determination, where stem cells commit to a single lineage (leading to a single cell type) while having the ability to undergo multi-lineage differentiation. The elucidation of intricate mechanisms that govern stem cell decisions is essential for understanding normal development. Moreover, defects in these mechanisms play an important role in disease such as cancer. In this talk, I will demonstrate how we shed new light on such mechanisms using formal executable models of cell fate decisions, and how these kinds of models enrich the world of programming languages and formal verification in ways that have never been thought of before.\r\n<h3>Biography<\/h3>\r\n<a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/jfisher\/\">Jasmin Fisher<\/a> received her PhD in Neuroimmunology from the Weizmann Institute of Science in Israel. She started her work on the application of formal methods to biology as a postdoctoral fellow in the department of Computer Science at the Weizmann Institute (2003-2004), where she worked with David Harel, and then continued to work also on the development of novel formalisms and tools that are specifically-tailored for modelling biological processes as a postdoctoral researcher in the School of Computer Science at the EPFL in Switzerland (2004-2007), together with Tom Henzinger. In 2007, Jasmin moved to Cambridge to join Microsoft Research, and since 2009 she is also an Affiliated Lecturer at Cambridge University. Her research focuses on the construction and analysis of executable models that describe various biological phenomena in order to better understand complex biological systems. She is mainly interested in processes of cell fate determination and signaling networks operating during normal development and cancer.\r\n\r\n[\/panel]\r\n\r\n[panel header=\"Andrew Fitzgibbon | Microsoft Research\"]\r\n<h2><img class=\"size-full wp-image-201865 alignright\" src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/02\/en-us-events-2011summerschool-fitzgibbon.jpg\" alt=\"fitzgibbon.jpg\" width=\"101\" height=\"133\" \/><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2011\/02\/afitzgibbon2011.pdf\">Blue skies to ground truth: Machine learning for Kinect human motion capture<\/a><\/h2>\r\n<h3>Abstract<\/h3>\r\nKinect for Xbox 360 is not just a new way of controlling computer games, it represents a fundamental change in the way humans can interact with machines. I will talk about how Kinect solves the human body tracking problem, which involved a significant advance over the academic state of the art. The key was a clever repurposing of existing machine learning approaches to general object recognition, combined a database of training data much larger than had previously been used. The talk also illustrates how \u201cblue skies\u201d research can have practical benefits both short-term and long.\r\n<h3>Biography<\/h3>\r\nAndrew Fitzgibbon is a principal researcher at Microsoft Research, Cambridge, UK. His research interests are in the intersection of computer vision and computer graphics, with excursions into neuroscience. Recent papers have been on models of nonrigid motion, human 3D perception, large-scale image search, and nonlinear optimization.\r\n\r\nHe has co-authored ``best papers'' at ICCV (twice), CVPR, and BMVC, and software he wrote won an Engineering Emmy Award in 2002 for significant contributions to the creation of complex visual effects. He studied at University College Cork, at Heriot-Watt university, and received his PhD from Edinburgh University in 1997. Until June 2005 he held a Royal Society University Research Fellowship at Oxford University's Department of Engineering Science.\r\n\r\n[\/panel]\r\n\r\n[panel header=\"Tim Harris | Senior Researcher, Microsoft Research\"]\r\n<h2><img class=\"size-full wp-image-201854 alignright\" src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/02\/en-us-events-2011summerschool-harris.jpg\" alt=\"harris.jpg\" width=\"101\" height=\"133\" \/><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2011\/02\/tharris2011.pptx\">Cores, cores, everywhere<\/a><\/h2>\r\n<h3>Abstract<\/h3>\r\nParallel programming is now the norm: even a basic laptop will have 2, 3, or 4 processor cores, along with a GPU for handling graphics processing. This raises new challenges and opportunities: Challenges, because writing parallel software is seen as vastly more difficult than writing sequential programs. Opportunities, because efficient parallel software can run with lower power consumption, or with greater performance than a sequential program. In this talk I\u2019ll show how projects at Microsoft Research Cambridge are helping to tackle these problems by making parallel programming easier, and by making the underlying computer operating systems a better fit for tomorrow\u2019s highly parallel machines.\r\n<h3>Biography<\/h3>\r\nTim Harris is a Senior Researcher at Microsoft Research Cambridge where he works on abstractions for using multi-core computers. He is currently working on the Barrelfish operating system, and on architecture support for programming language runtime systems. His other recent work has focused on the implementation of software transactional memory for multi-core computers, and the design of programming language features based on it.\r\n\r\nTim has a BA and PhD in computer science from Cambridge University Computer Laboratory. He was on the faculty at the Computer Laboratory from 2000-2004 where he led the department's research on concurrent data structures and contributed to the Xen virtual machine monitor project. He joined Microsoft Research in 2004.\r\n\r\n[\/panel]\r\n\r\n[panel header=\"Tony Hoare | Principal Researcher, Microsoft Research\"]\r\n<h2><img class=\"size-full wp-image-201855 alignright\" src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/02\/en-us-events-2011summerschool-hoare.jpg\" alt=\"hoare.jpg\" width=\"101\" height=\"133\" \/><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2011\/02\/thoare2011.pptx\">Computer science as applied philosophy<\/a><\/h2>\r\n<h3>Abstract<\/h3>\r\nPhysics, Biology, Medicine, Mathematics, and Geometry all had their origin in Ancient Greek Philosophy; I hope to show that Computing, considered as a branch of Science, has the same origins in ancient Greece; and its practical application to software engineering sheds light on several historic issues in philosophy.\r\n\r\nMy first example is of course Aristotle (384-322 bc). His syllogistic logic explained the difference between valid and invalid reasoning, not only in Mathematics and the Natural Sciences, but also in politics, law, and philosophy itself. The secret of validity lies solely in the syntactic form of the argument, and is completely independent of its subject matter in the real world. Today, it is a formal syntax that enables the computer to check very long proofs, and actually to discover proofs of conjectures. Furthermore, programming languages are defined today in terms of their syntax, which permits compilers to inhibit execution of meaningless programs. The meaning of a valid program execution is defined inductively, in the same way as a valid logical proof.\r\n\r\nMy next example is Euclid (round 300 bc). He is the designer of the world\u2019s first programming language, used to specify constructions in geometry. His ideas still lie at the basis of all modern graphical programming languages, drawing pictures on all the screens of all the computers and cinemas and telephones in the world. His language was certainly the first, and still almost the only language, in which all the programs come with a rigorous specification of their purpose, and a proof of their correctness. Today, such proofs are beginning to protect computer programs, measuring billions of lines of code, from the risks posed viruses, worms, and other malware attacks.\r\n\r\nMy next example is William of Ockham (1287-1347). In Medieval times, the most important application of logic was to paradoxes of Theology. For example, how do you reconcile the perfect knowledge of the Deity of what is going to happen in the future with the existence of man\u2019s free will. This problem was solved by Temporal logic, in a version based on Branching Time. Today, computers have been programmed to use Branching Time in analysis of the correctness of communication protocols and computer software designs, even in the presence of non-determinism, which is now a feature of all computer programs and programming languages.\r\n\r\nMy final example is Gottfried Leibnitz (1646-1716). He was a co-discoverer with Isaac Newton of the differential calculus. This works by using symbolic calculations on algebraic formulae. The correctness of the calculation is defined by the list of algebraic equations that are presented by the calculus. Leibnitz had a dream that all the truths of philosophy, theology and natural science could be derived from first principles by just such calculations. This dream is now being partially realised in massive computer data-bases, which can find evidence that supports or refutes any conjecture presented by scientists or doctors.\r\n\r\nIn the last century, the link between Computer Science and Philosophical Logic became even more intense. George Boole invented Boolean algebra, which lies at the basis of all computer hardware, as well as the Propositional Calculus, which is the basis of all proofs, both in Computer Science and in Mathematics. Gottlob Frege formalised the predicate calculus in a manner that is now recognised as adequate for all of mathematical proof. His formalisation of bound variables is now incorporated in the declarations of all computer programming languages. Bertrand Russell was most concerned with avoiding the paradoxes that he discovered at the very foundations of mathematics. He invented a theory of types to solve the problem. Types are used in most computer languages of the present day to inhibit the execution of meaningless programs. The mathematician David Hilbert hoped to prove the consistency of mathematics by means of a new specialised branch of Mathematics (Metamathematics), whose subject matter is mathematical formulae, rather than sets or numbers or geometric figures. This gave Alan Turing the idea of a computer that is capable of operating on programs held in its own store: although his motive was to prove that Hilbert\u2019s hope for mathematics was impossible.\r\n\r\nI will not have time to deal with the twentieth Century, so I refer you to the excellent book \u2018Engines of Logic\u2019 by Martin Davis.\r\n<h3>Biography<\/h3>\r\nTony Hoare\u2019s computing interests were stimulated by his first (and only) degree in the humanities (1956): he studied Latin and ancient Greek, followed by philosophy, with particular interest in mathematical philosophy and logic. He learnt Russian during National Service in the Royal Navy. He spent a postgraduate year studying statistics at Oxford and another at Moscow State University, where he discovered the sorting algorithm Quicksort. In 1960, he joined the British Computer industry as a programmer, eventually rising to the rank of Chief Engineer.\r\n\r\nHis Academic career started in 1968 with appointment as professor at the Queen\u2019s University, Belfast. He chose his long-term research area as proof of the correctness of programs. In the thick of the troubles, he built up a strong computing department, and moved in 1978 to do the same at Oxford. Following the example of Theoretical Physics, his interests broadened to the pursuit of Unifying Theories of Programming.\r\n\r\nOn reaching retiring age, he accepted an offer of employment at Microsoft Research in Cambridge, where he has seen a strong surge of interest in automation of computer proofs of program correctness. He continues to pursue this interest, while exhorting academic researchers in long-term pursuit of even more idealistic scientific goals.\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-201860 alignright\" src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/02\/en-us-events-2011summerschool-lang.jpg\" alt=\"lang.jpg\" width=\"100\" height=\"144\" \/><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2011\/02\/jlang2011.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=\"Natasa Milic-Frayling | Principal Researcher, Microsoft Research?\"]\r\n<h2><img class=\"size-full wp-image-201856 alignright\" src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/02\/en-us-events-2011summerschool-milic-frayling.jpg\" alt=\"milic-frayling.jpg\" width=\"101\" height=\"133\" \/><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2011\/02\/nmilicfrayling2011.pdf\">Social Computing - Where the Human Intelligence and Computing Technologies Meet <\/a><\/h2>\r\n<h3>Abstract<\/h3>\r\nComputer technologies have reshaped many areas of our lives, from science and engineering to business and entertainment. They had most astounding effects on the ways we communicate and relate to each other. On one side, new forms of social networks are emerging and providing rich user engagements, for example in the context of the media exchange on Flickr and YouTube, online gaming on Xbox Live, personal information sharing on Facebook, and real time messaging on Twitter. At the same time, the use of coordinated human efforts through crowdsourcing platforms makes difficult human undertakings feasible. They range from broad initiatives such as the Wikipedia effort focused on capturing the collective human knowledge, to tasks posted by individuals to the crowdsourcing services such as Amazon Mechanical Turk to have them completed by the crowd of registered workers. Making these social computing systems successful requires careful design and in-depth understanding of both the technology and the human behavior. In this presentation we will discuss the research challenges and the progress we made in developing techniques and tools for analyzing social computing systems.\r\n<h3>Biography<\/h3>\r\nAs a Principal Researcher at Microsoft Research Cambridge, Natasa Milic-Frayling is setting research directions for the Integrated Systems group, a cross-disciplinary team focused on the design, prototyping and evaluation of information and communication systems and services. In her research, Natasa fosters collaboration across academic areas and considers multiple perspectives of the research problems.\r\n\r\nNatasa received her Doctorate in Applied Mathematics from Carnegie Mellon University, Pittsburgh, PA in 1988.\r\n\r\nHer publication record reflects the cross-disciplinary nature of her research, covering topics from machine learning and information retrieval models to the user experience in mobile and social media environments. Her latest contribution is the book chapter on the social networks analysis of Flickr social media in \u201cAnalyzing Social Media Networks with NodeXL\u201d by Derek Hansen, Ben Shneiderman, and Marc Smith, released in Sept 2010 by Elsevier\/Morgan Kaufmann.\r\n\r\n[\/panel]\r\n\r\n[panel header=\"Simon Peyton Jones | Principal Researcher, Microsoft Research\"]\r\n<h2><img class=\"size-full wp-image-270387 alignright\" src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2011\/02\/Peyton_Jones.png\" alt=\"Peyton_Jones\" width=\"100\" height=\"132\" \/><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2011\/02\/speytonjonestalk2011.pdf\">How to write a great research paper<\/a><\/h2>\r\n<h2><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2011\/02\/speytonjonestalk2011.pdf\">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=\"Drew Purves | Scientist, Microsoft Research\"]\r\n<h2><img class=\"size-full wp-image-201862 alignright\" src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/02\/en-us-events-2011summerschool-purves.jpg\" alt=\"purves.jpg\" width=\"101\" height=\"133\" \/><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2011\/02\/dpurves2011.pptx\">Computational Ecology: Enabling intelligent management of the environment<\/a><\/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\u2019ll outline how, in order to help equip ecology for the 21<sup>st<\/sup> century, we are developing new software tools for ecological science, and using these tools to build a new global simulation model (similar in spirit to the GCMs used to predict future climates) of the structure and function of the world\u2019s ecosystems. Hopefully, it will become clear just how much computer scientists can contribute to the long-term wellbeing of humankind.\r\n<h3>Biography<\/h3>\r\nDrew Purves is the head of the Computational Ecology and Environmental Science group at Microsoft Research, Cambridge. Drew studied ecology at Cambridge University, did a PhD in ecological modelling at the University of York (UK), and spent nearly six years as a postdoc in the EEB Department at Princeton University, before joining Microsoft Research Cambridge in 2007. Drew\u2019s work, which ranges across many research areas in ecology, has been published in more than 30 research articles in top-tier scientific journals including Science, PNAS, and Proc Roy Soc B. Drew co-supervises several PhD students at European universities, is an affiliate lecturer at Cambridge University, and is the treasurer of the British Ecological Society.\r\n\r\n[\/panel]\r\n\r\n[panel header=\"Joaquin Qui\u00f1onero Candela | Senior Applied Researcher, Microsoft Research\"]\r\n<h2><img class=\"size-full wp-image-201866 alignright\" src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/02\/en-us-events-2011summerschool-quinonero-candela.jpg\" alt=\"quinonero-candela.jpg\" width=\"101\" height=\"133\" \/><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2011\/02\/jqcandela2011.pdf\">Halo, Kinect, Bing: The Magic of Research in Microsoft Products<\/a><\/h2>\r\n<h3>Abstract<\/h3>\r\nThis talk will be about some of the large-scale applications of cutting-edge research in computational intelligence and machine learning in Microsoft Products. We will reveal the magic behind the machine learning algorithm TrueSkill\u2122 that matches players in Xbox LIVE games. We will 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\nJoaquin Qui\u00f1onero Candela leads the Ranking, Allocation and Pricing team at <a href=\"http:\/\/advertising.microsoft.com\/advertise-your-business-on-bing?s_cid=US_SMB_PPC_BNG_brand_AdCenter-Brand_adcenter_e\">Microsoft adCenter<\/a>, which owns the design and optimization of the sponsored search auction on Bing and Yahoo!. Joaquin joined Microsoft Research as a Postdoctoral Researcher in early 2007, and was part of the small team that designed <a href=\"https:\/\/www.microsoft.com\/en-us\/research\/publication\/web-scale-bayesian-click-through-rate-prediction-for-sponsored-search-advertising-in-microsofts-bing-search-engine\/\">adPredictor<\/a>, the algorithm that is now used by Bing and Yahoo! to predict the probability that a use clicks on an ad. In 2009 Joaquin decided to embrace engineering in a product group, and moved to adCenter where he lead the click prediction team. Since end of 2010 Joaquin has lead the Ranking, Allocation and Pricing team. As a side project, Joaquin lead the team that created The Path of Go, a full 3D version of the ancient game of Go for the Xbox 360. Joaquin studied Telecommunications Engineering at the Carlos III University of Madrid, and did a PhD in Machine Learning at the Technical University of Denmark.\r\n\r\n[\/panel]\r\n\r\n[panel header=\"Scarlet Schwiderski-Grosche | Research Program Manager, Microsoft Research\"]\r\n<h2><img class=\"size-full wp-image-201861 alignright\" src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/02\/en-us-events-2011summerschool-schwiderski-grosche.jpg\" alt=\"schwiderski-grosche.jpg\" width=\"101\" height=\"133\" \/><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2011\/02\/sschwiderskigrosche2011.pdf\">The work of Microsoft Research Connections in the region<\/a><\/h2>\r\n<h3>Abstract<\/h3>\r\nMicrosoft Research Connections is an organisation within Microsoft Research. Our aim is to collaborate with the world\u2019s top academic and scientific researchers, institutions, and computer scientists to shape the future of computing in fields such as parallel programming, software engineering, natural user interfaces, and data-intensive scientific research. We provide fellowships, grants, and awards to help foster the next generation of world-class scientists and launch the next critical scientific breakthroughs. The PhD Scholarship Programme is the main Microsoft Research Connections engagement in the EMEA (Europe, Middle East, Africa) region. In this talk, I will give an overview of Microsoft Research Connections and our work in the region.\r\n<h3>Biography<\/h3>\r\nScarlet Schwiderski-Grosche is a Research Program Manager at Microsoft Research Cambridge, working for Microsoft Research Connections in the EMEA region. As such, she is in charge of the Microsoft Research PhD Scholarship Programme and coordinates a number of research projects.\r\n\r\nScarlet 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=\"Don Syme | Principal Researcher, Microsoft Research\"]\r\n<h2><img class=\"size-full wp-image-201857 alignright\" src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/02\/en-us-events-2011summerschool-syme.jpg\" alt=\"syme.jpg\" width=\"101\" height=\"133\" \/><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2011\/02\/dsyme2011.pptx\">F# today, F# tomorrow \u2013 data-rich programming meets functional programming Super-Drug<\/a><\/h2>\r\n<h3>Abstract<\/h3>\r\nProgramming today exhibits a voracious appetite for information, and one of the most important trends in languages today is to make access to data and services fluent and seamless. Come and see the latest from the F# team, and learn a bit about F# as it is today, and see how we are extending F# to instantly embed the analytical or cloud programmer instantly in a world of typed data and services, whether they are cloud, web, enterprise, client or local.\r\n<h3>Biography<\/h3>\r\nDon Syme is a Principal Researcher at Microsoft Research, Cambridge. He is the designer of the F# language, recently released as F# 2.0, including the innovative F# parallel and asynchronous programming model. He is also the co-designer and co-implementer of generics for the .NET CLR, used as a fundamental part of the programming models of C#, F# and Visual Basic, and widely seen as one of the primary language features that differentiates .NET languages from JVM-based languages. Don\u2019s interests currently lie in information-rich typed functional programming for data-analysis, server-side programming and cloud computing.\r\n\r\n[\/panel]\r\n\r\n[panel header=\"Kenji Takeda | Solutions Architect, Microsoft Research\"]\r\n<h2><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2011\/02\/ktakeda2011.pptx\">Cloud computing for research<\/a><\/h2>\r\n<h3>Abstract<\/h3>\r\nIn this talk I will give a general overview of Cloud Computing and show how it is revolutionising the way we can do scientific research. As an example I will present Venus-C, a European project developing a Cloud Computing service for the research community.\r\n<h3>Biography<\/h3>\r\nDr Kenji Takeda is Solution Architect and Technical Manager for the Microsoft Research Connections 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.\r\n\r\nHe 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 has been recipient of the Royal Aeronautical Society Silver Award (2009), Royal Academy of Engineering\/ExxonMobil Gold Medal for Excellence in Engineering Teaching (2007) and Royal Academy of Engineering Education Innovation prize (2006).\r\n\r\n[\/panel]\r\n\r\n[panel header=\"Tennie Videler | Programme Manager: Researchers, Vitae\"]\r\n<h2><img class=\"size-full wp-image-201858 alignright\" src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/02\/en-us-events-2011summerschool-videler.jpg\" alt=\"videler.jpg\" width=\"101\" height=\"133\" \/>Making the most of your PhD; now and in your career<\/h2>\r\n<h3>Abstract<\/h3>\r\nVitae champions the professional, personal and career development of researchers such as yourself. Our website contains information on the logistics of doing a PhD, <a href=\"http:\/\/www.vitae.ac.uk\/researchers\/1228\/Managing-yourself.html\">overcoming obstacles common to postgraduate researchers<\/a>, <a href=\"http:\/\/www.vitae.ac.uk\/researchers\/1234\/Supervision-and-key-relationships.html\">the supervision process<\/a> and <a href=\"http:\/\/www.vitae.ac.uk\/careers\">careers<\/a>, among other useful things.\r\n\r\nDuring this session we will look at some of the logistics of your doctorate, specifically managing your relationship with your supervisor. We will also start thinking about what you might want to do after you have finished your doctorate. There may well be more opportunities open to you than you think!\r\n<h3>Biography<\/h3>\r\nTennie Videler is a programme manager for <a href=\"http:\/\/www.vitae.ac.uk\/\">Vitae<\/a>, which champions the personal, professional and career development of researchers. It has a unique position in the UK, sharing practice between universities, commissioning research and resources and shaping policy. Before that she was a researcher herself, completing a doctorate and a dozen years of post-doctoral research in different fields of structural biology.\r\n\r\nAs the person dedicated to researchers, Tennie writes and commissions resources for researchers and gives talks and runs interactive workshops. She has set up blogs for <a href=\"http:\/\/www.vitae.ac.uk\/rsblog\">research staff<\/a> and postgraduate researchers (the latter called \u2018<a href=\"http:\/\/www.vitae.ac.uk\/whatsupdoc\">What\u2019s up doc?\u2019<\/a> ). Every month she writes <a href=\"http:\/\/www.vitae.ac.uk\/pgrtips\">PGRTips<\/a>, containing practical advice on different aspects of doing a doctorate and careers. Tennie is also involved in some research, such the \u2018What do researchers do?\u2019 publication on the first employment destinations of doctoral graduates.\r\n\r\n[\/panel]\r\n\r\n[panel header=\"Nicolas Villar | Researcher, Microsoft Research\"]\r\n<h2><img class=\"size-full wp-image-201863 alignright\" src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/02\/en-us-events-2011summerschool-villar.jpg\" alt=\"villar.jpg\" width=\"100\" height=\"132\" \/><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2011\/02\/nvillar2011.pdf\">Gadgeteer<\/a><\/h2>\r\n<h3>Abstract<\/h3>\r\nMicrosoft .NET Gadgeteer is a new prototyping platform that makes it easier to construct, program and shape new kinds of computing objects. It is comprised of modular hardware, software libraries and 3D CAD support. Together, these elements support the key activities involved both in the rapid prototyping and the small-scale production of custom embedded, interactive and connected devices.\r\n\r\nIn this talk we will show (through live coding and hardware assembly) how to design, build and program working devices using .NET Gadgeteer. The aim will be to give those present a taster of how Gadgeteer can be used as a tool for researchers and students that need to prototype and build bespoke hardware.\r\n<h3>Biography<\/h3>\r\nNicolas Villar is a researcher in the Computer Mediated Living Group, based at the Microsoft Research lab in Cambridge, UK. He is particularly interested in the use of embedded systems\u2014programmable microcontrollers, wireless communication devices, sensors and actuators\u2014as building blocks in the design of physical interactive objects and user interface devices that are engaging, useful and usable. His current work focuses on understanding and developing technologies that enable interactive devices to be rapidly prototyped, manufactured and deployed into use.\r\n\r\n[\/panel]\r\n\r\n[\/accordion]"},{"id":3,"name":"Posters","content":"<h2>Posters Guidelines<\/h2>\r\nPosters should be designed for A1 portrait (594 mm width x 841 mm height) 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 2009 Summer School."},{"id":4,"name":"Leisure","content":"<h2>Food and Drinks<\/h2>\r\n<ul>\r\n \t<li><a href=\"http:\/\/www.cambridge-pubs.co.uk\/\">Cambridge Pubs Guide<\/a><\/li>\r\n \t<li><a href=\"http:\/\/www.cambridgerestaurants.com\/\">Cambridge Restaurants Guide<\/a><\/li>\r\n<\/ul>\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 title=\"\" href=\"http:\/\/www.anglia.ac.uk\/ruskin\/en\/home\/microsites\/mumford_theatre.html\" target=\"_self\">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\">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<h2>Note<\/h2>\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":"2011-06-27","msr_enddate":"2011-07-01","msr_event_time":"","msr_location":"Cambridge UK","msr_event_link":"","msr_event_recording_link":"","msr_startdate_formatted":"June 27, 2011","msr_register_text":"Watch now","msr_cta_link":"","msr_cta_text":"","msr_cta_bi_name":"","featured_image_thumbnail":null,"event_excerpt":"The sixth Microsoft Research Summer School took place at Microsoft Research in Cambridge, U.K., from 27 June to 1 July 2011. 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\u00a0included PhD students in their first or second\u00a0year from\u00a0universities and research institutions Microsoft Research partners with and\u00a0all\u00a0Microsoft Research\u00a02010 PhD Scholars. Lectures and&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\/199733","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\/199733\/revisions"}],"predecessor-version":[{"id":1147442,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-event\/199733\/revisions\/1147442"}],"wp:attachment":[{"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/media?parent=199733"}],"wp:term":[{"taxonomy":"msr-research-area","embeddable":true,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/research-area?post=199733"},{"taxonomy":"msr-region","embeddable":true,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-region?post=199733"},{"taxonomy":"msr-event-type","embeddable":true,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-event-type?post=199733"},{"taxonomy":"msr-video-type","embeddable":true,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-video-type?post=199733"},{"taxonomy":"msr-locale","embeddable":true,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-locale?post=199733"},{"taxonomy":"msr-program-audience","embeddable":true,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-program-audience?post=199733"},{"taxonomy":"msr-post-option","embeddable":true,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-post-option?post=199733"},{"taxonomy":"msr-impact-theme","embeddable":true,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-impact-theme?post=199733"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}