2012

• Lawrence Nicholas Thomas Hudson, Unifying food web structure and dynamics, Imperial College London, July 2012
• Alice Boit, Mechanistic theory and modeling of complex ecological networks, University of Potsdam, July 2012
• Mariano Beguerisse Díaz, Mathematical Modelling of Integrated Signalling Networks in Stomatal Guard Cells, Imperial College London, March 2012
• Ye Yuan, Decentralised Network Prediction and Reconstruction Algorithms, University of Cambridge, January 2012
• Yana Momchilova Mileva, Mining the Evolution of Software Component Usage, Universität des Saarlandes, 2012
• Jennifer Sarah Pearson, Investigating Lightweight Interaction for Active Reading in Digital Documents, Swansea University, 2012
• Enuo He, Stochastic modelling of the cell cycle, University of Oxford, 2012
• Thomas W Simpson, Trust on the internet, University of Cambridge, 2012
• Mehdi Hosseini, Optimizing the Construction of Information Retrieval Test Collections, University College London, 2012

2011

• Peter Yung Ho Wong, Formalisations and Applications of Business Process Modelling Notation, University of Oxford, December 2011
• Cătălin Hrițcu, Union, Intersection, and Refinement Types and Reasoning About Type Disjointness for Security Protocol Analysis, Universität des Saarlandes, November 2011
• Iris Miliaraki, Distributed filtering and dissemination of xml data in peer-to-peer systems, National and Kapodistrian University of Athens, July 2011
• Mohammed Alloulah, Real-Time Tracking for Airborne Broadband Ultrasound, Lancaster University, June 2011
• Florian Zuleger, Resource Bound Analysis of Imperative Programs, Technischen Universität Wien, April 2011
• Usman Ali, WIBOX – A robust video receiver allowing WIMAX video broadcasting and indoor WIFI rebroadcast, Télécom, ParisTech, March 2011
• Alexander A. Spengler, Probabilistic Web Content Analysis. Representation of Content Semantics in the Bayesian Diagnostic Paradigm, Université Pierre et Marie Curie, 2011
• Bogdan Ciubotaru-Petrescu, Quality-Oriented Mobility Management for Multimedia Content Delivery to Mobile Users, Dublin City University, January 2011
• Davide Cacchiarelli, Role of microRNAs in Duchenne Muscular Dystrophy and in muscle differentiation, Università di Roma, 2011
• Olga Morawczynski, Examining the adoption and usage of Mobile Money Services: The Case of M-PESA in Kenya, University of Edinburgh, 2011
• Laura Dietz, Exploiting Graph-Structured Data in Generative Probabilistic Models, Max-Planck-Institut für Informatik, 2011
• Elias Athanasopoulos, Modern Techniques for the Detection and Prevention of Web2.0 Attacks, University of Crete, 2011
• Simon Youssef, Quantitative modeling of synthetic gene transfer, Ludwig–Maximilians–Universität München, 2011
• Antonia Maria Masucci, Moments Method for Random Matrices with Applications to Wireless Communication, École Supérieure d'Électricité (Supélec), 2011
• Varun Gulshan, From Interactive to Semantic Image Segmentation, University of Oxford, 2011
• Sara Alexandra Gomes Vicente, Global optimisation techniques for image segmentation with higher order models, University College London, 2011
• Nicholas Craig Taylor, Supporting Village Community through Connected Situated Displays, Lancaster University, January 2011
• Daniel Cederman, Concurrent Algorithms and Data Structures for Many-Core Processors, Chalmers University of Technology, 2011
• Andrew Grayland, Automated Static Symmetry Breaking in Constraint Satisfaction Problems, University of St Andrews, 2011
• Jurgen Van Gael, Bayesian Nonparametric Hidden Markov Models, University of Cambridge, 2011
• Brian Amberg, Editing faces in videos, Universität Basel, 2011
• Ben Calderhead, Differential Geometric MCMC Methods and Applications, University of Glasgow, 2011
• Shady Elbassuoni, Effective Searching of RDF Knowledge Bases, Max-Planck-Institut für Informatik, 2011
• Olivier Teboul, Shape Grammar Parsing: Application to Image-based Modeling, Ecole Centrale Paris, 2011

2010

