The following selection was announced in February 2014
Vision as Inverse Graphics
Supervisor: Christopher Williams
MSR Supervisor: Pushmeet Kohli
Student: Lukasz Romaszko
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