University of Edinburgh Microsoft Research Joint Initiative in Informatics

Performance Portability for Large-Scale Heterogeneous Systems
Supervisor: Christophe Dubach
MSR Supervisor: Ant Rowstron
Student: Paul-Jules Micolet (web (opens in new tab))

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

Bayesian Probabilistic Programming for Security
Supervisor: David Aspinall
MSR Supervisor: Andy Gordon
Student: Marcin Szymczak (web (opens in new tab))

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