{"id":271287,"date":"2016-08-05T11:53:10","date_gmt":"2016-08-05T18:53:10","guid":{"rendered":"https:\/\/www.microsoft.com\/en-us\/research\/?post_type=msr-event&#038;p=271287"},"modified":"2025-08-06T11:59:50","modified_gmt":"2025-08-06T18:59:50","slug":"phd-summer-school-2008","status":"publish","type":"msr-event","link":"https:\/\/www.microsoft.com\/en-us\/research\/event\/phd-summer-school-2008\/","title":{"rendered":"PhD Summer School 2008"},"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\" href=\"http:\/\/www.facebook.com\/group.php?gid=28074587109\" target=\"_blank\">MSR Summer School 2008 Facebook Group<span class=\"sr-only\"> (opens in new tab)<\/span><\/a><\/li>\n<li><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/event\/phd-summer-school-2007\/\" target=\"_self\">Summer School 2007<span class=\"sr-only\"> (opens in new tab)<\/span><\/a><\/li>\n<li><a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" href=\"http:\/\/www.cl.cam.ac.uk\/\" target=\"_blank\">Cambridge University Computer Laboratory<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>The third Microsoft Research Summer School was held at Microsoft Research in Cambridge, U.K., on 7 July through 11 July 2008. It included a series of talks of academic interest and posters sessions that gave invited students the opportunity to present their work to Microsoft researchers and a number of Cambridge academics.<\/p>\n<p>The 2008 Summer School was organised in partnership with the <a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" href=\"http:\/\/www.cl.cam.ac.uk\/\" target=\"_blank\">Cambridge University Computer Laboratory<span class=\"sr-only\"> (opens in new tab)<\/span><\/a>. Invited students included all first year PhD students of the Computer Laboratory and all Microsoft Research 2007 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 href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/group_photo.jpg\"><img loading=\"lazy\" decoding=\"async\" class=\"alignnone size-large wp-image-271740\" src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/group_photo-1024x661.jpg\" alt=\"group_photo\" width=\"1024\" height=\"661\" srcset=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/group_photo-1024x661.jpg 1024w, https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/group_photo-300x194.jpg 300w, https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/group_photo-768x496.jpg 768w\" sizes=\"auto, (max-width: 1024px) 100vw, 1024px\" \/><\/a><span id=\"label-external-link\" class=\"sr-only\" aria-hidden=\"true\">Opens in a new tab<\/span><\/p>\n<h2>Tuesday, 8 July 2008<\/h2>\n<ul>\n<li>Research career &#8211; Industry vs. academia, Andrew Herbert (Microsoft Research)<\/li>\n<li>How to write a great research paper, Simon Peyton-Jones (Microsoft Research)<\/li>\n<li>How to give a great research talk, Simon Peyton-Jones (Microsoft Research)<\/li>\n<\/ul>\n<h3>Presentations of past students<\/h3>\n<ul>\n<li>Towards a peer-to-peer file backup system, Alessandro Duminuco (Institut Eur\u00e9com)<\/li>\n<li>Generalizing the discrete analyses of genetic networks using constraints, Fabien Corblin (Universit\u00e9 Joseph Fourier)<\/li>\n<li>Why breaking other kids\u2019 toys (in time) is an achievement in computer science, Georg Wei\u00dfenbacher (ETH Zurich)<\/li>\n<li>Computational prediction of three-dimensional protein structure from NMR chemical shifts, Kai Kohlhoff (University of Cambridge)<\/li>\n<\/ul>\n<h2>Wednesday, 9 July 2008<\/h2>\n<ul>\n<li>Giving a good presentation, Ken Shaw (Benchmark Communication Techniques)<\/li>\n<li>Mind-reading machines, Peter Robinson (University of Cambridge)<\/li>\n<li>Posters sessions<\/li>\n<\/ul>\n<h2>Thursday, 10 July 2008<\/h2>\n<ul>\n<li>Rough guide to being an entrepreneur, Jack Lang (University of Cambridge)<\/li>\n<li>Grand challenges in computer science, Tony Hoare (Microsoft Research)<\/li>\n<li>How does the Internet work?, Richard Black (Microsoft Research)<\/li>\n<li>How to apply for funding? In search of the holy grail, Wouter Spek (European Science Foundation)<\/li>\n<\/ul>\n<h2>Friday, 11 July 2008<\/h2>\n<ul>\n<li>Take control or how to manage your supervisor, Tristram Hooley (vitae)<\/li>\n<li>Write off-loading: Practical power management for enterprise storage, Dushyanth Narayanan (Microsoft Research)<\/li>\n<li>Surface computing: the post-PC experience, Steve Hodges (Microsoft Research)<\/li>\n<li>Enzymatic computing, Klaus Peter Zauner (University of Southampton)<\/li>\n<\/ul>\n<p><span id=\"label-external-link\" class=\"sr-only\" aria-hidden=\"true\">Opens in a new tab<\/span><\/p>\n<h2>Talk Abstracts and Speaker Biographies<\/h2>\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-4320\"}' 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-4320\"\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-4319\"\n\t\t\t\ttype=\"button\"\n\t\t\t>\n\t\t\t\tAndrew Herbert | Managing Director, Microsoft Research\t\t\t<\/button>\n\t\t<\/div>\n\t\t<div\n\t\t\taria-labelledby=\"accordion-button-4319\"\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-4320\"\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-271548 alignright\" src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/andrewherbert.jpg\" alt=\"andrewherbert\" width=\"100\" height=\"132\" \/>Research career &#8211; Industry vs. academia<\/h2>\n<h3>Biography<\/h3>\n<p>Andrew Herbert is the managing director of Microsoft Research in Cambridge. Initially joining Microsoft Research in 2001 as an assistant director, in March 2003 he succeeded the founding director, Roger Needham.<\/p>\n<p>Andrew\u2019s research interests include networks, operating systems, programming languages, and distributed information sharing.<\/p>\n<p>Before joining Microsoft Research in 2001, he was director of Advanced Technology at Citrix Systems, Inc., where he was instrumental in steering the company toward Internet thin-client technologies, initiating development of products for Web-based application deployment and for the emerging application-service-provider market.<\/p>\n<p>Andrew joined Citrix in 1998 from Digitivity, Inc., which he had founded in 1996 to develop a product to enable secure deployment of Java clients for business-to-business applications. Digitivity was a spinoff from APM, Ltd., a research\/consulting company Andrew had founded in 1985. APM managed ANSA, an industry-sponsored program of research and advanced development of distributed-systems technology to support applications integration in enterprisewide systems. The ANSA work included research on support for interactive multimedia services, object technology for World Wide Web applications, distributed-systems management, mobile-object systems, and security for electronic commerce. Herbert led the ANSA technical program, built the ANSA team, created the ANSA architecture, and made it known and respected in the industry.<\/p>\n<p>Andrew is a fellow of Wolfson College Cambridge, England, a member of St John\u2019s College Cambridge, and a liveryman of the City of London Worshipful Company of Information Technologists. In 1975, he graduated from the University of Leeds with a B.Sc. in computational science, and in 1978, he received a Ph.D. from the University of Cambridge in computer 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-4322\"}' 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-4322\"\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-4321\"\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-4321\"\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-4322\"\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-271578 alignright\" src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/simonpeyton-jones.jpg\" alt=\"simonpeyton-jones\" width=\"100\" height=\"132\" \/><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/simonpeytonjones-writingapaper.pptx\">How to write a great research paper<\/a><\/h2>\n<h2><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/simonpeytonjones-givingatalk.pptx\">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-4324\"}' 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-4324\"\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-4323\"\n\t\t\t\ttype=\"button\"\n\t\t\t>\n\t\t\t\tAlessandro Duminuco | 2005 Microsoft PhD Scholar, Institut Eur\u00e9com\t\t\t<\/button>\n\t\t<\/div>\n\t\t<div\n\t\t\taria-labelledby=\"accordion-button-4323\"\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-4324\"\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-271545 alignright\" src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/alessandroduminuco.jpg\" alt=\"alessandroduminuco\" width=\"100\" height=\"132\" \/><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/alessandroduminuco.pptx\">Towards a peer-to-peer file backup system<\/a><\/h2>\n<h3>Abstract<\/h3>\n<p>Peer-to-Peer systems have received a lot of attention in recent years. The key property of Peer-to-Peer systems is self-scaling, i.e. as more peers become part of the system not only the service demand increases but also the service capacity. The research community has shown an increasing interest in the use of P2P systems for file storage. This application can be very attractive for two main reasons: (i) centralized solutions are expensive (ii) common PCs are equipped with high-capacity local disks, often underutilized. The design of a Peer-to-Peer storage system is not a trivial task and presents a considerable number of challenging problems. I will illustrate briefly some of the issues involved, explaining some of the solutions I proposed so far during my Ph.D. thesis.<\/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-4326\"}' 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-4326\"\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-4325\"\n\t\t\t\ttype=\"button\"\n\t\t\t>\n\t\t\t\tFabien Corblin | 2005 Microsoft PhD Scholar, Universit\u00e9 Joseph Fourier\t\t\t<\/button>\n\t\t<\/div>\n\t\t<div\n\t\t\taria-labelledby=\"accordion-button-4325\"\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-4326\"\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-271554 alignright\" src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/fabiencorblin.jpg\" alt=\"fabiencorblin\" width=\"100\" height=\"132\" \/>Generalizing the discrete analyses of genetic networks using constraints<\/h2>\n<h3>Abstract<\/h3>\n<p>Our work generalizes the current existing discrete approaches for analyzing the properties of genetic networks as proposed by Thomas using concepts that are available in constraint programming (CP). Thomas\u2019 networks can be formalized, generalized and implemented using constraints. At the limit the proposed approach combines both aspects of simulation and reverse engineering. The ultimate goal of this work is to allow biologists to explore the combined effects of various types of hypotheses such as the assumed gene interactions and the expected dynamic behavior. We have developed a constraint program that utilizes the assumed hypotheses expressed as data. When the data is interpreted by a CP processor the proposed system is capable of responding to multiple queries that encompass simulation, reverse engineering and hybrid combination of the two. After a presentation of our approach, I will show you the constraint program in action with the following functionalities: combination of simulation and reverse-engineering, addition of hypotheses about the combination of interactions over the genes of the network, creation of mutants, relaxation of constraints in case of incoherence (the data having contradictory effects), and consequently suggestion of refinement of the model.<\/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-4328\"}' 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-4328\"\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-4327\"\n\t\t\t\ttype=\"button\"\n\t\t\t>\n\t\t\t\tGeorg Wei\u00dfenbacher | 2005 Microsoft PhD Scholar, ETH Zurich\t\t\t<\/button>\n\t\t<\/div>\n\t\t<div\n\t\t\taria-labelledby=\"accordion-button-4327\"\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-4328\"\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-271557 alignright\" src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/georgweissenbacher.jpg\" alt=\"georgweissenbacher\" width=\"100\" height=\"132\" \/><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/georgweibenbacher.ppt\">Why breaking other kids\u2019 toys (in time) is an achievement in computer science<\/a><\/h2>\n<h3>Abstract<\/h3>\n<p>Automated software verification is a superb challenge. Unfortunately, in the many years of research in this field, few actual products (if any) have been proven correct beyond doubt. We can, however, look back to a long history of spectacular successes in software falsification (think Ariane 5). The problem is that bugs are usually buried deep in the software and traditional testing techniques just don\u2019t dig deep enough. I will talk about an approach that accelerates the digging, allowing us to dig deeper for bugs and &#8220;break the toy&#8221; before somebody else breaks it unintentionally. I\u2019ll also explain how finding deep bugs in abstract software models can help verifying the actual software.<\/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-4330\"}' 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-4330\"\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-4329\"\n\t\t\t\ttype=\"button\"\n\t\t\t>\n\t\t\t\tKai Kohlhoff | 2005 Microsoft PhD Scholar, University of Cambridge\t\t\t<\/button>\n\t\t<\/div>\n\t\t<div\n\t\t\taria-labelledby=\"accordion-button-4329\"\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-4330\"\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-271563 alignright\" src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/kaikohlhoff.jpg\" alt=\"kaikohlhoff\" width=\"100\" height=\"132\" \/><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/kaikohlhoff.ppt\">Computational prediction of three-dimensional protein structure from NMR chemical shifts<\/a><\/h2>\n<h3>Abstract<\/h3>\n<p>Proteins are involved in virtually every biochemical reaction in a living cell. A protein\u2019s function is strongly dependent on its three-dimensional structure and there is a large interest in the pharmaceutical industry to understand the native structure of proteins in order to perform targeted drug design. Existing experimental techniques offer high spatial resolution, but tend to be costly and time-consuming. A novel method, CamShift-MD, will be presented that is based on relatively easy to perform chemical shift measurements from nuclear magnetic resonance spectroscopy. This method predicts protein structure by introducing restraints into molecular dynamics computer simulations. CamShift-MD offers a new way of automatically generating protein structures based on a combination of experiment and theory. It has the potential to solve structures for which traditional methods are not suitable, such as highly dynamical non-native states. Moreover, the method can be used to determine protein ensembles. Unlike a single, rigid structure, such ensembles reveal information about the distribution of conformations and dynamics of molecules in solution, providing us with a better picture of the behaviour of proteins in the cellular environment.<\/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-4332\"}' 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-4332\"\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-4331\"\n\t\t\t\ttype=\"button\"\n\t\t\t>\n\t\t\t\tKen Shaw | Benchmark Communication Techniques\t\t\t<\/button>\n\t\t<\/div>\n\t\t<div\n\t\t\taria-labelledby=\"accordion-button-4331\"\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-4332\"\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-271566 alignright\" src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/ken20shaw.jpg\" alt=\"ken20shaw\" width=\"100\" height=\"132\" \/>Giving a good presentation<\/h2>\n<h3>Abstract<\/h3>\n<p>Lecture, Presentation or Conversation? We will examine: Who your audience is; What they want; Why you are addressing them; How you handle practical issues like nerves, body language, speech & voice, humour, visual aids etc.; What is success? What is plan B if everything goes wrong; How you recover.<\/p>\n<h3>Biography<\/h3>\n<p>Ken Shaw has taught communication skills to MBA students at Judge Business School for 17 years. He has also taught at Said Business School, London Business School, Cass Business School, Henley Management College, ESMT in Berlin, Bled School of Management plus Leicester, Nottingham and Bristol universities. He has delivered training for commercial clients in France, Germany, Switzerland, The Bahamas, Holland, Norway, America, The Caribbean, Australia and Singapore.<\/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-4334\"}' 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-4334\"\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-4333\"\n\t\t\t\ttype=\"button\"\n\t\t\t>\n\t\t\t\tPeter Robinson | Professor, University of Cambridge\t\t\t<\/button>\n\t\t<\/div>\n\t\t<div\n\t\t\taria-labelledby=\"accordion-button-4333\"\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-4334\"\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-271572 alignright\" src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/peter20robinson.jpg\" alt=\"peter20robinson\" width=\"100\" height=\"132\" \/>Mind-reading machines<\/h2>\n<h3>Abstract<\/h3>\n<p>Facial displays are an important channel for the expression of emotions, and are often thought of as projections of a person\u2019s mental state.Computer systems generally ignore this information.Mind-reading interfaces infer users\u2019 mental states from facial expressions, giving them a degree of emotional intelligence. We use video processing to track two dozen features on the user\u2019s face. These are then interpreted using statistical techniques through a hierarchy of analyses as basic actions, head and facial gestures, and finally groups of mental states. The talk will describe an implementation of facial affect inference, together with an evaluation and some preliminary results of using the system to monitor car drivers.<\/p>\n<h3>Biography<\/h3>\n<p>Peter Robinson is Professor of Computer Technology and Deputy Head of Department at the <a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" target=\"_blank\" href=\"http:\/\/www.cam.ac.uk\/\">University of Cambridge<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.cl.cam.ac.uk\/\">Computer Laboratory<span class=\"sr-only\"> (opens in new tab)<\/span><\/a> in England, where he leads the <a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" target=\"_blank\" href=\"http:\/\/www.cl.cam.ac.uk\/Research\/Rainbow\/\">Rainbow Group<span class=\"sr-only\"> (opens in new tab)<\/span><\/a> working on computer graphics, interaction and electronic CAD. He is also a Fellow, <a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" target=\"_blank\" href=\"http:\/\/www.cai.cam.ac.uk\/students\/graduation\/\">Praelector<span class=\"sr-only\"> (opens in new tab)<\/span><\/a> and Director of Studies in <a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" target=\"_blank\" href=\"http:\/\/www.cai.cam.ac.uk\/admissions\/subjects\/compsci\/\">Computer Science<span class=\"sr-only\"> (opens in new tab)<\/span><\/a> at <a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" target=\"_blank\" href=\"http:\/\/www.cai.cam.ac.uk\/\">Gonville & Caius College<span class=\"sr-only\"> (opens in new tab)<\/span><\/a> where he previously studied for a first degree in Mathematics and a PhD in Computer Science under <a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" target=\"_blank\" href=\"http:\/\/www.cl.cam.ac.uk\/Research\/Rainbow\/people\/neilw.html\">Neil Wiseman<span class=\"sr-only\"> (opens in new tab)<\/span><\/a>.<\/p>\n<p>Professor Robinson\u2019s <a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" target=\"_blank\" href=\"http:\/\/www.cl.cam.ac.uk\/~pr\/research\/\">research<span class=\"sr-only\"> (opens in new tab)<\/span><\/a> concerns problems at the boundary between people and computers. This involves investigating new technologies to enhance communication between computers and their users, and new applications to exploit these technologies. The main focus for this is human-computer interaction, where he has been leading work for some years on the use of video and paper as part of the user interface. The idea is to develop augmented environments in which everyday objects acquire computational properties through user interfaces based on video projection and digital cameras. Recent work has included desk-size projected displays and inference of users\u2019 mental states from video images of their faces.<\/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-4336\"}' 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-4336\"\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-4335\"\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-4335\"\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-4336\"\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-271560 alignright\" src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/jack20lang.jpg\" alt=\"jack20lang\" width=\"100\" height=\"144\" \/><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/jacklang.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-4338\"}' 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-4338\"\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-4337\"\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-4337\"\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-4338\"\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-271587 alignright\" src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/tonyhoare.jpg\" alt=\"tonyhoare\" width=\"100\" height=\"132\" \/><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/tonyhoare.jpg\">Grand challenges in computer science<\/a><\/h2>\n<h3>Abstract<\/h3>\n<p>One way to do great research is to work with a great team, collaborating over an extended timescale, to find answers to fundamental questions that lie at the very basis of your branch of science. I will call such a project a Grand Challenge.<\/p>\n<p>Grand Challenges have long been common in Astronomy (the Hubble telescope) and in Physics (the large hadron collider), and more recently in Genetics (the enumeration of the human genome). Here are six Grand Challenges that have recently been singled out by UK computer scientists for the attention of the research community:<\/p>\n<ul>\n<li>\u2018in vivo = in silico\u2019\u2013 multi-level simulation of the behaviour of biological organisms;<\/li>\n<li>\u2018memories for life\u2019\u2013 rapid recall of a lifetime\u2019s memories;<\/li>\n<li>\u2018architecture of the mind and brain\u2019\u2013 simulation of the relation between them;<\/li>\n<li>\u2018non-classical computation\u2019\u2013 a search for a theory that covers the wide range of computing phenomena in nature;<\/li>\n<li>\u2018ubiquitous computing\u2019\u2013 principles of engineering of the swarms of computers that surround us;<\/li>\n<li>\u2018dependable systems evolution\u2019\u2013 programs that are proved correct by the computer before running them.<\/li>\n<\/ul>\n<p>Can you think of any more? I will talk in more detail about the last of these, which has been my own life-long research interest.<\/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-4340\"}' 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-4340\"\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-4339\"\n\t\t\t\ttype=\"button\"\n\t\t\t>\n\t\t\t\tRichard Black | Research Software Development Engineer, Microsoft Research\t\t\t<\/button>\n\t\t<\/div>\n\t\t<div\n\t\t\taria-labelledby=\"accordion-button-4339\"\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-4340\"\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-271575 alignright\" src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/richardblack.jpg\" alt=\"richardblack\" width=\"100\" height=\"132\" \/><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/richardblack.ppsx\">How does the Internet work?<\/a><\/h2>\n<h3>Abstract<\/h3>\n<p>Could you explain how the Internet works in simple terms to someone else? Are there any gaps in your understanding, or questions you have? In this talk I\u2019ll be giving an introductory description to how it all works.<\/p>\n<h3>Biography<\/h3>\n<p>Richard Black is currently a Research Software Development Engineer at <a href=\"https:\/\/www.microsoft.com\/en-us\/research\/lab\/microsoft-research-cambridge\/\">Microsoft Research Cambridge<\/a>, where he is part of the <a href=\"https:\/\/www.microsoft.com\/en-us\/research\/group\/cambridge-systems-and-networking\/\">Systems and Networking<\/a> group. His research interests include performance analysis of distributed systems, operating systems and networking. Recent projects include: Constellation, and Network Inference. The Network Inference project gave rise to the <a href=\"http:\/\/www.microsoft.com\/windowsvista\/features\/foreveryone\/networking.mspx\">Network Map<\/a> feature of Windows Vista. Underlying the Network Map feature is the <a href=\"http:\/\/www.microsoft.com\/whdc\/connect\/Rally\/LLTD-spec.mspx\">LLTD protocol<\/a> which is licensed by many companies as part of the <a href=\"http:\/\/www.microsoft.com\/whdc\/connect\/rally\/\">Windows Rally<\/a> program.<\/p>\n<p>Richard obtained his B.A. in Computer Science from the <a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" target=\"_blank\" href=\"http:\/\/www.cam.ac.uk\/\">University of Cambridge<span class=\"sr-only\"> (opens in new tab)<\/span><\/a> in 1990 and his Ph.D. addressing issues in operating systems and networking interaction in 1995. After a further three years at the <a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" target=\"_blank\" href=\"http:\/\/www.cl.cam.ac.uk\/\">University of Cambridge Computer Laboratory<span class=\"sr-only\"> (opens in new tab)<\/span><\/a> as a research associate and research fellow he moved in 1997 to a lectureship at the <a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" target=\"_blank\" href=\"http:\/\/www.dcs.gla.ac.uk\/\">University of Glasgow Department of Computing Science<span class=\"sr-only\"> (opens in new tab)<\/span><\/a>. He returned to Cambridge in January 2000, to join the Microsoft Research laboratory, initially as a Researcher. He changed role to Research Software Development Engineer in 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-4342\"}' 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-4342\"\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-4341\"\n\t\t\t\ttype=\"button\"\n\t\t\t>\n\t\t\t\tWouter Spek | Director, EuroBioFund, European Science Foundation\t\t\t<\/button>\n\t\t<\/div>\n\t\t<div\n\t\t\taria-labelledby=\"accordion-button-4341\"\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-4342\"\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-271593 alignright\" src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/wouterspek.jpg\" alt=\"wouterspek\" width=\"100\" height=\"133\" \/><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/wouterspek.ppt\">How to apply for funding? In search of the holy grail<\/a><\/h2>\n<h3>Abstract<\/h3>\n<p>Wouldn\u2019t it be nice to have unlimited sources of funding for your research? Wouldn\u2019t it be nice to have the freedom to operate? Wouldn\u2019t is be nice not to be bothered with constant applying and competing for financial sources? These are some of the topics we will discuss, we will talk about unmet needs and I will give you some pointers how to address the issue of finance and finance acquisition.<\/p>\n<h3>Biography<\/h3>\n<p>Wouter Spek is currently the Director for EuroBioFund at the European Science Foundation, which he joined early in 2006. The aim of EuroBioFund, also supported by the European Commission, is to promote the development of strategic European Research Programmes in the area of life sciences. Dr. Spek received his Ph.D. in biochemistry from Leiden University (1988), with part of the research undertaken at the University of California, San Diego. From there he began his professional career at Senter (1988-1996), the agency of the Ministry of Economic Affairs responsible for all science and technology subsidy programmes, as project advisor\/deputy head of the biotechnology division. Dr. Spek subsequently moved to The Netherlands Organisation for Scientific Research, where he was co-ordinator of the Life Sciences Research Council Earth & Life Sciences (ALW-NWO) (1996-2002). In 2002 he joined the Netherlands Genomic Initiative as Manager for Innovation and International Affairs, where he was involved in bringing together relevant partners for projects, including industrial partners, government agencies, and start-up companies.<\/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-4344\"}' 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-4344\"\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-4343\"\n\t\t\t\ttype=\"button\"\n\t\t\t>\n\t\t\t\tTristram Hooley | Senior Network Manager, vitae\t\t\t<\/button>\n\t\t<\/div>\n\t\t<div\n\t\t\taria-labelledby=\"accordion-button-4343\"\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-4344\"\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-271590 alignright\" src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/tristramhooley.jpg\" alt=\"tristramhooley\" width=\"100\" height=\"132\" \/><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/tristramhooley.ppt\">Take control or how to manage your supervisor<\/a><\/h2>\n<h3>Abstract<\/h3>\n<p>This session will look at how to make supervision work well for you. It will argue that to get the most out of your relationship with your supervisor you will need to be proactive and assertive. In particular the session will encourage you to think about the following issues:<\/p>\n<ul>\n<li>The relative rights and responsibilities of the supervisor and supervisee;<\/li>\n<li>What your supervisor cares about and how you can move up in their priorities;<\/li>\n<li>Strategies that you can use to manage the supervision and make them more useful;<\/li>\n<li>What to do if things go wrong.<\/li>\n<\/ul>\n<h3>Biography<\/h3>\n<p>Tristram Hooley is Senior Network Manager for the <a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" target=\"_blank\" href=\"http:\/\/www.grad.ac.uk\/\">UK GRAD Programme<span class=\"sr-only\"> (opens in new tab)<\/span><\/a> wherehehasresponsibility for liaising between the programme anduniversities.He wrote a PhD on dystopian fiction before goingon to workin various capacities including web design, learning technology, researcher, and skills trainer. He is particularly interested in the career development of researchers, online research methods, social capital and the pedagogy of the research degree.<\/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-4346\"}' 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-4346\"\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-4345\"\n\t\t\t\ttype=\"button\"\n\t\t\t>\n\t\t\t\tDushyanth Narayanan | Researcher, Microsoft Research\t\t\t<\/button>\n\t\t<\/div>\n\t\t<div\n\t\t\taria-labelledby=\"accordion-button-4345\"\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-4346\"\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-271551 alignright\" src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/dushyanthnarayanan.jpg\" alt=\"dushyanthnarayanan\" width=\"100\" height=\"132\" \/><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/dushyanthnarayanan.pptx\">Write off-loading: Practical power management for enterprise storage<\/a><\/h2>\n<h3>Abstract<\/h3>\n<p>In enterprise data centres power usage is a problem impacting server density and the total cost of ownership. Storage uses a significant fraction of the power budget and there are no widely deployed power-saving solutions for enterprise storage systems. The traditional view is that enterprise workloads make spinning disks down ineffective because idle periods are too short. We analyzed block-level traces from 36 volumes in an enterprise data centre for one week and concluded that significant idle periods exist, and that they can be further increased by modifying the read\/write patterns using write off-loading. Write off-loading allows write requests on spun-down disks to be temporarily redirected to persistent storage elsewhere in the data centre. The key challenge is doing this transparently and efficiently at the block level, without sacrificing consistency or failure resilience. We describe our write off-loading design and implementation that achieves these goals. We evaluate it by replaying portions of our traces on a rack-based testbed. Results show that just spinning disks down when idle saves 28\u201336% of energy, and write off-loading further increases the savings to 45\u201360%.<\/p>\n<h3>Biography<\/h3>\n<p>Dushyanth Narayanan is a researcher in the Systems and Networking group at Microsoft Research, Cambridge. His most recent research interest is in reducing the energy consumption and improving the performance of enterprise storage.<\/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-4348\"}' 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-4348\"\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-4347\"\n\t\t\t\ttype=\"button\"\n\t\t\t>\n\t\t\t\tSteve Hodges | Principal Hardware Engineer, Microsoft Research\t\t\t<\/button>\n\t\t<\/div>\n\t\t<div\n\t\t\taria-labelledby=\"accordion-button-4347\"\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-4348\"\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-271581 alignright\" src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/stevehodges.jpg\" alt=\"stevehodges\" width=\"100\" height=\"132\" \/><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/stevehodges.pdf\">Surface computing: the post-PC experience<\/a><\/h2>\n<h3>Abstract<\/h3>\n<p>The long-established \u2018desktop\u2019 computing metaphor continues to drive a lot of our interactions with computers, But at the same time, new interaction paradigms are being developed and we believe that these will increasingly complement the traditional computing experience. To this end, at Microsoft Research we are exploring a number of new interaction technologies along with the novel form factors, user experiences and usage scenarios they enable. This talk will present some of our work on \u2018surface computing\u2019, a new approach to interaction which doesn\u2019t required a keyboard or mouse for input, but which is inherently multi-user and which allows direct manipulation of digital content with hands, fingers and via tangible objects.<\/p>\n<h3>Biography<\/h3>\n<p>Steve Hodges has a background in a broad range of computer-related technologies. His first degree is in Computer Science with Electronic Engineering, from <a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" target=\"_blank\" href=\"http:\/\/www.cs.ucl.ac.uk\/\">University College London<span class=\"sr-only\"> (opens in new tab)<\/span><\/a>, and he received his PhD from <a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" target=\"_blank\" href=\"http:\/\/www.eng.cam.ac.uk\/\">Cambridge University Engineering Department<span class=\"sr-only\"> (opens in new tab)<\/span><\/a> in the area of Robotics and Computer Vision. Prior to joining Microsoft Research, he was the Technical Director of the <a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" target=\"_blank\" href=\"http:\/\/www.autoidlabs.org.uk\/\">Cambridge Auto-ID Lab<span class=\"sr-only\"> (opens in new tab)<\/span><\/a>, where he was involved with many activities, including the global research programme, the US Field Trial, the hardware-oriented action groups and privacy and IP policy development. Due to its success, the work of the Auto-ID Lab has been handed over to <a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" target=\"_blank\" href=\"http:\/\/www.gs1.org\/\">GS1<span class=\"sr-only\"> (opens in new tab)<\/span><\/a> (formerly UCC.EAN, the barcode custodians). Steve has co-authored and presented a number of <a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" target=\"_blank\" href=\"http:\/\/www.autoidlabs.org.uk\/camwhitepapers.html\">Auto-ID Centre white papers<span class=\"sr-only\"> (opens in new tab)<\/span><\/a>, and he has also given presentations to a wide range of audiences on the Auto-ID and EPC system. He was a founding director of the easyEPC RFID training and consultancy company. He worked as a Research Engineer for a number of years at the Olivetti and Oracle Research Lab, which became <a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" target=\"_blank\" href=\"http:\/\/www.cl.cam.ac.uk\/research\/dtg\/attarchive\/\">AT&T Laboratories Cambridge<span class=\"sr-only\"> (opens in new tab)<\/span><\/a> before eventually shutting down in 2002. This lab was internationally recognised as a centre of excellence across a broad range of advanced research into communications, multimedia and mobile technologies.<\/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-4350\"}' 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-4350\"\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-4349\"\n\t\t\t\ttype=\"button\"\n\t\t\t>\n\t\t\t\tKlaus-Peter Zauner | Lecturer, University of Southampton\t\t\t<\/button>\n\t\t<\/div>\n\t\t<div\n\t\t\taria-labelledby=\"accordion-button-4349\"\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-4350\"\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-271569 alignright\" src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/klaus-peterzauner.jpg\" alt=\"klaus-peterzauner\" width=\"100\" height=\"132\" \/><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/klaus-peterzauner.pdf\">Enzymatic computing<\/a><\/h2>\n<h3>Biography<\/h3>\n<p>Klaus-Peter Zauner is a Lecturer in the Science and Engineering of Natural Systems Group of the School of Electronics and Computer Science at the University of Southampton. He was born in Stuttgart, soldered together a Sinclair ZX81 as his first computer and went on to study Biochemistry at the University of Tuebingen. Intrigued by Nature\u2019s molecular scale information processing mechanisms he left Tuebingen in 1992 for Detroit to join Michael Conrad\u2019s Biocomputing Group. Under Michael Conrad\u2019s mentorship he worked on conformational computing and enzymatic computing. Klaus-Peter received his Ph.D. in computer science from Wayne State University, Detroit in 2001. He started his academic career as a Visiting Assistant Professor at Wayne State University, then returned to Europe in 2002 to work with Peter Dittrich in the Bio Systems Analysis Group at the University of Jena, before taking up his current position in 2003. He served on the Governing Board of the International Society of Molecular Electronics and BioComputing and is an Editorial Board Member of the International Journal of Unconventional Computing. He is a Microsoft Research European Fellow (2005) and recipient of a Leverhulme Research Leadership award (2007).<\/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<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-4352\"}' 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-4352\"\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-4351\"\n\t\t\t\ttype=\"button\"\n\t\t\t>\n\t\t\t\tPosters Session 1\t\t\t<\/button>\n\t\t<\/div>\n\t\t<div\n\t\t\taria-labelledby=\"accordion-button-4351\"\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-4352\"\n\t\t>\n\t\t\t<div class=\"msr-accordion__body\">\n\t\t\t\t<ol>\n<li><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/alejandroarbelaez.pdf\" target=\"_self\">Adaptive combinatorial search<\/a>\u00a0|\u00a0Alejandro Arbelaez, INRIA<\/li>\n<li><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/alidapalmisano.pptx\" target=\"_self\">The cycle of modeling, modeling of the cycle<\/a>\u00a0| Alida Palmisano, CoSBi<\/li>\n<li><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/alvarofialho.pdf\" target=\"_new\">Adaptive evolutionary computation<\/a> | \u00c1lvaro Fialho, INRIA<\/li>\n<li><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/amitabharoy.pptx\" target=\"_new\">Adaptive software lock elision<\/a>\u00a0|\u00a0Amitabha Roy, University of Cambridge<\/li>\n<li>Exact JPEG recompression and forensics using interval arithmeticAndrew Lewis, University of Cambridge<\/li>\n<li>Highly sensitive de novo identification of peptides from tandem mass spectra by linear optimization and kinetic modelingAxel Rack, Freie Universit\u00e4t Berlin<\/li>\n<li>Illuminating circadian rhythms with Bayesian inference |\u00a0Ben Calderhead, University of Glasgow<\/li>\n<li><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/bencepasztor.pdf\" target=\"_new\">Code reprogramming and dissemination in mobile WSN<\/a>\u00a0|\u00a0Bence Pasztor, University of Cambridge<\/li>\n<li><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/bogdanciubotaru.pdf\" target=\"_new\">Quality-oriented handover scheme for adaptive multimedia streaming in heterogeneous wireless network environment<\/a>\u00a0|\u00a0Bogdan Ciubotaru, Dublin College University<\/li>\n<li><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/ekaterinashutova.pdf\" target=\"_self\">Probabilistic interpretation of figures of speech<\/a>\u00a0|\u00a0Ekaterina Shutova, University of Cambridge<\/li>\n<\/ol>\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-4354\"}' 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-4354\"\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-4353\"\n\t\t\t\ttype=\"button\"\n\t\t\t>\n\t\t\t\tPosters Session 2\t\t\t<\/button>\n\t\t<\/div>\n\t\t<div\n\t\t\taria-labelledby=\"accordion-button-4353\"\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-4354\"\n\t\t>\n\t\t\t<div class=\"msr-accordion__body\">\n\t\t\t\t<ol>\n<li><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/christianrichardt.pdf\" target=\"_new\">Video abstraction and stylization<\/a>\u00a0|\u00a0Christian Richardt, University of Cambridge<\/li>\n<li><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/danieleborsaro.pdf\" target=\"_new\">Time-aware routing in wireless sensor networks<\/a>\u00a0|\u00a0Daniele Borsaro, University of Cambridge<\/li>\n<li>Towards optical PCI\u00a0|\u00a0David Miller, University of Cambridge<\/li>\n<li><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/derekmurray.pdf\" target=\"_new\">Spread-spectrum computation<\/a> |\u00a0Derek Murray, University of Cambridge<\/li>\n<li>Proof engineering: Refactoring proof |\u00a0Eliot Setzer, University of Edinburgh<\/li>\n<li><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/eugeniogiordano.ppt\" target=\"_new\">Vehicular ad hoc networks<\/a>\u00a0|\u00a0Eugenio Giordano, University of Bologna<\/li>\n<li><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/florianzuleger.pdf\" target=\"_new\">Automatic derivation of loop bounds<\/a>\u00a0|\u00a0Florian Zuleger, Technical University Darmstadt<\/li>\n<li>Mechanized foundations of finite group theory\u00a0(<a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/francoisgarillot-handout.pdf\" target=\"_new\">Handout<\/a>)\u00a0| Francois Garillot, INRIA<\/li>\n<li>New apparatus for characterising molecular computing substrates\u00a0|\u00a0Gareth Jones, University of Southampton<\/li>\n<li><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/ianleung-anilsorathia.pdf\" target=\"_new\">Contact network modeling of flu epidemics<\/a>\u00a0|\u00a0Anilkumar Sorathiya & Ian Leung, University of Cambridge<\/li>\n<\/ol>\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-4356\"}' 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-4356\"\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-4355\"\n\t\t\t\ttype=\"button\"\n\t\t\t>\n\t\t\t\tPosters Session 3\t\t\t<\/button>\n\t\t<\/div>\n\t\t<div\n\t\t\taria-labelledby=\"accordion-button-4355\"\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-4356\"\n\t\t>\n\t\t\t<div class=\"msr-accordion__body\">\n\t\t\t\t<ol>\n<li><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/chrislovell.pdf\" target=\"_new\">Autonomous experimentation methods for characterising molecular computing substrates<\/a>\u00a0|\u00a0Chris Lovell, University of Southampton<\/li>\n<li><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/jonathanmak.pdf\" target=\"_new\">Dynamic dependency graphs \u2013 How much parallelism is out there?<\/a>\u00a0|\u00a0Jonathan Mak, University of Cambridge<\/li>\n<li>Pan-tropical modelling of the impact of land use change on water quantity provision and low flows |\u00a0Jorge Pe\u00f1a Arancibia, King\u2019s College London<\/li>\n<li><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/julienquintard.pdf\" target=\"_new\">The Infinit file system<\/a> |\u00a0Julien Quintard, University of Cambridge<\/li>\n<li><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/laurelriek.pdf\" target=\"_new\">Designing robots for people<\/a> |\u00a0Laurel Riek, University of Cambridge<\/li>\n<li><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/mattridsdale.pdf\" target=\"_new\">Diagrammatic reasoning across multiple domains: The automatic construction of useful diagrams<\/a>\u00a0|\u00a0Matthew Ridsdale, University of Cambridge<\/li>\n<li><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/micheleforlin.pdf\" target=\"_new\">Noise from in-silico biology: A statistical perspective<\/a> |\u00a0Michele Forlin, CoSBi<\/li>\n<li><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/nicktaylor.pdf\" target=\"_new\">Supporting village community through connected situated displays<\/a> |\u00a0Nick Taylor, University of Lancaster<\/li>\n<li><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/olgamorawczynski.pdf\" target=\"_new\">Examining the adoption and usage of m-banking applications in low-income communities: The case of M-PESA in Kenya<\/a>\u00a0|\u00a0Olga Morawczynski, University of Edinburgh<\/li>\n<\/ol>\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-4358\"}' 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-4358\"\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-4357\"\n\t\t\t\ttype=\"button\"\n\t\t\t>\n\t\t\t\tPosters Session 4\t\t\t<\/button>\n\t\t<\/div>\n\t\t<div\n\t\t\taria-labelledby=\"accordion-button-4357\"\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-4358\"\n\t\t>\n\t\t\t<div class=\"msr-accordion__body\">\n\t\t\t\t<ol>\n<li><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/olivierteboul.pptx\" target=\"_new\">Shape grammar and image based 3D reconstruction of buildings<\/a>\u00a0| Olivier Teboul, \u00c9cole Centrale Paris<\/li>\n<li><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/pauldunphy.pdf\" target=\"_new\">The realities of graphical passwords<\/a>\u00a0| Paul Dunphy, Newcastle University<\/li>\n<li><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/philipphennig.pdf\" target=\"_new\">Learning the temperature of a game<\/a>\u00a0| Philipp Hennig, University of Cambridge<\/li>\n<li><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/richardrussell.pdf\" target=\"_new\">Automated planning with goal utility dependencies within a satisfiability framework<\/a>\u00a0| Richard Russell, University of Cambridge<\/li>\n<li><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/robertolarcher.pdf\" target=\"_new\">From BlenX to SBML<\/a>\u00a0| Roberto Larcher, CoSBi<\/li>\n<li><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/ruoshuiliu.ppt\" target=\"_new\">Deployment of wireless sensor networks<\/a>\u00a0| Ruoshui Liu, University of Cambridge<\/li>\n<li><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/sebastianfaust.ppt\" target=\"_new\">Provable security at implementation-level<\/a>\u00a0| Sebastian Faust, Katholieke Universiteit Leuven<\/li>\n<li><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/sherifakoush.pdf\" target=\"_new\">Renewable energy in data centres<\/a>\u00a0| Sherif Akoush, University of Cambridge<\/li>\n<li><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/simonyoussef.ppt\" target=\"_new\">Stochastic modelling of single cell assay data<\/a>\u00a0| Simon Youssef, Ludwig-Maximilians-Universit\u00e4t M\u00fcnchen<\/li>\n<li>Interactive visualization, annotation and processing of terabyte-scale 3D image volumes |\u00a0Tahir Mansoori, University of Oxford<\/li>\n<li>A robust video receiver allowing WIMAX video broadcasting and indoor WIFI retransmission |\u00a0Usman Ali, Sup\u00e9lec<\/li>\n<\/ol>\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>Discussions Themes<\/h2>\n<p>This type of discussions was requested by the students who attended the 2006 Summer School and the students who attended the 2007 Summer School enjoyed them very much. The goal was to make the students think and discuss about a topic or issue of importance and get to know each other.<\/p>\n<p>Each group was asked to share briefly to the other groups the outcome of their discussion.<\/p>\n<h3>Ethics in scientific research<\/h3>\n<ul>\n<li>Discussion leader: Andrew Fitzgibbon (Microsoft Research)<\/li>\n<\/ul>\n<h3>Scientific method in computing research<\/h3>\n<ul>\n<li>Discussion leader: Jon Crowcroft (University of Cambridge)<\/li>\n<\/ul>\n<h3>Computer science education<\/h3>\n<ul>\n<li>Discussion leader: Kevin Bond (Aylesbury Grammar School, Cambridge)<\/li>\n<\/ul>\n<h3>Impact of research<\/h3>\n<ul>\n<li>Discussion leader: Wolfgang Emmerich (University College London)<\/li>\n<\/ul>\n<h3>Being a post-doc &#8211; Academia vs. industry<\/h3>\n<ul>\n<li>Discussion leader: Andrew Phillips (Microsoft Research)<\/li>\n<\/ul>\n<p><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) MSR Summer School 2008 Facebook Group (opens in new tab) Summer School 2007 (opens in new tab) Cambridge University Computer Laboratory (opens in new tab) Opens in a new tab The third Microsoft Research Summer School was held at Microsoft Research in Cambridge, U.K., on 7 July [&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":"2008-07-07","msr_enddate":"2008-07-11","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-271287","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 2008\",\"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\" href=\"http:\/\/www.facebook.com\/group.php?gid=28074587109\" target=\"_blank\">MSR Summer School 2008 Facebook Group<span class=\"sr-only\"> (opens in new tab)<\/span><\/a><\/li>\n<li><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/event\/phd-summer-school-2007\/\" target=\"_self\">Summer School 2007<span class=\"sr-only\"> (opens in new tab)<\/span><\/a><\/li>\n<li><a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" href=\"http:\/\/www.cl.cam.ac.uk\/\" target=\"_blank\">Cambridge University Computer Laboratory<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>The third Microsoft Research Summer School was held at Microsoft Research in Cambridge, U.K., on 7 July through 11 July 2008. It included a series of talks of academic interest and posters sessions that gave invited students the opportunity to present their work to Microsoft researchers and a number of Cambridge academics.<\/p>\n<p>The 2008 Summer School was organised in partnership with the <a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" href=\"http:\/\/www.cl.cam.ac.uk\/\" target=\"_blank\">Cambridge University Computer Laboratory<\/a>. Invited students included all first year PhD students of the Computer Laboratory and all Microsoft Research 2007 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 href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/group_photo.jpg\"><img loading=\"lazy\" decoding=\"async\" class=\"alignnone size-large wp-image-271740\" src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/group_photo-1024x661.jpg\" alt=\"group_photo\" width=\"1024\" height=\"661\" srcset=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/group_photo-1024x661.jpg 1024w, https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/group_photo-300x194.jpg 300w, https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/group_photo-768x496.jpg 768w\" sizes=\"auto, (max-width: 1024px) 100vw, 1024px\" \/><\/a><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>Tuesday, 8 July 2008<\/h2>\n<ul>\n<li>Research career &#8211; Industry vs. academia, Andrew Herbert (Microsoft Research)<\/li>\n<li>How to write a great research paper, Simon Peyton-Jones (Microsoft Research)<\/li>\n<li>How to give a great research talk, Simon Peyton-Jones (Microsoft Research)<\/li>\n<\/ul>\n<h3>Presentations of past students<\/h3>\n<ul>\n<li>Towards a peer-to-peer file backup system, Alessandro Duminuco (Institut Eur\u00e9com)<\/li>\n<li>Generalizing the discrete analyses of genetic networks using constraints, Fabien Corblin (Universit\u00e9 Joseph Fourier)<\/li>\n<li>Why breaking other kids\u2019 toys (in time) is an achievement in computer science, Georg Wei\u00dfenbacher (ETH Zurich)<\/li>\n<li>Computational prediction of three-dimensional protein structure from NMR chemical shifts, Kai Kohlhoff (University of Cambridge)<\/li>\n<\/ul>\n<h2>Wednesday, 9 July 2008<\/h2>\n<ul>\n<li>Giving a good presentation, Ken Shaw (Benchmark Communication Techniques)<\/li>\n<li>Mind-reading machines, Peter Robinson (University of Cambridge)<\/li>\n<li>Posters sessions<\/li>\n<\/ul>\n<h2>Thursday, 10 July 2008<\/h2>\n<ul>\n<li>Rough guide to being an entrepreneur, Jack Lang (University of Cambridge)<\/li>\n<li>Grand challenges in computer science, Tony Hoare (Microsoft Research)<\/li>\n<li>How does the Internet work?, Richard Black (Microsoft Research)<\/li>\n<li>How to apply for funding? In search of the holy grail, Wouter Spek (European Science Foundation)<\/li>\n<\/ul>\n<h2>Friday, 11 July 2008<\/h2>\n<ul>\n<li>Take control or how to manage your supervisor, Tristram Hooley (vitae)<\/li>\n<li>Write off-loading: Practical power management for enterprise storage, Dushyanth Narayanan (Microsoft Research)<\/li>\n<li>Surface computing: the post-PC experience, Steve Hodges (Microsoft Research)<\/li>\n<li>Enzymatic computing, Klaus Peter Zauner (University of Southampton)<\/li>\n<\/ul>\n<p><span id=\"label-external-link\" class=\"sr-only\" aria-hidden=\"true\">Opens in a new tab<\/span><\/p>\n<!-- \/wp:freeform --><!-- \/wp:msr\/content-tab --><!-- wp:msr\/content-tab {\"title\":\"Speakers and Abstracts\"} --><!-- wp:freeform --><h2>Talk Abstracts and Speaker Biographies<\/h2>\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-4320\"}' 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-4320\"\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-4319\"\n\t\t\t\ttype=\"button\"\n\t\t\t>\n\t\t\t\tAndrew Herbert | Managing Director, Microsoft Research\t\t\t<\/button>\n\t\t<\/div>\n\t\t<div\n\t\t\taria-labelledby=\"accordion-button-4319\"\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-4320\"\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-271548 alignright\" src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/andrewherbert.jpg\" alt=\"andrewherbert\" width=\"100\" height=\"132\" \/>Research career &#8211; Industry vs. academia<\/h2>\n<h3>Biography<\/h3>\n<p>Andrew Herbert is the managing director of Microsoft Research in Cambridge. Initially joining Microsoft Research in 2001 as an assistant director, in March 2003 he succeeded the founding director, Roger Needham.<\/p>\n<p>Andrew\u2019s research interests include networks, operating systems, programming languages, and distributed information sharing.<\/p>\n<p>Before joining Microsoft Research in 2001, he was director of Advanced Technology at Citrix Systems, Inc., where he was instrumental in steering the company toward Internet thin-client technologies, initiating development of products for Web-based application deployment and for the emerging application-service-provider market.<\/p>\n<p>Andrew joined Citrix in 1998 from Digitivity, Inc., which he had founded in 1996 to develop a product to enable secure deployment of Java clients for business-to-business applications. Digitivity was a spinoff from APM, Ltd., a research\/consulting company Andrew had founded in 1985. APM managed ANSA, an industry-sponsored program of research and advanced development of distributed-systems technology to support applications integration in enterprisewide systems. The ANSA work included research on support for interactive multimedia services, object technology for World Wide Web applications, distributed-systems management, mobile-object systems, and security for electronic commerce. Herbert led the ANSA technical program, built the ANSA team, created the ANSA architecture, and made it known and respected in the industry.<\/p>\n<p>Andrew is a fellow of Wolfson College Cambridge, England, a member of St John\u2019s College Cambridge, and a liveryman of the City of London Worshipful Company of Information Technologists. In 1975, he graduated from the University of Leeds with a B.Sc. in computational science, and in 1978, he received a Ph.D. from the University of Cambridge in computer 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-4322\"}' 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-4322\"\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-4321\"\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-4321\"\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-4322\"\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-271578 alignright\" src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/simonpeyton-jones.jpg\" alt=\"simonpeyton-jones\" width=\"100\" height=\"132\" \/><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/simonpeytonjones-writingapaper.pptx\">How to write a great research paper<\/a><\/h2>\n<h2><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/simonpeytonjones-givingatalk.pptx\">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-4324\"}' 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-4324\"\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-4323\"\n\t\t\t\ttype=\"button\"\n\t\t\t>\n\t\t\t\tAlessandro Duminuco | 2005 Microsoft PhD Scholar, Institut Eur\u00e9com\t\t\t<\/button>\n\t\t<\/div>\n\t\t<div\n\t\t\taria-labelledby=\"accordion-button-4323\"\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-4324\"\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-271545 alignright\" src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/alessandroduminuco.jpg\" alt=\"alessandroduminuco\" width=\"100\" height=\"132\" \/><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/alessandroduminuco.pptx\">Towards a peer-to-peer file backup system<\/a><\/h2>\n<h3>Abstract<\/h3>\n<p>Peer-to-Peer systems have received a lot of attention in recent years. The key property of Peer-to-Peer systems is self-scaling, i.e. as more peers become part of the system not only the service demand increases but also the service capacity. The research community has shown an increasing interest in the use of P2P systems for file storage. This application can be very attractive for two main reasons: (i) centralized solutions are expensive (ii) common PCs are equipped with high-capacity local disks, often underutilized. The design of a Peer-to-Peer storage system is not a trivial task and presents a considerable number of challenging problems. I will illustrate briefly some of the issues involved, explaining some of the solutions I proposed so far during my Ph.D. thesis.<\/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-4326\"}' 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-4326\"\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-4325\"\n\t\t\t\ttype=\"button\"\n\t\t\t>\n\t\t\t\tFabien Corblin | 2005 Microsoft PhD Scholar, Universit\u00e9 Joseph Fourier\t\t\t<\/button>\n\t\t<\/div>\n\t\t<div\n\t\t\taria-labelledby=\"accordion-button-4325\"\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-4326\"\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-271554 alignright\" src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/fabiencorblin.jpg\" alt=\"fabiencorblin\" width=\"100\" height=\"132\" \/>Generalizing the discrete analyses of genetic networks using constraints<\/h2>\n<h3>Abstract<\/h3>\n<p>Our work generalizes the current existing discrete approaches for analyzing the properties of genetic networks as proposed by Thomas using concepts that are available in constraint programming (CP). Thomas\u2019 networks can be formalized, generalized and implemented using constraints. At the limit the proposed approach combines both aspects of simulation and reverse engineering. The ultimate goal of this work is to allow biologists to explore the combined effects of various types of hypotheses such as the assumed gene interactions and the expected dynamic behavior. We have developed a constraint program that utilizes the assumed hypotheses expressed as data. When the data is interpreted by a CP processor the proposed system is capable of responding to multiple queries that encompass simulation, reverse engineering and hybrid combination of the two. After a presentation of our approach, I will show you the constraint program in action with the following functionalities: combination of simulation and reverse-engineering, addition of hypotheses about the combination of interactions over the genes of the network, creation of mutants, relaxation of constraints in case of incoherence (the data having contradictory effects), and consequently suggestion of refinement of the model.<\/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-4328\"}' 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-4328\"\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-4327\"\n\t\t\t\ttype=\"button\"\n\t\t\t>\n\t\t\t\tGeorg Wei\u00dfenbacher | 2005 Microsoft PhD Scholar, ETH Zurich\t\t\t<\/button>\n\t\t<\/div>\n\t\t<div\n\t\t\taria-labelledby=\"accordion-button-4327\"\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-4328\"\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-271557 alignright\" src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/georgweissenbacher.jpg\" alt=\"georgweissenbacher\" width=\"100\" height=\"132\" \/><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/georgweibenbacher.ppt\">Why breaking other kids\u2019 toys (in time) is an achievement in computer science<\/a><\/h2>\n<h3>Abstract<\/h3>\n<p>Automated software verification is a superb challenge. Unfortunately, in the many years of research in this field, few actual products (if any) have been proven correct beyond doubt. We can, however, look back to a long history of spectacular successes in software falsification (think Ariane 5). The problem is that bugs are usually buried deep in the software and traditional testing techniques just don\u2019t dig deep enough. I will talk about an approach that accelerates the digging, allowing us to dig deeper for bugs and &#8220;break the toy&#8221; before somebody else breaks it unintentionally. I\u2019ll also explain how finding deep bugs in abstract software models can help verifying the actual software.<\/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-4330\"}' 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-4330\"\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-4329\"\n\t\t\t\ttype=\"button\"\n\t\t\t>\n\t\t\t\tKai Kohlhoff | 2005 Microsoft PhD Scholar, University of Cambridge\t\t\t<\/button>\n\t\t<\/div>\n\t\t<div\n\t\t\taria-labelledby=\"accordion-button-4329\"\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-4330\"\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-271563 alignright\" src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/kaikohlhoff.jpg\" alt=\"kaikohlhoff\" width=\"100\" height=\"132\" \/><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/kaikohlhoff.ppt\">Computational prediction of three-dimensional protein structure from NMR chemical shifts<\/a><\/h2>\n<h3>Abstract<\/h3>\n<p>Proteins are involved in virtually every biochemical reaction in a living cell. A protein\u2019s function is strongly dependent on its three-dimensional structure and there is a large interest in the pharmaceutical industry to understand the native structure of proteins in order to perform targeted drug design. Existing experimental techniques offer high spatial resolution, but tend to be costly and time-consuming. A novel method, CamShift-MD, will be presented that is based on relatively easy to perform chemical shift measurements from nuclear magnetic resonance spectroscopy. This method predicts protein structure by introducing restraints into molecular dynamics computer simulations. CamShift-MD offers a new way of automatically generating protein structures based on a combination of experiment and theory. It has the potential to solve structures for which traditional methods are not suitable, such as highly dynamical non-native states. Moreover, the method can be used to determine protein ensembles. Unlike a single, rigid structure, such ensembles reveal information about the distribution of conformations and dynamics of molecules in solution, providing us with a better picture of the behaviour of proteins in the cellular environment.<\/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-4332\"}' 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-4332\"\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-4331\"\n\t\t\t\ttype=\"button\"\n\t\t\t>\n\t\t\t\tKen Shaw | Benchmark Communication Techniques\t\t\t<\/button>\n\t\t<\/div>\n\t\t<div\n\t\t\taria-labelledby=\"accordion-button-4331\"\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-4332\"\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-271566 alignright\" src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/ken20shaw.jpg\" alt=\"ken20shaw\" width=\"100\" height=\"132\" \/>Giving a good presentation<\/h2>\n<h3>Abstract<\/h3>\n<p>Lecture, Presentation or Conversation? We will examine: Who your audience is; What they want; Why you are addressing them; How you handle practical issues like nerves, body language, speech &amp; voice, humour, visual aids etc.; What is success? What is plan B if everything goes wrong; How you recover.<\/p>\n<h3>Biography<\/h3>\n<p>Ken Shaw has taught communication skills to MBA students at Judge Business School for 17 years. He has also taught at Said Business School, London Business School, Cass Business School, Henley Management College, ESMT in Berlin, Bled School of Management plus Leicester, Nottingham and Bristol universities. He has delivered training for commercial clients in France, Germany, Switzerland, The Bahamas, Holland, Norway, America, The Caribbean, Australia and Singapore.<\/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-4334\"}' 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-4334\"\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-4333\"\n\t\t\t\ttype=\"button\"\n\t\t\t>\n\t\t\t\tPeter Robinson | Professor, University of Cambridge\t\t\t<\/button>\n\t\t<\/div>\n\t\t<div\n\t\t\taria-labelledby=\"accordion-button-4333\"\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-4334\"\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-271572 alignright\" src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/peter20robinson.jpg\" alt=\"peter20robinson\" width=\"100\" height=\"132\" \/>Mind-reading machines<\/h2>\n<h3>Abstract<\/h3>\n<p>Facial displays are an important channel for the expression of emotions, and are often thought of as projections of a person\u2019s mental state.Computer systems generally ignore this information.Mind-reading interfaces infer users\u2019 mental states from facial expressions, giving them a degree of emotional intelligence. We use video processing to track two dozen features on the user\u2019s face. These are then interpreted using statistical techniques through a hierarchy of analyses as basic actions, head and facial gestures, and finally groups of mental states. The talk will describe an implementation of facial affect inference, together with an evaluation and some preliminary results of using the system to monitor car drivers.<\/p>\n<h3>Biography<\/h3>\n<p>Peter Robinson is Professor of Computer Technology and Deputy Head of Department at the <a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" target=\"_blank\" href=\"http:\/\/www.cam.ac.uk\/\">University of Cambridge<\/a> <a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" target=\"_blank\" href=\"http:\/\/www.cl.cam.ac.uk\/\">Computer Laboratory<\/a> in England, where he leads the <a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" target=\"_blank\" href=\"http:\/\/www.cl.cam.ac.uk\/Research\/Rainbow\/\">Rainbow Group<\/a> working on computer graphics, interaction and electronic CAD. He is also a Fellow, <a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" target=\"_blank\" href=\"http:\/\/www.cai.cam.ac.uk\/students\/graduation\/\">Praelector<\/a> and Director of Studies in <a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" target=\"_blank\" href=\"http:\/\/www.cai.cam.ac.uk\/admissions\/subjects\/compsci\/\">Computer Science<\/a> at <a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" target=\"_blank\" href=\"http:\/\/www.cai.cam.ac.uk\/\">Gonville &amp; Caius College<\/a> where he previously studied for a first degree in Mathematics and a PhD in Computer Science under <a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" target=\"_blank\" href=\"http:\/\/www.cl.cam.ac.uk\/Research\/Rainbow\/people\/neilw.html\">Neil Wiseman<\/a>.<\/p>\n<p>Professor Robinson\u2019s <a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" target=\"_blank\" href=\"http:\/\/www.cl.cam.ac.uk\/~pr\/research\/\">research<\/a> concerns problems at the boundary between people and computers. This involves investigating new technologies to enhance communication between computers and their users, and new applications to exploit these technologies. The main focus for this is human-computer interaction, where he has been leading work for some years on the use of video and paper as part of the user interface. The idea is to develop augmented environments in which everyday objects acquire computational properties through user interfaces based on video projection and digital cameras. Recent work has included desk-size projected displays and inference of users\u2019 mental states from video images of their faces.<\/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-4336\"}' 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-4336\"\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-4335\"\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-4335\"\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-4336\"\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-271560 alignright\" src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/jack20lang.jpg\" alt=\"jack20lang\" width=\"100\" height=\"144\" \/><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/jacklang.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-4338\"}' 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-4338\"\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-4337\"\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-4337\"\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-4338\"\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-271587 alignright\" src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/tonyhoare.jpg\" alt=\"tonyhoare\" width=\"100\" height=\"132\" \/><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/tonyhoare.jpg\">Grand challenges in computer science<\/a><\/h2>\n<h3>Abstract<\/h3>\n<p>One way to do great research is to work with a great team, collaborating over an extended timescale, to find answers to fundamental questions that lie at the very basis of your branch of science. I will call such a project a Grand Challenge.<\/p>\n<p>Grand Challenges have long been common in Astronomy (the Hubble telescope) and in Physics (the large hadron collider), and more recently in Genetics (the enumeration of the human genome). Here are six Grand Challenges that have recently been singled out by UK computer scientists for the attention of the research community:<\/p>\n<ul>\n<li>\u2018in vivo = in silico\u2019\u2013 multi-level simulation of the behaviour of biological organisms;<\/li>\n<li>\u2018memories for life\u2019\u2013 rapid recall of a lifetime\u2019s memories;<\/li>\n<li>\u2018architecture of the mind and brain\u2019\u2013 simulation of the relation between them;<\/li>\n<li>\u2018non-classical computation\u2019\u2013 a search for a theory that covers the wide range of computing phenomena in nature;<\/li>\n<li>\u2018ubiquitous computing\u2019\u2013 principles of engineering of the swarms of computers that surround us;<\/li>\n<li>\u2018dependable systems evolution\u2019\u2013 programs that are proved correct by the computer before running them.<\/li>\n<\/ul>\n<p>Can you think of any more? I will talk in more detail about the last of these, which has been my own life-long research interest.<\/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-4340\"}' 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-4340\"\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-4339\"\n\t\t\t\ttype=\"button\"\n\t\t\t>\n\t\t\t\tRichard Black | Research Software Development Engineer, Microsoft Research\t\t\t<\/button>\n\t\t<\/div>\n\t\t<div\n\t\t\taria-labelledby=\"accordion-button-4339\"\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-4340\"\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-271575 alignright\" src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/richardblack.jpg\" alt=\"richardblack\" width=\"100\" height=\"132\" \/><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/richardblack.ppsx\">How does the Internet work?<\/a><\/h2>\n<h3>Abstract<\/h3>\n<p>Could you explain how the Internet works in simple terms to someone else? Are there any gaps in your understanding, or questions you have? In this talk I\u2019ll be giving an introductory description to how it all works.<\/p>\n<h3>Biography<\/h3>\n<p>Richard Black is currently a Research Software Development Engineer at <a href=\"https:\/\/www.microsoft.com\/en-us\/research\/lab\/microsoft-research-cambridge\/\">Microsoft Research Cambridge<\/a>, where he is part of the <a href=\"https:\/\/www.microsoft.com\/en-us\/research\/group\/cambridge-systems-and-networking\/\">Systems and Networking<\/a> group. His research interests include performance analysis of distributed systems, operating systems and networking. Recent projects include: Constellation, and Network Inference. The Network Inference project gave rise to the <a href=\"http:\/\/www.microsoft.com\/windowsvista\/features\/foreveryone\/networking.mspx\">Network Map<\/a> feature of Windows Vista. Underlying the Network Map feature is the <a href=\"http:\/\/www.microsoft.com\/whdc\/connect\/Rally\/LLTD-spec.mspx\">LLTD protocol<\/a> which is licensed by many companies as part of the <a href=\"http:\/\/www.microsoft.com\/whdc\/connect\/rally\/\">Windows Rally<\/a> program.<\/p>\n<p>Richard obtained his B.A. in Computer Science from the <a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" target=\"_blank\" href=\"http:\/\/www.cam.ac.uk\/\">University of Cambridge<\/a> in 1990 and his Ph.D. addressing issues in operating systems and networking interaction in 1995. After a further three years at the <a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" target=\"_blank\" href=\"http:\/\/www.cl.cam.ac.uk\/\">University of Cambridge Computer Laboratory<\/a> as a research associate and research fellow he moved in 1997 to a lectureship at the <a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" target=\"_blank\" href=\"http:\/\/www.dcs.gla.ac.uk\/\">University of Glasgow Department of Computing Science<\/a>. He returned to Cambridge in January 2000, to join the Microsoft Research laboratory, initially as a Researcher. He changed role to Research Software Development Engineer in 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-4342\"}' 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-4342\"\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-4341\"\n\t\t\t\ttype=\"button\"\n\t\t\t>\n\t\t\t\tWouter Spek | Director, EuroBioFund, European Science Foundation\t\t\t<\/button>\n\t\t<\/div>\n\t\t<div\n\t\t\taria-labelledby=\"accordion-button-4341\"\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-4342\"\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-271593 alignright\" src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/wouterspek.jpg\" alt=\"wouterspek\" width=\"100\" height=\"133\" \/><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/wouterspek.ppt\">How to apply for funding? In search of the holy grail<\/a><\/h2>\n<h3>Abstract<\/h3>\n<p>Wouldn\u2019t it be nice to have unlimited sources of funding for your research? Wouldn\u2019t it be nice to have the freedom to operate? Wouldn\u2019t is be nice not to be bothered with constant applying and competing for financial sources? These are some of the topics we will discuss, we will talk about unmet needs and I will give you some pointers how to address the issue of finance and finance acquisition.<\/p>\n<h3>Biography<\/h3>\n<p>Wouter Spek is currently the Director for EuroBioFund at the European Science Foundation, which he joined early in 2006. The aim of EuroBioFund, also supported by the European Commission, is to promote the development of strategic European Research Programmes in the area of life sciences. Dr. Spek received his Ph.D. in biochemistry from Leiden University (1988), with part of the research undertaken at the University of California, San Diego. From there he began his professional career at Senter (1988-1996), the agency of the Ministry of Economic Affairs responsible for all science and technology subsidy programmes, as project advisor\/deputy head of the biotechnology division. Dr. Spek subsequently moved to The Netherlands Organisation for Scientific Research, where he was co-ordinator of the Life Sciences Research Council Earth &amp; Life Sciences (ALW-NWO) (1996-2002). In 2002 he joined the Netherlands Genomic Initiative as Manager for Innovation and International Affairs, where he was involved in bringing together relevant partners for projects, including industrial partners, government agencies, and start-up companies.<\/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-4344\"}' 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-4344\"\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-4343\"\n\t\t\t\ttype=\"button\"\n\t\t\t>\n\t\t\t\tTristram Hooley | Senior Network Manager, vitae\t\t\t<\/button>\n\t\t<\/div>\n\t\t<div\n\t\t\taria-labelledby=\"accordion-button-4343\"\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-4344\"\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-271590 alignright\" src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/tristramhooley.jpg\" alt=\"tristramhooley\" width=\"100\" height=\"132\" \/><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/tristramhooley.ppt\">Take control or how to manage your supervisor<\/a><\/h2>\n<h3>Abstract<\/h3>\n<p>This session will look at how to make supervision work well for you. It will argue that to get the most out of your relationship with your supervisor you will need to be proactive and assertive. In particular the session will encourage you to think about the following issues:<\/p>\n<ul>\n<li>The relative rights and responsibilities of the supervisor and supervisee;<\/li>\n<li>What your supervisor cares about and how you can move up in their priorities;<\/li>\n<li>Strategies that you can use to manage the supervision and make them more useful;<\/li>\n<li>What to do if things go wrong.<\/li>\n<\/ul>\n<h3>Biography<\/h3>\n<p>Tristram Hooley is Senior Network Manager for the <a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" target=\"_blank\" href=\"http:\/\/www.grad.ac.uk\/\">UK GRAD Programme<\/a> wherehehasresponsibility for liaising between the programme anduniversities.He wrote a PhD on dystopian fiction before goingon to workin various capacities including web design, learning technology, researcher, and skills trainer. He is particularly interested in the career development of researchers, online research methods, social capital and the pedagogy of the research degree.<\/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-4346\"}' 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-4346\"\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-4345\"\n\t\t\t\ttype=\"button\"\n\t\t\t>\n\t\t\t\tDushyanth Narayanan | Researcher, Microsoft Research\t\t\t<\/button>\n\t\t<\/div>\n\t\t<div\n\t\t\taria-labelledby=\"accordion-button-4345\"\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-4346\"\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-271551 alignright\" src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/dushyanthnarayanan.jpg\" alt=\"dushyanthnarayanan\" width=\"100\" height=\"132\" \/><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/dushyanthnarayanan.pptx\">Write off-loading: Practical power management for enterprise storage<\/a><\/h2>\n<h3>Abstract<\/h3>\n<p>In enterprise data centres power usage is a problem impacting server density and the total cost of ownership. Storage uses a significant fraction of the power budget and there are no widely deployed power-saving solutions for enterprise storage systems. The traditional view is that enterprise workloads make spinning disks down ineffective because idle periods are too short. We analyzed block-level traces from 36 volumes in an enterprise data centre for one week and concluded that significant idle periods exist, and that they can be further increased by modifying the read\/write patterns using write off-loading. Write off-loading allows write requests on spun-down disks to be temporarily redirected to persistent storage elsewhere in the data centre. The key challenge is doing this transparently and efficiently at the block level, without sacrificing consistency or failure resilience. We describe our write off-loading design and implementation that achieves these goals. We evaluate it by replaying portions of our traces on a rack-based testbed. Results show that just spinning disks down when idle saves 28\u201336% of energy, and write off-loading further increases the savings to 45\u201360%.<\/p>\n<h3>Biography<\/h3>\n<p>Dushyanth Narayanan is a researcher in the Systems and Networking group at Microsoft Research, Cambridge. His most recent research interest is in reducing the energy consumption and improving the performance of enterprise storage.<\/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-4348\"}' 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-4348\"\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-4347\"\n\t\t\t\ttype=\"button\"\n\t\t\t>\n\t\t\t\tSteve Hodges | Principal Hardware Engineer, Microsoft Research\t\t\t<\/button>\n\t\t<\/div>\n\t\t<div\n\t\t\taria-labelledby=\"accordion-button-4347\"\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-4348\"\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-271581 alignright\" src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/stevehodges.jpg\" alt=\"stevehodges\" width=\"100\" height=\"132\" \/><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/stevehodges.pdf\">Surface computing: the post-PC experience<\/a><\/h2>\n<h3>Abstract<\/h3>\n<p>The long-established \u2018desktop\u2019 computing metaphor continues to drive a lot of our interactions with computers, But at the same time, new interaction paradigms are being developed and we believe that these will increasingly complement the traditional computing experience. To this end, at Microsoft Research we are exploring a number of new interaction technologies along with the novel form factors, user experiences and usage scenarios they enable. This talk will present some of our work on \u2018surface computing\u2019, a new approach to interaction which doesn\u2019t required a keyboard or mouse for input, but which is inherently multi-user and which allows direct manipulation of digital content with hands, fingers and via tangible objects.<\/p>\n<h3>Biography<\/h3>\n<p>Steve Hodges has a background in a broad range of computer-related technologies. His first degree is in Computer Science with Electronic Engineering, from <a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" target=\"_blank\" href=\"http:\/\/www.cs.ucl.ac.uk\/\">University College London<\/a>, and he received his PhD from <a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" target=\"_blank\" href=\"http:\/\/www.eng.cam.ac.uk\/\">Cambridge University Engineering Department<\/a> in the area of Robotics and Computer Vision. Prior to joining Microsoft Research, he was the Technical Director of the <a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" target=\"_blank\" href=\"http:\/\/www.autoidlabs.org.uk\/\">Cambridge Auto-ID Lab<\/a>, where he was involved with many activities, including the global research programme, the US Field Trial, the hardware-oriented action groups and privacy and IP policy development. Due to its success, the work of the Auto-ID Lab has been handed over to <a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" target=\"_blank\" href=\"http:\/\/www.gs1.org\/\">GS1<\/a> (formerly UCC.EAN, the barcode custodians). Steve has co-authored and presented a number of <a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" target=\"_blank\" href=\"http:\/\/www.autoidlabs.org.uk\/camwhitepapers.html\">Auto-ID Centre white papers<\/a>, and he has also given presentations to a wide range of audiences on the Auto-ID and EPC system. He was a founding director of the easyEPC RFID training and consultancy company. He worked as a Research Engineer for a number of years at the Olivetti and Oracle Research Lab, which became <a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" target=\"_blank\" href=\"http:\/\/www.cl.cam.ac.uk\/research\/dtg\/attarchive\/\">AT&amp;T Laboratories Cambridge<\/a> before eventually shutting down in 2002. This lab was internationally recognised as a centre of excellence across a broad range of advanced research into communications, multimedia and mobile technologies.<\/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-4350\"}' 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-4350\"\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-4349\"\n\t\t\t\ttype=\"button\"\n\t\t\t>\n\t\t\t\tKlaus-Peter Zauner | Lecturer, University of Southampton\t\t\t<\/button>\n\t\t<\/div>\n\t\t<div\n\t\t\taria-labelledby=\"accordion-button-4349\"\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-4350\"\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-271569 alignright\" src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/klaus-peterzauner.jpg\" alt=\"klaus-peterzauner\" width=\"100\" height=\"132\" \/><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/klaus-peterzauner.pdf\">Enzymatic computing<\/a><\/h2>\n<h3>Biography<\/h3>\n<p>Klaus-Peter Zauner is a Lecturer in the Science and Engineering of Natural Systems Group of the School of Electronics and Computer Science at the University of Southampton. He was born in Stuttgart, soldered together a Sinclair ZX81 as his first computer and went on to study Biochemistry at the University of Tuebingen. Intrigued by Nature\u2019s molecular scale information processing mechanisms he left Tuebingen in 1992 for Detroit to join Michael Conrad\u2019s Biocomputing Group. Under Michael Conrad\u2019s mentorship he worked on conformational computing and enzymatic computing. Klaus-Peter received his Ph.D. in computer science from Wayne State University, Detroit in 2001. He started his academic career as a Visiting Assistant Professor at Wayne State University, then returned to Europe in 2002 to work with Peter Dittrich in the Bio Systems Analysis Group at the University of Jena, before taking up his current position in 2003. He served on the Governing Board of the International Society of Molecular Electronics and BioComputing and is an Editorial Board Member of the International Journal of Unconventional Computing. He is a Microsoft Research European Fellow (2005) and recipient of a Leverhulme Research Leadership award (2007).<\/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 --><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-4352\"}' 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-4352\"\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-4351\"\n\t\t\t\ttype=\"button\"\n\t\t\t>\n\t\t\t\tPosters Session 1\t\t\t<\/button>\n\t\t<\/div>\n\t\t<div\n\t\t\taria-labelledby=\"accordion-button-4351\"\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-4352\"\n\t\t>\n\t\t\t<div class=\"msr-accordion__body\">\n\t\t\t\t<ol>\n<li><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/alejandroarbelaez.pdf\" target=\"_self\">Adaptive combinatorial search<\/a>\u00a0|\u00a0Alejandro Arbelaez, INRIA<\/li>\n<li><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/alidapalmisano.pptx\" target=\"_self\">The cycle of modeling, modeling of the cycle<\/a>\u00a0| Alida Palmisano, CoSBi<\/li>\n<li><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/alvarofialho.pdf\" target=\"_new\">Adaptive evolutionary computation<\/a> | \u00c1lvaro Fialho, INRIA<\/li>\n<li><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/amitabharoy.pptx\" target=\"_new\">Adaptive software lock elision<\/a>\u00a0|\u00a0Amitabha Roy, University of Cambridge<\/li>\n<li>Exact JPEG recompression and forensics using interval arithmeticAndrew Lewis, University of Cambridge<\/li>\n<li>Highly sensitive de novo identification of peptides from tandem mass spectra by linear optimization and kinetic modelingAxel Rack, Freie Universit\u00e4t Berlin<\/li>\n<li>Illuminating circadian rhythms with Bayesian inference |\u00a0Ben Calderhead, University of Glasgow<\/li>\n<li><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/bencepasztor.pdf\" target=\"_new\">Code reprogramming and dissemination in mobile WSN<\/a>\u00a0|\u00a0Bence Pasztor, University of Cambridge<\/li>\n<li><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/bogdanciubotaru.pdf\" target=\"_new\">Quality-oriented handover scheme for adaptive multimedia streaming in heterogeneous wireless network environment<\/a>\u00a0|\u00a0Bogdan Ciubotaru, Dublin College University<\/li>\n<li><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/ekaterinashutova.pdf\" target=\"_self\">Probabilistic interpretation of figures of speech<\/a>\u00a0|\u00a0Ekaterina Shutova, University of Cambridge<\/li>\n<\/ol>\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-4354\"}' 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-4354\"\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-4353\"\n\t\t\t\ttype=\"button\"\n\t\t\t>\n\t\t\t\tPosters Session 2\t\t\t<\/button>\n\t\t<\/div>\n\t\t<div\n\t\t\taria-labelledby=\"accordion-button-4353\"\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-4354\"\n\t\t>\n\t\t\t<div class=\"msr-accordion__body\">\n\t\t\t\t<ol>\n<li><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/christianrichardt.pdf\" target=\"_new\">Video abstraction and stylization<\/a>\u00a0|\u00a0Christian Richardt, University of Cambridge<\/li>\n<li><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/danieleborsaro.pdf\" target=\"_new\">Time-aware routing in wireless sensor networks<\/a>\u00a0|\u00a0Daniele Borsaro, University of Cambridge<\/li>\n<li>Towards optical PCI\u00a0|\u00a0David Miller, University of Cambridge<\/li>\n<li><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/derekmurray.pdf\" target=\"_new\">Spread-spectrum computation<\/a> |\u00a0Derek Murray, University of Cambridge<\/li>\n<li>Proof engineering: Refactoring proof |\u00a0Eliot Setzer, University of Edinburgh<\/li>\n<li><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/eugeniogiordano.ppt\" target=\"_new\">Vehicular ad hoc networks<\/a>\u00a0|\u00a0Eugenio Giordano, University of Bologna<\/li>\n<li><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/florianzuleger.pdf\" target=\"_new\">Automatic derivation of loop bounds<\/a>\u00a0|\u00a0Florian Zuleger, Technical University Darmstadt<\/li>\n<li>Mechanized foundations of finite group theory\u00a0(<a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/francoisgarillot-handout.pdf\" target=\"_new\">Handout<\/a>)\u00a0| Francois Garillot, INRIA<\/li>\n<li>New apparatus for characterising molecular computing substrates\u00a0|\u00a0Gareth Jones, University of Southampton<\/li>\n<li><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/ianleung-anilsorathia.pdf\" target=\"_new\">Contact network modeling of flu epidemics<\/a>\u00a0|\u00a0Anilkumar Sorathiya &amp; Ian Leung, University of Cambridge<\/li>\n<\/ol>\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-4356\"}' 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-4356\"\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-4355\"\n\t\t\t\ttype=\"button\"\n\t\t\t>\n\t\t\t\tPosters Session 3\t\t\t<\/button>\n\t\t<\/div>\n\t\t<div\n\t\t\taria-labelledby=\"accordion-button-4355\"\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-4356\"\n\t\t>\n\t\t\t<div class=\"msr-accordion__body\">\n\t\t\t\t<ol>\n<li><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/chrislovell.pdf\" target=\"_new\">Autonomous experimentation methods for characterising molecular computing substrates<\/a>\u00a0|\u00a0Chris Lovell, University of Southampton<\/li>\n<li><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/jonathanmak.pdf\" target=\"_new\">Dynamic dependency graphs \u2013 How much parallelism is out there?<\/a>\u00a0|\u00a0Jonathan Mak, University of Cambridge<\/li>\n<li>Pan-tropical modelling of the impact of land use change on water quantity provision and low flows |\u00a0Jorge Pe\u00f1a Arancibia, King\u2019s College London<\/li>\n<li><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/julienquintard.pdf\" target=\"_new\">The Infinit file system<\/a> |\u00a0Julien Quintard, University of Cambridge<\/li>\n<li><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/laurelriek.pdf\" target=\"_new\">Designing robots for people<\/a> |\u00a0Laurel Riek, University of Cambridge<\/li>\n<li><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/mattridsdale.pdf\" target=\"_new\">Diagrammatic reasoning across multiple domains: The automatic construction of useful diagrams<\/a>\u00a0|\u00a0Matthew Ridsdale, University of Cambridge<\/li>\n<li><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/micheleforlin.pdf\" target=\"_new\">Noise from in-silico biology: A statistical perspective<\/a> |\u00a0Michele Forlin, CoSBi<\/li>\n<li><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/nicktaylor.pdf\" target=\"_new\">Supporting village community through connected situated displays<\/a> |\u00a0Nick Taylor, University of Lancaster<\/li>\n<li><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/olgamorawczynski.pdf\" target=\"_new\">Examining the adoption and usage of m-banking applications in low-income communities: The case of M-PESA in Kenya<\/a>\u00a0|\u00a0Olga Morawczynski, University of Edinburgh<\/li>\n<\/ol>\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-4358\"}' 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-4358\"\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-4357\"\n\t\t\t\ttype=\"button\"\n\t\t\t>\n\t\t\t\tPosters Session 4\t\t\t<\/button>\n\t\t<\/div>\n\t\t<div\n\t\t\taria-labelledby=\"accordion-button-4357\"\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-4358\"\n\t\t>\n\t\t\t<div class=\"msr-accordion__body\">\n\t\t\t\t<ol>\n<li><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/olivierteboul.pptx\" target=\"_new\">Shape grammar and image based 3D reconstruction of buildings<\/a>\u00a0| Olivier Teboul, \u00c9cole Centrale Paris<\/li>\n<li><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/pauldunphy.pdf\" target=\"_new\">The realities of graphical passwords<\/a>\u00a0| Paul Dunphy, Newcastle University<\/li>\n<li><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/philipphennig.pdf\" target=\"_new\">Learning the temperature of a game<\/a>\u00a0| Philipp Hennig, University of Cambridge<\/li>\n<li><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/richardrussell.pdf\" target=\"_new\">Automated planning with goal utility dependencies within a satisfiability framework<\/a>\u00a0| Richard Russell, University of Cambridge<\/li>\n<li><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/robertolarcher.pdf\" target=\"_new\">From BlenX to SBML<\/a>\u00a0| Roberto Larcher, CoSBi<\/li>\n<li><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/ruoshuiliu.ppt\" target=\"_new\">Deployment of wireless sensor networks<\/a>\u00a0| Ruoshui Liu, University of Cambridge<\/li>\n<li><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/sebastianfaust.ppt\" target=\"_new\">Provable security at implementation-level<\/a>\u00a0| Sebastian Faust, Katholieke Universiteit Leuven<\/li>\n<li><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/sherifakoush.pdf\" target=\"_new\">Renewable energy in data centres<\/a>\u00a0| Sherif Akoush, University of Cambridge<\/li>\n<li><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/simonyoussef.ppt\" target=\"_new\">Stochastic modelling of single cell assay data<\/a>\u00a0| Simon Youssef, Ludwig-Maximilians-Universit\u00e4t M\u00fcnchen<\/li>\n<li>Interactive visualization, annotation and processing of terabyte-scale 3D image volumes |\u00a0Tahir Mansoori, University of Oxford<\/li>\n<li>A robust video receiver allowing WIMAX video broadcasting and indoor WIFI retransmission |\u00a0Usman Ali, Sup\u00e9lec<\/li>\n<\/ol>\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\":\"Discussions Themes\"} --><!-- wp:freeform --><h2>Discussions Themes<\/h2>\n<p>This type of discussions was requested by the students who attended the 2006 Summer School and the students who attended the 2007 Summer School enjoyed them very much. The goal was to make the students think and discuss about a topic or issue of importance and get to know each other.<\/p>\n<p>Each group was asked to share briefly to the other groups the outcome of their discussion.<\/p>\n<h3>Ethics in scientific research<\/h3>\n<ul>\n<li>Discussion leader: Andrew Fitzgibbon (Microsoft Research)<\/li>\n<\/ul>\n<h3>Scientific method in computing research<\/h3>\n<ul>\n<li>Discussion leader: Jon Crowcroft (University of Cambridge)<\/li>\n<\/ul>\n<h3>Computer science education<\/h3>\n<ul>\n<li>Discussion leader: Kevin Bond (Aylesbury Grammar School, Cambridge)<\/li>\n<\/ul>\n<h3>Impact of research<\/h3>\n<ul>\n<li>Discussion leader: Wolfgang Emmerich (University College London)<\/li>\n<\/ul>\n<h3>Being a post-doc &#8211; Academia vs. industry<\/h3>\n<ul>\n<li>Discussion leader: Andrew Phillips (Microsoft Research)<\/li>\n<\/ul>\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-tabs -->","tab-content":[{"id":0,"name":"About","content":"The third Microsoft Research Summer School was held at Microsoft Research in Cambridge, U.K., on 7 July through 11 July 2008. It included a series of talks of academic interest and posters sessions that gave invited students the opportunity to present their work to Microsoft researchers and a number of Cambridge academics.\r\n\r\nThe 2008 Summer School was organised in partnership with the <a href=\"http:\/\/www.cl.cam.ac.uk\/\" target=\"_new\">Cambridge University Computer Laboratory<\/a>. Invited students included all first year PhD students of the Computer Laboratory and all Microsoft Research 2007 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 href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/group_photo.jpg\"><img class=\"alignnone size-large wp-image-271740\" src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/group_photo-1024x661.jpg\" alt=\"group_photo\" width=\"1024\" height=\"661\" \/><\/a>"},{"id":1,"name":"Agenda","content":"<h2>Tuesday, 8 July 2008<\/h2>\r\n<ul>\r\n \t<li>Research career - Industry vs. academia, Andrew Herbert (Microsoft Research)<\/li>\r\n \t<li>How to write a great research paper, Simon Peyton-Jones (Microsoft Research)<\/li>\r\n \t<li>How to give a great research talk, Simon Peyton-Jones (Microsoft Research)<\/li>\r\n<\/ul>\r\n<h3>Presentations of past students<\/h3>\r\n<ul>\r\n \t<li>Towards a peer-to-peer file backup system, Alessandro Duminuco (Institut Eur\u00e9com)<\/li>\r\n \t<li>Generalizing the discrete analyses of genetic networks using constraints, Fabien Corblin (Universit\u00e9 Joseph Fourier)<\/li>\r\n \t<li>Why breaking other kids\u2019 toys (in time) is an achievement in computer science, Georg Wei\u00dfenbacher (ETH Zurich)<\/li>\r\n \t<li>Computational prediction of three-dimensional protein structure from NMR chemical shifts, Kai Kohlhoff (University of Cambridge)<\/li>\r\n<\/ul>\r\n<h2>Wednesday, 9 July 2008<\/h2>\r\n<ul>\r\n \t<li>Giving a good presentation, Ken Shaw (Benchmark Communication Techniques)<\/li>\r\n \t<li>Mind-reading machines, Peter Robinson (University of Cambridge)<\/li>\r\n \t<li>Posters sessions<\/li>\r\n<\/ul>\r\n<h2>Thursday, 10 July 2008<\/h2>\r\n<ul>\r\n \t<li>Rough guide to being an entrepreneur, Jack Lang (University of Cambridge)<\/li>\r\n \t<li>Grand challenges in computer science, Tony Hoare (Microsoft Research)<\/li>\r\n \t<li>How does the Internet work?, Richard Black (Microsoft Research)<\/li>\r\n \t<li>How to apply for funding? In search of the holy grail, Wouter Spek (European Science Foundation)<\/li>\r\n<\/ul>\r\n<h2>Friday, 11 July 2008<\/h2>\r\n<ul>\r\n \t<li>Take control or how to manage your supervisor, Tristram Hooley (vitae)<\/li>\r\n \t<li>Write off-loading: Practical power management for enterprise storage, Dushyanth Narayanan (Microsoft Research)<\/li>\r\n \t<li>Surface computing: the post-PC experience, Steve Hodges (Microsoft Research)<\/li>\r\n \t<li>Enzymatic computing, Klaus Peter Zauner (University of Southampton)<\/li>\r\n<\/ul>"},{"id":2,"name":"Speakers and Abstracts","content":"<h2>Talk Abstracts and Speaker Biographies<\/h2>\r\n[accordion]\r\n\r\n[panel header=\"Andrew Herbert | Managing Director, Microsoft Research\"]\r\n<h2><img class=\"size-full wp-image-271548 alignright\" src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/andrewherbert.jpg\" alt=\"andrewherbert\" width=\"100\" height=\"132\" \/>Research career - Industry vs. academia<\/h2>\r\n<h3>Biography<\/h3>\r\nAndrew Herbert is the managing director of Microsoft Research in Cambridge. Initially joining Microsoft Research in 2001 as an assistant director, in March 2003 he succeeded the founding director, Roger Needham.\r\n\r\nAndrew\u2019s research interests include networks, operating systems, programming languages, and distributed information sharing.\r\n\r\nBefore joining Microsoft Research in 2001, he was director of Advanced Technology at Citrix Systems, Inc., where he was instrumental in steering the company toward Internet thin-client technologies, initiating development of products for Web-based application deployment and for the emerging application-service-provider market.\r\n\r\nAndrew joined Citrix in 1998 from Digitivity, Inc., which he had founded in 1996 to develop a product to enable secure deployment of Java clients for business-to-business applications. Digitivity was a spinoff from APM, Ltd., a research\/consulting company Andrew had founded in 1985. APM managed ANSA, an industry-sponsored program of research and advanced development of distributed-systems technology to support applications integration in enterprisewide systems. The ANSA work included research on support for interactive multimedia services, object technology for World Wide Web applications, distributed-systems management, mobile-object systems, and security for electronic commerce. Herbert led the ANSA technical program, built the ANSA team, created the ANSA architecture, and made it known and respected in the industry.\r\n\r\nAndrew is a fellow of Wolfson College Cambridge, England, a member of St John\u2019s College Cambridge, and a liveryman of the City of London Worshipful Company of Information Technologists. In 1975, he graduated from the University of Leeds with a B.Sc. in computational science, and in 1978, he received a Ph.D. from the University of Cambridge in computer science.\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-271578 alignright\" src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/simonpeyton-jones.jpg\" alt=\"simonpeyton-jones\" width=\"100\" height=\"132\" \/><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/simonpeytonjones-writingapaper.pptx\">How to write a great research paper<\/a><\/h2>\r\n<h2><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/simonpeytonjones-givingatalk.pptx\">How to give a great research talk<\/a><\/h2>\r\n<h3>Abstract<\/h3>\r\nWriting papers and giving talks are key skills for any researcher, but they aren\u2019t easy. In this pair of presentations, I\u2019ll describe simple guidelines that I follow for writing papers and giving talks, which I think may be useful to you too. I don\u2019t have all the answers \u2013 far from it \u2013 and I hope that the presentation will evolve into a discussion in which you share your own insights, rather than a lecture.\r\n<h3>Biography<\/h3>\r\nSimon Peyton Jones, MA, MBCS, CEng, graduated from Trinity College Cambridge in 1980. After two years in industry, he spent seven years as a lecturer at University College London, and nine years as a professor at Glasgow University, before moving to Microsoft Research in 1998. His main research interest is in functional programming languages, their implementation, and their application. He has led a succession of research projects focused around the design and implementation of production-quality functional-language systems for both uniprocessors and parallel machines. He was a key contributor to the design of the now-standard functional language Haskell, and is the lead designer of the widely-used Glasgow Haskell Compiler (GHC). He has written two textbooks about the implementation of functional languages. More generally, he is interested in language design, rich type systems, software component architectures, compiler technology, code generation, runtime systems, virtual machines, garbage collection, and so on. He is particularly motivated by direct use of principled theory to practical language design and implementation \u2013 that\u2019s one reason he loves functional programming so much. He is also keen to apply ideas from advanced programming languages to mainstream settings.\r\n\r\n[\/panel]\r\n\r\n[panel header=\"Alessandro Duminuco | 2005 Microsoft PhD Scholar, Institut Eur\u00e9com\"]\r\n<h2><img class=\"size-full wp-image-271545 alignright\" src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/alessandroduminuco.jpg\" alt=\"alessandroduminuco\" width=\"100\" height=\"132\" \/><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/alessandroduminuco.pptx\">Towards a peer-to-peer file backup system<\/a><\/h2>\r\n<h3>Abstract<\/h3>\r\nPeer-to-Peer systems have received a lot of attention in recent years. The key property of Peer-to-Peer systems is self-scaling, i.e. as more peers become part of the system not only the service demand increases but also the service capacity. The research community has shown an increasing interest in the use of P2P systems for file storage. This application can be very attractive for two main reasons: (i) centralized solutions are expensive (ii) common PCs are equipped with high-capacity local disks, often underutilized. The design of a Peer-to-Peer storage system is not a trivial task and presents a considerable number of challenging problems. I will illustrate briefly some of the issues involved, explaining some of the solutions I proposed so far during my Ph.D. thesis.\r\n\r\n[\/panel]\r\n\r\n[panel header=\"Fabien Corblin | 2005 Microsoft PhD Scholar, Universit\u00e9 Joseph Fourier\"]\r\n<h2><img class=\"size-full wp-image-271554 alignright\" src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/fabiencorblin.jpg\" alt=\"fabiencorblin\" width=\"100\" height=\"132\" \/>Generalizing the discrete analyses of genetic networks using constraints<\/h2>\r\n<h3>Abstract<\/h3>\r\nOur work generalizes the current existing discrete approaches for analyzing the properties of genetic networks as proposed by Thomas using concepts that are available in constraint programming (CP). Thomas\u2019 networks can be formalized, generalized and implemented using constraints. At the limit the proposed approach combines both aspects of simulation and reverse engineering. The ultimate goal of this work is to allow biologists to explore the combined effects of various types of hypotheses such as the assumed gene interactions and the expected dynamic behavior. We have developed a constraint program that utilizes the assumed hypotheses expressed as data. When the data is interpreted by a CP processor the proposed system is capable of responding to multiple queries that encompass simulation, reverse engineering and hybrid combination of the two. After a presentation of our approach, I will show you the constraint program in action with the following functionalities: combination of simulation and reverse-engineering, addition of hypotheses about the combination of interactions over the genes of the network, creation of mutants, relaxation of constraints in case of incoherence (the data having contradictory effects), and consequently suggestion of refinement of the model.\r\n\r\n[\/panel]\r\n\r\n[panel header=\"Georg Wei\u00dfenbacher | 2005 Microsoft PhD Scholar, ETH Zurich\"]\r\n<h2><img class=\"size-full wp-image-271557 alignright\" src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/georgweissenbacher.jpg\" alt=\"georgweissenbacher\" width=\"100\" height=\"132\" \/><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/georgweibenbacher.ppt\">Why breaking other kids\u2019 toys (in time) is an achievement in computer science<\/a><\/h2>\r\n<h3>Abstract<\/h3>\r\nAutomated software verification is a superb challenge. Unfortunately, in the many years of research in this field, few actual products (if any) have been proven correct beyond doubt. We can, however, look back to a long history of spectacular successes in software falsification (think Ariane 5). The problem is that bugs are usually buried deep in the software and traditional testing techniques just don\u2019t dig deep enough. I will talk about an approach that accelerates the digging, allowing us to dig deeper for bugs and \"break the toy\" before somebody else breaks it unintentionally. I\u2019ll also explain how finding deep bugs in abstract software models can help verifying the actual software.\r\n\r\n[\/panel]\r\n\r\n[panel header=\"Kai Kohlhoff | 2005 Microsoft PhD Scholar, University of Cambridge\"]\r\n<h2><img class=\"size-full wp-image-271563 alignright\" src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/kaikohlhoff.jpg\" alt=\"kaikohlhoff\" width=\"100\" height=\"132\" \/><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/kaikohlhoff.ppt\">Computational prediction of three-dimensional protein structure from NMR chemical shifts<\/a><\/h2>\r\n<h3>Abstract<\/h3>\r\nProteins are involved in virtually every biochemical reaction in a living cell. A protein\u2019s function is strongly dependent on its three-dimensional structure and there is a large interest in the pharmaceutical industry to understand the native structure of proteins in order to perform targeted drug design. Existing experimental techniques offer high spatial resolution, but tend to be costly and time-consuming. A novel method, CamShift-MD, will be presented that is based on relatively easy to perform chemical shift measurements from nuclear magnetic resonance spectroscopy. This method predicts protein structure by introducing restraints into molecular dynamics computer simulations. CamShift-MD offers a new way of automatically generating protein structures based on a combination of experiment and theory. It has the potential to solve structures for which traditional methods are not suitable, such as highly dynamical non-native states. Moreover, the method can be used to determine protein ensembles. Unlike a single, rigid structure, such ensembles reveal information about the distribution of conformations and dynamics of molecules in solution, providing us with a better picture of the behaviour of proteins in the cellular environment.\r\n\r\n[\/panel]\r\n\r\n[panel header=\"Ken Shaw | Benchmark Communication Techniques\"]\r\n<h2><img class=\"size-full wp-image-271566 alignright\" src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/ken20shaw.jpg\" alt=\"ken20shaw\" width=\"100\" height=\"132\" \/>Giving a good presentation<\/h2>\r\n<h3>Abstract<\/h3>\r\nLecture, Presentation or Conversation? We will examine: Who your audience is; What they want; Why you are addressing them; How you handle practical issues like nerves, body language, speech &amp; voice, humour, visual aids etc.; What is success? What is plan B if everything goes wrong; How you recover.\r\n<h3>Biography<\/h3>\r\nKen Shaw has taught communication skills to MBA students at Judge Business School for 17 years. He has also taught at Said Business School, London Business School, Cass Business School, Henley Management College, ESMT in Berlin, Bled School of Management plus Leicester, Nottingham and Bristol universities. He has delivered training for commercial clients in France, Germany, Switzerland, The Bahamas, Holland, Norway, America, The Caribbean, Australia and Singapore.\r\n\r\n[\/panel]\r\n\r\n[panel header=\"Peter Robinson | Professor, University of Cambridge\"]\r\n<h2><img class=\"size-full wp-image-271572 alignright\" src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/peter20robinson.jpg\" alt=\"peter20robinson\" width=\"100\" height=\"132\" \/>Mind-reading machines<\/h2>\r\n<h3>Abstract<\/h3>\r\nFacial displays are an important channel for the expression of emotions, and are often thought of as projections of a person\u2019s mental state.Computer systems generally ignore this information.Mind-reading interfaces infer users\u2019 mental states from facial expressions, giving them a degree of emotional intelligence. We use video processing to track two dozen features on the user\u2019s face. These are then interpreted using statistical techniques through a hierarchy of analyses as basic actions, head and facial gestures, and finally groups of mental states. The talk will describe an implementation of facial affect inference, together with an evaluation and some preliminary results of using the system to monitor car drivers.\r\n<h3>Biography<\/h3>\r\nPeter Robinson is Professor of Computer Technology and Deputy Head of Department at the <a href=\"http:\/\/www.cam.ac.uk\/\">University of Cambridge<\/a> <a href=\"http:\/\/www.cl.cam.ac.uk\/\">Computer Laboratory<\/a> in England, where he leads the <a href=\"http:\/\/www.cl.cam.ac.uk\/Research\/Rainbow\/\">Rainbow Group<\/a> working on computer graphics, interaction and electronic CAD. He is also a Fellow, <a href=\"http:\/\/www.cai.cam.ac.uk\/students\/graduation\/\">Praelector<\/a> and Director of Studies in <a href=\"http:\/\/www.cai.cam.ac.uk\/admissions\/subjects\/compsci\/\">Computer Science<\/a> at <a href=\"http:\/\/www.cai.cam.ac.uk\/\">Gonville &amp; Caius College<\/a> where he previously studied for a first degree in Mathematics and a PhD in Computer Science under <a href=\"http:\/\/www.cl.cam.ac.uk\/Research\/Rainbow\/people\/neilw.html\">Neil Wiseman<\/a>.\r\n\r\nProfessor Robinson\u2019s <a href=\"http:\/\/www.cl.cam.ac.uk\/~pr\/research\/\">research<\/a> concerns problems at the boundary between people and computers. This involves investigating new technologies to enhance communication between computers and their users, and new applications to exploit these technologies. The main focus for this is human-computer interaction, where he has been leading work for some years on the use of video and paper as part of the user interface. The idea is to develop augmented environments in which everyday objects acquire computational properties through user interfaces based on video projection and digital cameras. Recent work has included desk-size projected displays and inference of users\u2019 mental states from video images of their faces.\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-271560 alignright\" src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/jack20lang.jpg\" alt=\"jack20lang\" width=\"100\" height=\"144\" \/><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/jacklang.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=\"Tony Hoare | Principal Researcher, Microsoft Research\"]\r\n<h2><img class=\"size-full wp-image-271587 alignright\" src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/tonyhoare.jpg\" alt=\"tonyhoare\" width=\"100\" height=\"132\" \/><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/tonyhoare.jpg\">Grand challenges in computer science<\/a><\/h2>\r\n<h3>Abstract<\/h3>\r\nOne way to do great research is to work with a great team, collaborating over an extended timescale, to find answers to fundamental questions that lie at the very basis of your branch of science. I will call such a project a Grand Challenge.\r\n\r\nGrand Challenges have long been common in Astronomy (the Hubble telescope) and in Physics (the large hadron collider), and more recently in Genetics (the enumeration of the human genome). Here are six Grand Challenges that have recently been singled out by UK computer scientists for the attention of the research community:\r\n<ul>\r\n \t<li>\u2018in vivo = in silico\u2019\u2013 multi-level simulation of the behaviour of biological organisms;<\/li>\r\n \t<li>\u2018memories for life\u2019\u2013 rapid recall of a lifetime\u2019s memories;<\/li>\r\n \t<li>\u2018architecture of the mind and brain\u2019\u2013 simulation of the relation between them;<\/li>\r\n \t<li>\u2018non-classical computation\u2019\u2013 a search for a theory that covers the wide range of computing phenomena in nature;<\/li>\r\n \t<li>\u2018ubiquitous computing\u2019\u2013 principles of engineering of the swarms of computers that surround us;<\/li>\r\n \t<li>\u2018dependable systems evolution\u2019\u2013 programs that are proved correct by the computer before running them.<\/li>\r\n<\/ul>\r\nCan you think of any more? I will talk in more detail about the last of these, which has been my own life-long research interest.\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=\"Richard Black | Research Software Development Engineer, Microsoft Research\"]\r\n<h2><img class=\"size-full wp-image-271575 alignright\" src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/richardblack.jpg\" alt=\"richardblack\" width=\"100\" height=\"132\" \/><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/richardblack.ppsx\">How does the Internet work?<\/a><\/h2>\r\n<h3>Abstract<\/h3>\r\nCould you explain how the Internet works in simple terms to someone else? Are there any gaps in your understanding, or questions you have? In this talk I\u2019ll be giving an introductory description to how it all works.\r\n<h3>Biography<\/h3>\r\nRichard Black is currently a Research Software Development Engineer at <a href=\"https:\/\/www.microsoft.com\/en-us\/research\/lab\/microsoft-research-cambridge\/\">Microsoft Research Cambridge<\/a>, where he is part of the <a href=\"https:\/\/www.microsoft.com\/en-us\/research\/group\/cambridge-systems-and-networking\/\">Systems and Networking<\/a> group. His research interests include performance analysis of distributed systems, operating systems and networking. Recent projects include: Constellation, and Network Inference. The Network Inference project gave rise to the <a href=\"http:\/\/www.microsoft.com\/windowsvista\/features\/foreveryone\/networking.mspx\">Network Map<\/a> feature of Windows Vista. Underlying the Network Map feature is the <a href=\"http:\/\/www.microsoft.com\/whdc\/connect\/Rally\/LLTD-spec.mspx\">LLTD protocol<\/a> which is licensed by many companies as part of the <a href=\"http:\/\/www.microsoft.com\/whdc\/connect\/rally\/\">Windows Rally<\/a> program.\r\n\r\nRichard obtained his B.A. in Computer Science from the <a href=\"http:\/\/www.cam.ac.uk\/\">University of Cambridge<\/a> in 1990 and his Ph.D. addressing issues in operating systems and networking interaction in 1995. After a further three years at the <a href=\"http:\/\/www.cl.cam.ac.uk\/\">University of Cambridge Computer Laboratory<\/a> as a research associate and research fellow he moved in 1997 to a lectureship at the <a href=\"http:\/\/www.dcs.gla.ac.uk\/\">University of Glasgow Department of Computing Science<\/a>. He returned to Cambridge in January 2000, to join the Microsoft Research laboratory, initially as a Researcher. He changed role to Research Software Development Engineer in 2006.\r\n\r\n[\/panel]\r\n\r\n[panel header=\"Wouter Spek | Director, EuroBioFund, European Science Foundation\"]\r\n<h2><img class=\"size-full wp-image-271593 alignright\" src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/wouterspek.jpg\" alt=\"wouterspek\" width=\"100\" height=\"133\" \/><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/wouterspek.ppt\">How to apply for funding? In search of the holy grail<\/a><\/h2>\r\n<h3>Abstract<\/h3>\r\nWouldn\u2019t it be nice to have unlimited sources of funding for your research? Wouldn\u2019t it be nice to have the freedom to operate? Wouldn\u2019t is be nice not to be bothered with constant applying and competing for financial sources? These are some of the topics we will discuss, we will talk about unmet needs and I will give you some pointers how to address the issue of finance and finance acquisition.\r\n<h3>Biography<\/h3>\r\nWouter Spek is currently the Director for EuroBioFund at the European Science Foundation, which he joined early in 2006. The aim of EuroBioFund, also supported by the European Commission, is to promote the development of strategic European Research Programmes in the area of life sciences. Dr. Spek received his Ph.D. in biochemistry from Leiden University (1988), with part of the research undertaken at the University of California, San Diego. From there he began his professional career at Senter (1988-1996), the agency of the Ministry of Economic Affairs responsible for all science and technology subsidy programmes, as project advisor\/deputy head of the biotechnology division. Dr. Spek subsequently moved to The Netherlands Organisation for Scientific Research, where he was co-ordinator of the Life Sciences Research Council Earth &amp; Life Sciences (ALW-NWO) (1996-2002). In 2002 he joined the Netherlands Genomic Initiative as Manager for Innovation and International Affairs, where he was involved in bringing together relevant partners for projects, including industrial partners, government agencies, and start-up companies.\r\n\r\n[\/panel]\r\n\r\n[panel header=\"Tristram Hooley | Senior Network Manager, vitae\"]\r\n<h2><img class=\"size-full wp-image-271590 alignright\" src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/tristramhooley.jpg\" alt=\"tristramhooley\" width=\"100\" height=\"132\" \/><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/tristramhooley.ppt\">Take control or how to manage your supervisor<\/a><\/h2>\r\n<h3>Abstract<\/h3>\r\nThis session will look at how to make supervision work well for you. It will argue that to get the most out of your relationship with your supervisor you will need to be proactive and assertive. In particular the session will encourage you to think about the following issues:\r\n<ul>\r\n \t<li>The relative rights and responsibilities of the supervisor and supervisee;<\/li>\r\n \t<li>What your supervisor cares about and how you can move up in their priorities;<\/li>\r\n \t<li>Strategies that you can use to manage the supervision and make them more useful;<\/li>\r\n \t<li>What to do if things go wrong.<\/li>\r\n<\/ul>\r\n<h3>Biography<\/h3>\r\nTristram Hooley is Senior Network Manager for the <a href=\"http:\/\/www.grad.ac.uk\/\">UK GRAD Programme<\/a> wherehehasresponsibility for liaising between the programme anduniversities.He wrote a PhD on dystopian fiction before goingon to workin various capacities including web design, learning technology, researcher, and skills trainer. He is particularly interested in the career development of researchers, online research methods, social capital and the pedagogy of the research degree.\r\n\r\n[\/panel]\r\n\r\n[panel header=\"Dushyanth Narayanan | Researcher, Microsoft Research\"]\r\n<h2><img class=\"size-full wp-image-271551 alignright\" src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/dushyanthnarayanan.jpg\" alt=\"dushyanthnarayanan\" width=\"100\" height=\"132\" \/><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/dushyanthnarayanan.pptx\">Write off-loading: Practical power management for enterprise storage<\/a><\/h2>\r\n<h3>Abstract<\/h3>\r\nIn enterprise data centres power usage is a problem impacting server density and the total cost of ownership. Storage uses a significant fraction of the power budget and there are no widely deployed power-saving solutions for enterprise storage systems. The traditional view is that enterprise workloads make spinning disks down ineffective because idle periods are too short. We analyzed block-level traces from 36 volumes in an enterprise data centre for one week and concluded that significant idle periods exist, and that they can be further increased by modifying the read\/write patterns using write off-loading. Write off-loading allows write requests on spun-down disks to be temporarily redirected to persistent storage elsewhere in the data centre. The key challenge is doing this transparently and efficiently at the block level, without sacrificing consistency or failure resilience. We describe our write off-loading design and implementation that achieves these goals. We evaluate it by replaying portions of our traces on a rack-based testbed. Results show that just spinning disks down when idle saves 28\u201336% of energy, and write off-loading further increases the savings to 45\u201360%.\r\n<h3>Biography<\/h3>\r\nDushyanth Narayanan is a researcher in the Systems and Networking group at Microsoft Research, Cambridge. His most recent research interest is in reducing the energy consumption and improving the performance of enterprise storage.\r\n\r\n[\/panel]\r\n\r\n[panel header=\"Steve Hodges | Principal Hardware Engineer, Microsoft Research\"]\r\n<h2><img class=\"size-full wp-image-271581 alignright\" src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/stevehodges.jpg\" alt=\"stevehodges\" width=\"100\" height=\"132\" \/><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/stevehodges.pdf\">Surface computing: the post-PC experience<\/a><\/h2>\r\n<h3>Abstract<\/h3>\r\nThe long-established \u2018desktop\u2019 computing metaphor continues to drive a lot of our interactions with computers, But at the same time, new interaction paradigms are being developed and we believe that these will increasingly complement the traditional computing experience. To this end, at Microsoft Research we are exploring a number of new interaction technologies along with the novel form factors, user experiences and usage scenarios they enable. This talk will present some of our work on \u2018surface computing\u2019, a new approach to interaction which doesn\u2019t required a keyboard or mouse for input, but which is inherently multi-user and which allows direct manipulation of digital content with hands, fingers and via tangible objects.\r\n<h3>Biography<\/h3>\r\nSteve Hodges has a background in a broad range of computer-related technologies. His first degree is in Computer Science with Electronic Engineering, from <a href=\"http:\/\/www.cs.ucl.ac.uk\/\">University College London<\/a>, and he received his PhD from <a href=\"http:\/\/www.eng.cam.ac.uk\/\">Cambridge University Engineering Department<\/a> in the area of Robotics and Computer Vision. Prior to joining Microsoft Research, he was the Technical Director of the <a href=\"http:\/\/www.autoidlabs.org.uk\/\">Cambridge Auto-ID Lab<\/a>, where he was involved with many activities, including the global research programme, the US Field Trial, the hardware-oriented action groups and privacy and IP policy development. Due to its success, the work of the Auto-ID Lab has been handed over to <a href=\"http:\/\/www.gs1.org\/\">GS1<\/a> (formerly UCC.EAN, the barcode custodians). Steve has co-authored and presented a number of <a href=\"http:\/\/www.autoidlabs.org.uk\/camwhitepapers.html\">Auto-ID Centre white papers<\/a>, and he has also given presentations to a wide range of audiences on the Auto-ID and EPC system. He was a founding director of the easyEPC RFID training and consultancy company. He worked as a Research Engineer for a number of years at the Olivetti and Oracle Research Lab, which became <a href=\"http:\/\/www.cl.cam.ac.uk\/research\/dtg\/attarchive\/\">AT&amp;T Laboratories Cambridge<\/a> before eventually shutting down in 2002. This lab was internationally recognised as a centre of excellence across a broad range of advanced research into communications, multimedia and mobile technologies.\r\n\r\n[\/panel]\r\n\r\n[panel header=\"Klaus-Peter Zauner | Lecturer, University of Southampton\"]\r\n<h2><img class=\"size-full wp-image-271569 alignright\" src=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/klaus-peterzauner.jpg\" alt=\"klaus-peterzauner\" width=\"100\" height=\"132\" \/><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/klaus-peterzauner.pdf\">Enzymatic computing<\/a><\/h2>\r\n<h3>Biography<\/h3>\r\nKlaus-Peter Zauner is a Lecturer in the Science and Engineering of Natural Systems Group of the School of Electronics and Computer Science at the University of Southampton. He was born in Stuttgart, soldered together a Sinclair ZX81 as his first computer and went on to study Biochemistry at the University of Tuebingen. Intrigued by Nature\u2019s molecular scale information processing mechanisms he left Tuebingen in 1992 for Detroit to join Michael Conrad\u2019s Biocomputing Group. Under Michael Conrad\u2019s mentorship he worked on conformational computing and enzymatic computing. Klaus-Peter received his Ph.D. in computer science from Wayne State University, Detroit in 2001. He started his academic career as a Visiting Assistant Professor at Wayne State University, then returned to Europe in 2002 to work with Peter Dittrich in the Bio Systems Analysis Group at the University of Jena, before taking up his current position in 2003. He served on the Governing Board of the International Society of Molecular Electronics and BioComputing and is an Editorial Board Member of the International Journal of Unconventional Computing. He is a Microsoft Research European Fellow (2005) and recipient of a Leverhulme Research Leadership award (2007).\r\n\r\n[\/panel]\r\n\r\n[\/accordion]"},{"id":3,"name":"Posters","content":"[accordion]\r\n\r\n[panel header=\"Posters Session 1\"]\r\n<ol>\r\n \t<li><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/alejandroarbelaez.pdf\" target=\"_self\">Adaptive combinatorial search<\/a>\u00a0|\u00a0Alejandro Arbelaez, INRIA<\/li>\r\n \t<li><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/alidapalmisano.pptx\" target=\"_self\">The cycle of modeling, modeling of the cycle<\/a>\u00a0| Alida Palmisano, CoSBi<\/li>\r\n \t<li><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/alvarofialho.pdf\" target=\"_new\">Adaptive evolutionary computation<\/a> | \u00c1lvaro Fialho, INRIA<\/li>\r\n \t<li><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/amitabharoy.pptx\" target=\"_new\">Adaptive software lock elision<\/a>\u00a0|\u00a0Amitabha Roy, University of Cambridge<\/li>\r\n \t<li>Exact JPEG recompression and forensics using interval arithmetic\r\nAndrew Lewis, University of Cambridge<\/li>\r\n \t<li>Highly sensitive de novo identification of peptides from tandem mass spectra by linear optimization and kinetic modeling\r\nAxel Rack, Freie Universit\u00e4t Berlin<\/li>\r\n \t<li>Illuminating circadian rhythms with Bayesian inference |\u00a0Ben Calderhead, University of Glasgow<\/li>\r\n \t<li><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/bencepasztor.pdf\" target=\"_new\">Code reprogramming and dissemination in mobile WSN<\/a>\u00a0|\u00a0Bence Pasztor, University of Cambridge<\/li>\r\n \t<li><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/bogdanciubotaru.pdf\" target=\"_new\">Quality-oriented handover scheme for adaptive multimedia streaming in heterogeneous wireless network environment<\/a>\u00a0|\u00a0Bogdan Ciubotaru, Dublin College University<\/li>\r\n \t<li><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/ekaterinashutova.pdf\" target=\"_self\">Probabilistic interpretation of figures of speech<\/a>\u00a0|\u00a0Ekaterina Shutova, University of Cambridge<\/li>\r\n<\/ol>\r\n[\/panel]\r\n\r\n[panel header=\"Posters Session 2\"]\r\n<ol>\r\n \t<li><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/christianrichardt.pdf\" target=\"_new\">Video abstraction and stylization<\/a>\u00a0|\u00a0Christian Richardt, University of Cambridge<\/li>\r\n \t<li><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/danieleborsaro.pdf\" target=\"_new\">Time-aware routing in wireless sensor networks<\/a>\u00a0|\u00a0Daniele Borsaro, University of Cambridge<\/li>\r\n \t<li>Towards optical PCI\u00a0|\u00a0David Miller, University of Cambridge<\/li>\r\n \t<li><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/derekmurray.pdf\" target=\"_new\">Spread-spectrum computation<\/a> |\u00a0Derek Murray, University of Cambridge<\/li>\r\n \t<li>Proof engineering: Refactoring proof |\u00a0Eliot Setzer, University of Edinburgh<\/li>\r\n \t<li><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/eugeniogiordano.ppt\" target=\"_new\">Vehicular ad hoc networks<\/a>\u00a0|\u00a0Eugenio Giordano, University of Bologna<\/li>\r\n \t<li><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/florianzuleger.pdf\" target=\"_new\">Automatic derivation of loop bounds<\/a>\u00a0|\u00a0Florian Zuleger, Technical University Darmstadt<\/li>\r\n \t<li>Mechanized foundations of finite group theory\u00a0(<a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/francoisgarillot-handout.pdf\" target=\"_new\">Handout<\/a>)\u00a0| Francois Garillot, INRIA<\/li>\r\n \t<li>New apparatus for characterising molecular computing substrates\u00a0|\u00a0Gareth Jones, University of Southampton<\/li>\r\n \t<li><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/ianleung-anilsorathia.pdf\" target=\"_new\">Contact network modeling of flu epidemics<\/a>\u00a0|\u00a0Anilkumar Sorathiya &amp; Ian Leung, University of Cambridge<\/li>\r\n<\/ol>\r\n[\/panel]\r\n\r\n[panel header=\"Posters Session 3\"]\r\n<ol>\r\n \t<li><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/chrislovell.pdf\" target=\"_new\">Autonomous experimentation methods for characterising molecular computing substrates<\/a>\u00a0|\u00a0Chris Lovell, University of Southampton<\/li>\r\n \t<li><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/jonathanmak.pdf\" target=\"_new\">Dynamic dependency graphs \u2013 How much parallelism is out there?<\/a>\u00a0|\u00a0Jonathan Mak, University of Cambridge<\/li>\r\n \t<li>Pan-tropical modelling of the impact of land use change on water quantity provision and low flows |\u00a0Jorge Pe\u00f1a Arancibia, King\u2019s College London<\/li>\r\n \t<li><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/julienquintard.pdf\" target=\"_new\">The Infinit file system<\/a> |\u00a0Julien Quintard, University of Cambridge<\/li>\r\n \t<li><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/laurelriek.pdf\" target=\"_new\">Designing robots for people<\/a> |\u00a0Laurel Riek, University of Cambridge<\/li>\r\n \t<li><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/mattridsdale.pdf\" target=\"_new\">Diagrammatic reasoning across multiple domains: The automatic construction of useful diagrams<\/a>\u00a0|\u00a0Matthew Ridsdale, University of Cambridge<\/li>\r\n \t<li><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/micheleforlin.pdf\" target=\"_new\">Noise from in-silico biology: A statistical perspective<\/a> |\u00a0Michele Forlin, CoSBi<\/li>\r\n \t<li><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/nicktaylor.pdf\" target=\"_new\">Supporting village community through connected situated displays<\/a> |\u00a0Nick Taylor, University of Lancaster<\/li>\r\n \t<li><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/olgamorawczynski.pdf\" target=\"_new\">Examining the adoption and usage of m-banking applications in low-income communities: The case of M-PESA in Kenya<\/a>\u00a0|\u00a0Olga Morawczynski, University of Edinburgh<\/li>\r\n<\/ol>\r\n[\/panel]\r\n\r\n[panel header=\"Posters Session 4\"]\r\n<ol>\r\n \t<li><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/olivierteboul.pptx\" target=\"_new\">Shape grammar and image based 3D reconstruction of buildings<\/a>\u00a0| Olivier Teboul, \u00c9cole Centrale Paris<\/li>\r\n \t<li><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/pauldunphy.pdf\" target=\"_new\">The realities of graphical passwords<\/a>\u00a0| Paul Dunphy, Newcastle University<\/li>\r\n \t<li><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/philipphennig.pdf\" target=\"_new\">Learning the temperature of a game<\/a>\u00a0| Philipp Hennig, University of Cambridge<\/li>\r\n \t<li><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/richardrussell.pdf\" target=\"_new\">Automated planning with goal utility dependencies within a satisfiability framework<\/a>\u00a0| Richard Russell, University of Cambridge<\/li>\r\n \t<li><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/robertolarcher.pdf\" target=\"_new\">From BlenX to SBML<\/a>\u00a0| Roberto Larcher, CoSBi<\/li>\r\n \t<li><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/ruoshuiliu.ppt\" target=\"_new\">Deployment of wireless sensor networks<\/a>\u00a0| Ruoshui Liu, University of Cambridge<\/li>\r\n \t<li><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/sebastianfaust.ppt\" target=\"_new\">Provable security at implementation-level<\/a>\u00a0| Sebastian Faust, Katholieke Universiteit Leuven<\/li>\r\n \t<li><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/sherifakoush.pdf\" target=\"_new\">Renewable energy in data centres<\/a>\u00a0| Sherif Akoush, University of Cambridge<\/li>\r\n \t<li><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2016\/08\/simonyoussef.ppt\" target=\"_new\">Stochastic modelling of single cell assay data<\/a>\u00a0| Simon Youssef, Ludwig-Maximilians-Universit\u00e4t M\u00fcnchen<\/li>\r\n \t<li>Interactive visualization, annotation and processing of terabyte-scale 3D image volumes |\u00a0Tahir Mansoori, University of Oxford<\/li>\r\n \t<li>A robust video receiver allowing WIMAX video broadcasting and indoor WIFI retransmission |\u00a0Usman Ali, Sup\u00e9lec<\/li>\r\n<\/ol>\r\n[\/panel]\r\n\r\n[\/accordion]"},{"id":4,"name":"Discussions Themes","content":"<h2>Discussions Themes<\/h2>\r\nThis type of discussions was requested by the students who attended the 2006 Summer School and the students who attended the 2007 Summer School enjoyed them very much. The goal was to make the students think and discuss about a topic or issue of importance and get to know each other.\r\n\r\nEach group was asked to share briefly to the other groups the outcome of their discussion.\r\n<h3>Ethics in scientific research<\/h3>\r\n<ul>\r\n \t<li>Discussion leader: Andrew Fitzgibbon (Microsoft Research)<\/li>\r\n<\/ul>\r\n<h3>Scientific method in computing research<\/h3>\r\n<ul>\r\n \t<li>Discussion leader: Jon Crowcroft (University of Cambridge)<\/li>\r\n<\/ul>\r\n<h3>Computer science education<\/h3>\r\n<ul>\r\n \t<li>Discussion leader: Kevin Bond (Aylesbury Grammar School, Cambridge)<\/li>\r\n<\/ul>\r\n<h3>Impact of research<\/h3>\r\n<ul>\r\n \t<li>Discussion leader: Wolfgang Emmerich (University College London)<\/li>\r\n<\/ul>\r\n<h3>Being a post-doc - Academia vs. industry<\/h3>\r\n<ul>\r\n \t<li>Discussion leader: Andrew Phillips (Microsoft Research)<\/li>\r\n<\/ul>"}],"msr_startdate":"2008-07-07","msr_enddate":"2008-07-11","msr_event_time":"","msr_location":"Cambridge, UK","msr_event_link":"","msr_event_recording_link":"","msr_startdate_formatted":"July 7, 2008","msr_register_text":"Watch now","msr_cta_link":"","msr_cta_text":"","msr_cta_bi_name":"","featured_image_thumbnail":null,"event_excerpt":"The third Microsoft Research Summer School was held at Microsoft Research in Cambridge, U.K., on 7 July through 11 July 2008. It included a series of talks of academic interest and posters sessions that gave invited students the opportunity to present their work to Microsoft researchers and a number of Cambridge academics. The 2008 Summer School was organised in partnership with the Cambridge University Computer Laboratory. Invited students included all first year PhD students of&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\/271287","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\/271287\/revisions"}],"predecessor-version":[{"id":1147305,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-event\/271287\/revisions\/1147305"}],"wp:attachment":[{"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/media?parent=271287"}],"wp:term":[{"taxonomy":"msr-research-area","embeddable":true,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/research-area?post=271287"},{"taxonomy":"msr-region","embeddable":true,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-region?post=271287"},{"taxonomy":"msr-event-type","embeddable":true,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-event-type?post=271287"},{"taxonomy":"msr-video-type","embeddable":true,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-video-type?post=271287"},{"taxonomy":"msr-locale","embeddable":true,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-locale?post=271287"},{"taxonomy":"msr-program-audience","embeddable":true,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-program-audience?post=271287"},{"taxonomy":"msr-post-option","embeddable":true,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-post-option?post=271287"},{"taxonomy":"msr-impact-theme","embeddable":true,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-impact-theme?post=271287"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}