Share on Facebook Tweet on Twitter Share on LinkedIn Share by email
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.

Paul-Jules MicoletPerformance Portability for Large-Scale Heterogeneous Systems
Supervisor: Christophe Dubach
MSR Supervisor: Ant Rowstron
Student: Paul-Jules Micolet (web)

Provenance for Configuration Language Security
Supervisor: James Cheney
MSR Supervisor: Dimitrios Vytiniotis
Student: Weili Fu (web)

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

Solving the Problem of Cascading Costs: Better Approximate Bayesian Inference for Data Pipelines
Supervisor: Iain Murray
MSR Supervisor: John Winn
Student: Georgios Papamakarios (web)

September 2014 Cohort

The following selection was announced in February 2014

Vision as Inverse Graphics
Supervisor: Christopher Williams
MSR Supervisor: Pushmeet Kohli
Student: TBC

TypeScript: The Next Generation
Supervisor: Philip Wadler
MSR Supervisor: Andy Gordon (acting)
Student: John Williams

SMT for nonlinear constraints with application to computational biology
Supervisor: Paul Jackson
MSR Supervisor: Christoph Wintersteiger
Student: Kristjan Liiva

Formal Language Support for Ecological Modelling
Supervisor: Jane Hillston
MSR Supervisor: Matthew Smith
Student: Ludovica Luisa Vissat

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), October 2011