• Philipp Hennig, Approximate Inference in Graphical Models, University of Cambridge, November 2010
• Sebastian Faust, Provable Security at Implementation-level, Katholieke Universiteit Leuven, October 2010
• Philip Richard Garnett, Agent Based Modelling of Auxin Transport Canalisation, University of York, September 2010
• António José dos Reis Morgado, Modeling and Solving Combinatorial Optimization Problems, August 2010
• Aziem A Chawdhary, Proving Termination using Abstract Interpretation, Queen Mary University of London, August 2010
• Georg Weißenbacher, Program Analysis with Interpolants, University of Oxford, June 2010
• Lynne Hamill, Communications, Travel and Social Networks Since 1840: A Study Using Agent-based Models, University of Surrey, May 2010
• Milan Raičević, Simulations of cosmic reionization, Durham University, March 2010
• Andrew Weeks, Neutral emergence and coarse graining cellular automata, University of York, March 2010
• Michael Pedersen, Modular Languages for Systems and Synthetic Biology, University of Edinburgh, February 2010
• Ana Costa e Silva, Parts that add up to a whole: a framework for the analysis of tables, University of Edinburgh, 2010
• Grégory Théoduloz, Software Verification by Combining Program Analyses of Adjustable Precision, École Polytechnique Fédérale de Lausanne, 2010
• Abigail Durrant, Designing photographic experiences to support autobiographical memory, University of Surrey, 2010
• Guillem Rull Fort, Validation of mappings between data schemas, Universitat Politècnica de Catalunya, 2010
• Marije Geldof, Literacy and ICT: Social Constructions in the Lives of Low-literate Youth in Ethiopia & Malawi, Royal Holloway, University of London, January 2010
• Michael Pedersen, Modular Languages for Systems and Synthetic Biology, University of Edinburgh, 2010
• Dan Dobre, Time-Efficient Asynchronous Service Replication, Technischen Universität Darmstadt, 2010
• Michael James Andrew Smith, Stochastic Abstraction of Programs: Towards Performance-Driven Development, University of Edinburgh, 2010
• Christoph Rhemann, Interactive image matting, Technische Universität Wien, January 2010

2009

• Andy Maule, Impact Analysis of Database Schema Changes, University College London, December 2009
• Thomas Wies, Symbolic Shape Analysis, Albert-Ludwigs-Universität Freiburg im Breisgau, November 2009
• Gregory Hale, A cognitive schematic analysis of film, University of York, October 2009
• David Stynes, Value Ordering for Offline and Realtime-Online Solving of Quantified Constraint Satisfaction Problems, National University of Ireland, Cork, September 2009
• Ying Ying Li, A study of the CKM angle gamma using the LHCb experiment and a distributed workload management system, University of Cambridge, July 2009
• Jan Sacha, Exploiting heterogeneity in peer-to-peer systems using gradient topologies, July 2009
• Giorgio Gianforme, Metadata Management, University of Roma Tre, 26 March 2009
• Philippe-Alexandre Pouille, Physique de l’invagination ventrale lors de la gastrulation de l’embryon de Drosophila Melanogaster, Université Paris VII - Denis Diderot, February 2009
• Stewart W. J. Hickey, Use Phase Signals to Promote Lifetime Extension for Desktop PCs, University of Limerick, Ireland, January 2009
• Michael Kaisser, Acquiring Syntactic and Semantic Transformations in Question Answering, University of Edinburgh, 2009
• Daniele Quercia, Trust Models for Mobile Content-Sharing Applications, University College London, January 2009
• F. Schroff, Semantic Image Segmentation and Web-Supervised Visual Learning, University of Oxford, 2009

2008

• Mathieu Verbaere, A language to script refactoring transformations, University of Oxford, December 2008
• Fabien Corblin, Design and implementation of a declarative tool for analyzing discrete genetic networks, Université Joseph Fourier - Grenoble 1, December 2008
• Alban Rrustemi, Computing surfaces – a platform for scalable interactive displays, University of Cambridge, November 2008
• Anna Ritchie, Citation Context Analysis for Information Retrieval, University of Cambridge, October 2008
• Konrad Kieling, Linear optics quantum computing – construction of small networks and asymptotic scaling, Imperial College London, September 2008
• Na Xu, Static Contract Checking for Haskell, University of Cambridge, 1 August 2008
• Tim O.F. Conrad, New statistical algorithms for the analysis of mass spectrometry time-of-flight mass data with applications in clinical diagnostics, Freie Universität Berlin, Germany, July 2008
• Maurice Fallon, Acoustic Source Tracking using Sequential Monte Carlo, June 2008
• Kai Jochen Kohlhoff, Protein Chemical Shifts as Structural Restraints in Molecular Dynamics Simulations, University of Cambridge, May 2008
• Kester Dean Clegg, Evolving gene expression to reconfigure analogue devices, University of York, May 2008
• Julia Aurélie Lasserre, Hybrid of generative and discriminative methods for machine learning, University of Cambridge, March 2008
• Loïc Fejoz, Développement prouvé de structures de données sans verrou, Université Henri Poincaré - Nancy-Université, January 2008

2007

• Jamie Daniel Joseph Shotton, Contour and Texture for Visual Recognition of Object Categories, 2007

2005

• Matthias Seeger, Bayesian Gaussian Process Models: PAC-Bayesian Generalisation Error Bounds and Sparse Approximations, 2005
• Oliver Michael Christian Williams, Bayesian Learning for Efficient Visual Inference, 2005

2004

• John Winn, Variational Message Passing and its Applications, 2004