University of Edinburgh Microsoft Research Joint Initiative in Informatics

Jelte Meuse, Anastasis Georgoulas, Andy Gordon, Miltiadis Allamanis and Jinli HuPictured left to right: Jelte Meuse, Anastasis Georgoulas, Andy Gordon, Miltiadis Allamanis and Jinli HuThe joint initiative celebrates and consolidates research ties between the School of Informatics of the University of Edinburgh, and Microsoft Research, through the annual award of studentships to four PhD scholars within the Microsoft Research PhD Scholarship programme.

The initiative was launched October 5, 2011, at a meeting between Professor Sir Tim O’Shea, Principal of the University of Edinburgh, and Rick Rashid, Chief Research Officer, Microsoft Research.

The convenor of the initiative is Andy Gordon, Principal Researcher at Microsoft Research Cambridge, and Professor of Computer Security, University of Edinburgh.

September 2012 Cohort

The following selection was announced by Rick Rashid, Chief Research Officer, Microsoft Research, during the launch of the initiative on October 5, 2011, and the students started their PhD course in September 2012.

Jinli HuMachine Learning Markets
Supervisor: Amos Storkey, University of Edinburgh
MSR Supervisors: Peter Key, Thore Graepel
Student: Jinli Hu (web)

Miltiadis AllamanisStatistical Language Processing for Programming Language Text
Supervisor: Charles Sutton, University of Edinburgh
MSR Supervisors: Andy Gordon, Thore Graepel
Student: Miltiadis Allamanis (web)

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

Fabian NagelHolistic Evaluation in LINQ
Supervisor: Stratis Viglas, University of Edinburgh
MSR Supervisor: Gavin Bierman
Student: Fabian Nagel (web)

September 2013 Cohort

The following selection was announced in December 2012, and the students are starting September 2013, or later.

Performance Portability for Large-Scale Heterogeneous Systems
Supervisor: Christophe Dubach
MSR Supervisor: Ant Rowstron
Student: TBC

Provenance for Configuration Language Security
Supervisor: James Cheney
MSR Supervisor: Dimitrios Vytiniotis
Student: TBC

Marcin SzymczakBayesian Probabilistic Programming for Security
Supervisor: David Aspinall
MSR Supervisor: Andy Gordon
Student: Marcin Szymczak

Solving the Problem of Cascading Costs: Better Approximate Bayesian Inference for Data Pipelines
Supervisor: Iain Murray
MSR Supervisor: John Winn
Student: TBC

September 2014 Cohort

The deadline for applications is expected to be in mid-September 2013; potential supervisors are asked to email Professor Barbara Webb, the Head of Graduate School, with a one-line expression-of-interest as soon as possible.

University of Edinburgh Microsoft Research Joint Initiative in Informatics

Distinguished Lecture by Rick Rashid.

Agenda

  • Introduction: Dave Robertson (Head of the School of Informatics, University of Edinburgh)
  • Launch of the Initiative and the CSec Challenge: Andy Gordon (Microsoft Research and University of Edinburgh)
  • Distinguished Lecture: Rick Rashid (Chief Research Officer, Microsoft Research)