clip_image001

Microsoft Research PhD Scholarship 2012

We are pleased to announce the final results of this year’s PhD Scholarship Programme. 

In September 2011, Microsoft Research received 110 PhD applications which were reviewed by 148 internal and external reviewers between October and December 2011. Microsoft Research  have now selected 16 applications that will be funded through Microsoft Research Connections starting in the academic year 2012/13.

Four proposals relate to the new Joint Initiative in Informatics with Edinburgh University.

The selected applications are listed below.

Applicants have already been informed of the decision.

Selected applications

Development of an Executable Model Encapsulating Blood Cell Development from Pluripotent Embryonic Stem Cells
Supervisor: Berthold Gottgens, University of Cambridge
MSR Supervisor: Jasmin Fisher

Incremental and Adaptive Symbolic Execution
Supervisor: Cristian Cadar, Imperial College London
MSR Supervisor: Miguel Castro

Supporting a 'Sense of Home' in Care Homes: an Exploration of Digital Design with People Living with Dementia
Supervisor: Jayne Wallace, Northumbria University
MSR Supervisors: Tim Regan, Siân Lindley

Efficient Approximations for Fast Simulations: Application to Building Designs
Supervisor: Leo Liberti, Ecole Polytechnique
MSR Supervisor: Youssef Hamadi

Inferring From Integrity Constraints Through JavaScript Analysis
Supervisor: Michael Benedikt, University of Oxford
MSR Supervisor: Matt Parkinson

Virtualization and High-Productivity for Many-Cores
Supervisor: Mikel Lujan, University of Manchester
MSR Supervisor: Tim Harris

Automated Design of Revenue-Maximizing Ad Auctions
Supervisor: Mingyu Guo, University of Liverpool
MSR Supervisors: Yoram Bachrach, Peter Key 

LumiConSense
Supervisor: Oliver Bimber, Johannes Kepler University
MSR Supervisors: Shahram Izadi, Otmar Hilliges

Content-based Relevance Estimation on the Web

Supervisor: Oren Kurland, Technion
MSR Supervisors: Filip Radlinski, Milad Shokouhi

Developing Novel Computational Methods to Describe and Predict Human Behaviour in Earth System Models

Supervisor: Paul Palmer, University of Edinburgh
MSR Supervisor: Drew Purves

Dynamic Modelling of HIV Recognition by the Immune System

Supervisor: Peter Coveney, University College London
MSR Supervisor: Neil Dalchau

Systematic Assessment of Uncertainty in Couples Carbon-Nitrogen Cycle Models and their Climate Feedbacks

Supervisor: Sönke Zaehle, MPI for Biogeochemistry
MSR Supervisor: Matthew Smith

Joint Initiative in Informatics with Edinburgh University

Machine Learning Markets
Supervisor: Amos Storkey, University of Edinburgh
MSR Supervisors: Peter Key, Thore Graepel

Statistical Language Processing for Programming Language Text
Supervisor: Charles Sutton, University of Edinburgh
MSR Supervisors: Andy Gordon, Thore Graepel

Machine Learning Methods for Formal Dynamical Systems: a Systems Biology Case Study
Supervisor: Jane Hillston/Guido Sanguinetti, University of Edinburgh
MSR Supervisors: Luca Cardelli, Andrew Phillips

Holistic Evaluation in LINQ
Supervisor: Stratis Viglas, University of Edinburgh
MSR Supervisor: Gavin Bierman