List of finished PhD students
Below is a list of all the PhD theses so far recommended by the Computer Science Degree Committee to the Board of Graduate Studies for approval (which can in some cases mean that there are still corrections to be made before final approval). Fully approved Cambridge PhDs are listed in the University Library thesis catalog.
All authors are encouraged to publish their approved thesis as a Computer Laboratory Technical Report. Where available, the table below links to that public tech-report version of the thesis. Where available, it also links the local PDF version uploaded by the student, which now also includes files that were in the past collected by Lise Gough in /usr/groups/studentadmin/PhD_theses. (The local PDFs are only accessible to members of the Computer Laboratory and may in some cases not yet contain any final corrections required by the examiners.)
Note: If a Computer Laboratory research student's PhD is not listed here, then it might have been dealt with by the Mathematics Degree Committee (this includes any pre-1987 Computer Laboratory PhD) or by the Engineering Degree Committee (this applies to some early ones in the Digital Technology Group).
| author | title | supervisor (co-supervisor) | started | submitted approved | thesis |
|---|---|---|---|---|---|
| Yiwen Chen | Lyrics generation constrained by tone, melody and imagery | Prof. S. H. Teufel | 2019-01-04 | 2024-04-30 2024-07-02 | local PDF |
| Jose Gilberto Atondo Siu | Automated detection of cryptocurrency investment scams at scale | Prof. A. J. Hutchings | 2020-10-01 | 2024-04-04 2024-07-02 | local PDF |
| Smita Vijaya Kumar | Scheduling for Reduced Tail Latencies in Highly Utilised Datacenters | Dr E. Kalyvianaki, Prof. A. V. S. Madhavapeddy | 2019-10-01 | 2024-01-31 2024-07-02 | local PDF |
| Aida Miralaei | Near-memory processing for low-precision deep neural networks | Prof. T. M. Jones | 2017-10-01 | 2024-01-16 2024-04-23 | local PDF |
| Tong Xia | Reliable and decentralised deep learning for physiological data | Prof. C. Mascolo | 2020-10-01 | 2024-01-13 2024-04-23 | local PDF |
| Mariana-Cristina Mărășoiu | End-user programming of visualisations | Prof. A. F. Blackwell | 2015-10-01 | 2024-01-08 2024-04-23 | local PDF |
| Junwei Yang | Deep learning-based medical image reconstruction for multi-contrast magnetic resonance imaging | Prof. P. Lio' | 2019-10-01 | 2023-12-13 2024-07-02 | local PDF |
| Nicholas Boucher | Deception and defense from machine learning to supply chains | Prof. R. J. Anderson | 2020-10-01 | 2023-12-06 2024-04-23 | TR-994, local PDF |
| Georgi Karadzhov | DEliBots: Deliberation Enhancing Bots | Prof. A. Vlachos | 2019-10-01 | 2023-11-15 2024-02-27 | local PDF |
| Chi Ian Tang | Self-supervised learning for data-efficient human activity recognition | Prof. C. Mascolo | 2019-10-01 | 2023-11-14 2024-02-27 | local PDF |
| Alexander Campbell | Exploring Neuroimaging-Specific Deep Learning Biases: Uncertainty, Dynamic Graphs, and Communities | Prof. P. Lio' | 2017-10-01 | 2023-10-31 2024-02-27 | local PDF |
| Dimitrije Erdeljan | Eavesdropping risks of the DisplayPort video interface | Dr M. G. Kuhn | 2019-10-01 | 2023-10-31 2024-01-23 | local PDF |
| Tiago Pimentel Martins Da Silva | On the Optimality of the Lexicon | Prof. S. H. Teufel, Dr R. D. Cotterell | 2019-10-01 | 2023-10-29 2024-01-23 | local PDF |
| Andrei Paleyes | Towards maintainable and explainable AI systems with Dataflow | Prof. N. D. Lawrence | 2020-01-04 | 2023-10-27 2024-02-27 | local PDF |
| Yuxiao Ye | Argument mining with informal text | Prof. S. H. Teufel | 2019-10-01 | 2023-10-22 2024-01-23 | local PDF |
| Ryan Kortvelesy | Graph Neural Networks for Multi-Agent Learning | Prof. A. S. Prorok | 2019-10-01 | 2023-09-30 2024-02-27 | local PDF |
| Dmitry Kazhdan | Enhancing Interpretability: The role of concept-based explanations across data types | Prof. M. Jamnik, Prof. P. Lio' | 2019-10-01 | 2023-09-29 2024-04-23 | local PDF |
| Derek Sorensen | Meta Properties of Financial Smart Contracts | Prof. A. V. S. Madhavapeddy, Prof. S. Keshav | 2019-10-01 | 2023-09-29 2024-01-23 | local PDF |
| Vadim Safronov | Decentralised protocol-independent automation in smart buildings | Prof. R. M. Mortier | 2019-10-01 | 2023-09-29 2024-01-23 | local PDF |
| Daniel Hugenroth | Strong metadata privacy for mobile devices and applications | Prof. A. R. Beresford | 2019-10-01 | 2023-09-29 2024-01-23 | local PDF |
| Chelsea Edmonds | Formalising Combinatorial Structures and Proof Techniques in Isabelle/HOL | Prof. L. C. Paulson | 2019-10-01 | 2023-09-26 2024-02-27 | local PDF |
| Yan Gao | Federated self-supervised learning | Prof. N. D. Lane | 2020-10-01 | 2023-09-23 2024-01-23 | local PDF |
| Christopher Davis | On the evaluation and application of neural language models for grammatical error detection | Prof. P. J. Buttery | 2017-10-01 | 2023-09-22 2024-01-23 | local PDF |
| Ramon Viñas Torné | Large-scale inference and imputation for multi-tissue gene expression | Prof. P. Lio' | 2019-10-01 | 2023-09-01 2023-11-21 | local PDF |
| Josef Valvoda | The Role of Precedent in Computational Models of Law | Prof. S. H. Teufel | 2019-10-01 | 2023-08-10 2024-01-23 | local PDF |
| Param Hanji | Improving photometric camera accuracy and image quality in high dynamic range imaging | Prof. R. K. Mantiuk | 2019-10-01 | 2023-07-27 2023-11-21 | local PDF |
| Jack Hughes | Computational criminology: at-scale quantitative analysis of the evolution of cybercrime forums | Prof. A. J. Hutchings | 2019-10-01 | 2023-07-24 2023-11-21 | local PDF |
| Allison Randal | Transient execution vulnerabilities in the security context of server hardware | Prof. R. M. Mortier | 2018-01-04 | 2023-07-18 2023-11-21 | TR-992, local PDF |
| Diana Vasile | Securing encrypted communication | Prof. A. R. Beresford | 2015-04-10 | 2023-07-07 2023-10-10 | local PDF |
| Huiyuan Xie | Evaluating Natural Language Generation Tasks for Grammaticality, Faithfulness and Diversity | Prof. A. A. Copestake | 2018-10-01 | 2023-06-30 2023-11-21 | local PDF |
| Pietro Barbiero | Deep concept reasoning: beyond the accuracy-interpretability trade-off | Prof. P. Lio' | 2020-10-01 | 2023-05-31 2023-10-10 | local PDF |
| Felix Opolka | Non-parametric modelling of signals on graphs | Prof. P. Lio' | 2019-10-01 | 2023-05-27 2023-10-10 | local PDF |
| Paul Scherer | Distributional and relational inductive biases for graph representation learning in biomedicine | Prof. P. Lio', Prof. M. Jamnik | 2019-01-04 | 2023-05-04 2023-10-10 | TR-993, local PDF |
| Daniel Bruder | Electronic Long-Term Archiving of Complex Textual Artefacts | Prof. S. H. Teufel | 2016-10-01 | 2023-05-04 2023-07-04 | local PDF |
| Dimitrios Los | Balanced allocations under incomplete information: New settings and techniques | Dr T. M. Sauerwald | 2019-10-01 | 2023-04-01 2023-10-10 | TR-989, local PDF |
| Jin Zhu | Deep neural networks for medical image super-resolution | Prof. P. Lio' | 2016-10-01 | 2023-03-01 2023-07-04 | local PDF |
| Sian Gooding | A personalised approach to lexical complexity | Prof. E. J. Briscoe | 2019-10-01 | 2023-01-10 2023-04-25 | local PDF |
| Qingbiao Li | Graph Neural Networks for Multi-Robot Coordination | Prof. A. S. Prorok | 2018-10-01 | 2023-01-08 2023-04-25 | |
| Peter Rugg | Efficient spatial and temporal safety for microcontrollers and application-class processors | Prof. S. W. Moore | 2018-10-01 | 2022-12-31 2023-02-28 | TR-984, local PDF |
| Agnieszka Słowik | Out-of-distribution generalisation in machine learning | Dr S. B. Holden, Prof. M. Jamnik | 2019-01-04 | 2022-12-24 2023-04-25 | local PDF |
| Samuel Bell | Towards a psychological science of neural network behaviour | Prof. N. D. Lawrence | 2018-10-01 | 2022-12-22 2023-04-25 | local PDF |
| Christine De Kock | Constructive online disagreement | Prof. A. Vlachos | 2019-10-01 | 2022-12-19 2023-02-28 | local PDF |
| Edgaras Liberis | Taming TinyML: deep learning inference at computational extremes | Prof. N. D. Lane | 2020-10-01 | 2022-12-16 2023-04-25 | local PDF |
| Shih-Chun You | Single-trace template attacks on permutation-based cryptography | Dr M. G. Kuhn | 2018-10-01 | 2022-12-15 2023-02-28 | local PDF |
| Cristian Bodnar | Topological Deep Learning: Graphs, Complexes, Sheaves | Prof. P. Lio' | 2019-10-01 | 2022-12-14 2023-02-28 | local PDF |
| Emma Rocheteau | Representation Learning for Patients in the Intensive Care Unit | Prof. P. Lio' | 2017-10-01 | 2022-12-12 2023-04-25 | local PDF |
| Adam O' Conghaile | Game comonads and beyond: compositional constructions for logic and algorithms | Prof. A. Dawar | 2018-10-01 | 2022-10-31 2023-04-25 | local PDF |
| Kayvan Memarian | The Cerberus C semantics | Prof. P. M. Sewell | 2011-10-01 | 2022-10-26 2023-02-28 | TR-981, local PDF |
| Michelle Lee | Context-conscious fairness throughout the machine learning lifecycle | Dr J. Singh | 2019-10-01 | 2022-10-06 2023-07-04 | local PDF |
| Akshay Jindal | Motion quality models for real-time adaptive rendering | Prof. R. K. Mantiuk | 2019-01-04 | 2022-10-04 2023-01-17 | TR-977, local PDF |
| Fangcheng Zhong | Path from photorealism to perceptual realism | Prof. R. K. Mantiuk | 2018-10-01 | 2022-09-30 2023-01-17 | local PDF |
| Apinan Hasthanasombat | A causal perspective on model robustness: case studies in health and sensor data | Prof. C. Mascolo | 2018-10-01 | 2022-09-29 2022-11-22 | local PDF |
| Nikhil Churamani | Continual Learning for Affective Robotics | Prof. H. Gunes | 2018-10-01 | 2022-09-28 2023-01-17 | local PDF |
| Xuan Guo | Efficient Virtual Cache Coherency for Multi-core Systems and Accelerators | Prof. R. D. Mullins | 2018-10-01 | 2022-09-19 2023-01-17 | TR-979, local PDF |
| Andrea Ferlini | Exploring the potential of Earables for Personal-Scale Sensing | Prof. C. Mascolo | 2019-01-04 | 2022-09-15 2022-11-22 | local PDF |
| Lorena Qendro | Efficient, robust and uncertainty aware mobile health | Prof. C. Mascolo | 2018-10-01 | 2022-09-09 2023-01-17 | local PDF |
| Ran Zmigrod | A hitchhiker's guide to efficient non-projective dependency parsing | Prof. T. G. Griffin, Dr R. D. Cotterell | 2019-10-01 | 2022-08-10 2022-10-11 | local PDF |
| Omer Sella | Coding for emerging archival storage media | Prof. A. W. Moore, Dr N. Zilberman | 2017-10-01 | 2022-08-04 2023-01-17 | |
| Alex Chadwick | Exploiting heterogeneous parallelism in software and hardware | Prof. R. D. Mullins | 2015-10-01 | 2022-07-26 2022-10-11 | local PDF |
| Joseph Isaacs | Furthering Datalog in the pursuit of program analysis | Prof. T. M. Jones | 2017-10-01 | 2022-07-22 2023-01-17 | local PDF |
| Paula Czarnowska | Morphological competence in neural natural language processing | Prof. A. A. Copestake | 2017-10-01 | 2022-07-20 2023-01-17 | local PDF |
| Brett Gutstein | Memory safety with CHERI capabilities: security analysis, language interpreters, and heap temporal safety | Prof. R. N. Watson | 2018-10-01 | 2022-07-04 2022-10-11 | TR-975, local PDF |
| Shyam Tailor | Practical processing and acceleration of graph neural networks | Prof. N. D. Lane | 2020-10-01 | 2022-06-30 2022-10-11 | local PDF |
| Alexandre Raymond | Explanations for Autonomous Agents | Prof. A. S. Prorok, Prof. H. Gunes | 2018-10-01 | 2022-06-27 2022-11-22 | local PDF |
| Benjamin Day | Meta-learning representations with relational structure | Prof. P. Lio' | 2017-10-01 | 2022-04-21 2022-10-11 | local PDF |
| Nathanael Arkor | Monadic and higher-order structure | Prof. M. P. Fiore | 2018-10-01 | 2022-03-06 2022-06-07 | local PDF |
| Zahra Tarkhani | Secure Programming with Dispersed Compartments | Prof. A. V. S. Madhavapeddy | 2018-01-04 | 2022-03-05 2022-06-07 | local PDF |
| Yiannos Stathopoulos | Retrieval of research-level mathematics via joint modelling of text and types | Prof. S. H. Teufel | 2013-10-01 | 2022-03-03 2022-06-28 | local PDF |
| Hesham Almatary | CHERI Compartmentalisation for Embedded Systems | Prof. R. N. Watson | 2018-04-17 | 2022-02-23 2022-06-28 | TR-976, local PDF |
| Tiago Azevedo | Data-driven representations in brain science: Modelling approaches in neuroimaging and gene expression domains | Prof. P. Lio', Prof. M. Spillantini | 2016-10-01 | 2022-02-16 2022-06-28 | TR-973, local PDF |
| Olesya Razuvayevskaya | Towards automatic interpretation of A Fortiori arguments | Prof. S. H. Teufel | 2015-10-01 | 2022-01-31 2022-06-07 | local PDF |
| Andrej Ivaskovic | Programming and static analysis with graded monads | Prof. A. Mycroft | 2018-10-01 | 2022-01-09 2022-04-26 | local PDF |
| Jacob Deasy | Relaxing assumptions in deep probabilistic modelling: Broader statistical assumptions for deep generative models and healthcare data | Prof. P. Lio' | 2018-10-01 | 2021-12-22 2022-06-28 | local PDF |
| Nandor Licker | Low-level cross-language post-link | Prof. T. M. Jones | 2018-10-01 | 2021-12-18 2022-06-28 | local PDF |
| Pablo Spivakovsky-Gonzalez | Computational tools for metabolic modeling and gene duplication analysis | Prof. P. Lio' | 2015-10-01 | 2021-11-30 2022-04-26 | local PDF |
| Anita Vero | Transparent analysis of multi-modal embeddings | Prof. A. A. Copestake | 2015-10-01 | 2021-11-26 2022-03-01 | TR-970, local PDF |
| Indigo Orton | Dynamic analysis for concurrency optimisation | Prof. A. Mycroft | 2019-10-01 | 2021-10-27 2022-06-07 | TR-974, local PDF |
| Yiren Zhao | Software and hardware codesign for efficient neural networks | Prof. R. D. Mullins | 2017-10-01 | 2021-09-29 2022-01-18 | local PDF |
| Kyndylan Nienhuis | Verified security properties for the capability-enhanced CHERI-MIPS architecture | Prof. P. M. Sewell | 2013-10-01 | 2021-09-29 2022-01-18 | local PDF |
| Danny Vagnozzi | Variations on the theme of higher dimensional Weisfeiler-Leman algorithms | Prof. A. Dawar | 2017-10-01 | 2021-09-27 2022-03-01 | local PDF |
| Marno Van Der Maas | Protecting enclaves from side-channel attacks through physical isolation | Prof. S. W. Moore | 2017-10-01 | 2021-09-27 2022-01-18 | TR-980, local PDF |
| James Thorne | Evidence-based verification and correction of textual claims | Prof. A. Vlachos | 2019-01-04 | 2021-09-27 2022-01-18 | TR-968, local PDF |
| Aaron Stockdill | Automating representation change across domains for reasoning | Prof. M. Jamnik | 2017-10-01 | 2021-09-07 2022-03-01 | TR-971, local PDF |
| Dimitrios Spathis | Machine learning to model health with multimodal mobile sensor data | Prof. C. Mascolo | 2017-10-01 | 2021-07-07 2021-10-12 | local PDF |
| Hayk Saribekyan | Information dissemination via random walks | Dr T. M. Sauerwald | 2017-10-01 | 2021-07-06 2021-10-12 | TR-964, local PDF |
| Michael Dodson | Capability-based access control for cyber physical systems | Prof. A. R. Beresford | 2018-10-01 | 2021-07-03 2021-10-12 | TR-963, local PDF |
| Simeon Spasov | Encoding parameter and structural efficiency in deep learning | Prof. P. Lio', Prof. M. Spillantini (ClinMed) | 2016-10-01 | 2021-05-23 2021-10-12 | local PDF |
| Kawin Worrasangasilpa | Formally verifying the security properties of a proof-of-stake blockchain protocol | Prof. L. C. Paulson | 2017-01-05 | 2021-04-30 2021-10-19 | local PDF |
| Andreas Grammenos | Federated Linear Dimensionality Reduction | Prof. C. Mascolo | 2016-10-01 | 2021-04-30 2021-06-29 | local PDF |
| Nicholas Timmons | Software-based approximate computing for mathematical functions | Prof. A. C. Rice | 2017-10-01 | 2021-04-09 2021-06-29 | local PDF |
| Marco Caballero Gutierrez | Routing algorithms for next-generation MANETs: Why shortest is not the greatest | Prof. J. A. Crowcroft | 2016-10-01 | 2021-03-08 2021-06-29 | local PDF |
| Catalina Cangea | Exploiting multimodality and structure in world representations | Prof. P. Lio' | 2017-10-01 | 2021-03-07 2021-06-29 | local PDF |
| Conrad Watt | Mechanising and evolving the formal semantics of WebAssembly: The Web’s new low-level language | Prof. P. M. Sewell | 2016-10-01 | 2021-02-05 2021-07-06 | local PDF |
| Mansoor Ahmed | Decentralised computer systems | Prof. R. J. Anderson | 2017-10-01 | 2021-01-07 2021-04-27 | local PDF |
| Russell Moore | Skill embeddings: artificial neural network representations for pedagogical policy development | Prof. P. J. Buttery | 2016-01-04 | 2021-01-04 2022-01-18 | local PDF |
| Botty Dimanov | Interpretable Deep Learning: Beyond Feature-Importance with Concept-based Explanations | Prof. M. Jamnik | 2016-10-01 | 2020-12-30 2021-04-27 | local PDF |
| Saad Aloteibi | A user-centred approach to information retrieval | Dr S. Clark | 2009-10-01 | 2020-12-18 2021-06-29 | local PDF |
| Joseph Zammit | Compressive sensing of images and video: towards low-complexity, real-time operation | Dr I. J. Wassell, Dr. Ashwin A Seshia (CUED) | 2016-10-01 | 2020-12-15 2021-04-27 | local PDF |
| Ahmed Zaidi | The role of machine learning in personalised instructional sequencing for language learning | Prof. P. J. Buttery | 2016-10-01 | 2020-11-20 2021-04-27 | local PDF |
| Myoung Jin Nam | Inline and Sideline Approaches for Low-cost Memory Safety in C | Dr D. J. Greaves | 2005-10-01 | 2020-11-13 2021-01-19 | TR-954, local PDF |
| Jiexin Zhang | Hardware and software fingerprinting of mobile devices | Prof. A. R. Beresford | 2017-10-01 | 2020-11-02 2021-03-02 | local PDF |
| Dionysios Manousakas | Data Summarizations for Scalable, Robust and Privacy-Aware Learning in High Dimensions | Prof. C. Mascolo | 2016-10-01 | 2020-10-30 2021-03-02 | TR-960, local PDF |
| Kevin Heffernan | Problem-solving recognition in scientific text | Prof. S. H. Teufel | 2015-10-01 | 2020-10-13 2021-01-19 | local PDF |
| Leran Cai | The Impact of Randomisation in Load Balancing and Random Walks | Dr T. M. Sauerwald | 2016-10-01 | 2020-09-30 2021-01-19 | local PDF |
| Aliaksei Mikhailiuk | Active sampling, scaling and dataset merging for large-scale image quality assessment | Prof. R. K. Mantiuk | 2017-10-01 | 2020-09-28 2021-01-19 | local PDF |
| Youmna Farag | Neural approaches to discourse coherence: modeling, evaluation and application | Prof. E. J. Briscoe | 2016-10-01 | 2020-09-28 2021-01-19 | local PDF |
| Ntombikayise Banda | Multimodal Emotion Recognition | Prof. P. Robinson | 2010-10-01 | 2020-09-04 2021-01-19 | local PDF |
| Duo Wang | Neural Diagrammatic Reasoning | Prof. P. Lio', Prof. M. Jamnik | 2016-10-01 | 2020-08-31 2021-03-02 | local PDF |
| Lawrence Esswood | CheriOS: A high-performance and completely untrusted single-address-space capability operating system | Prof. R. N. Watson | 2015-10-01 | 2020-08-06 2021-01-19 | TR-961, local PDF |
| Ayat Fekry | Optimising data intensive computing with efficient configuration tuning | Prof. A. C. Rice | 2016-10-01 | 2020-07-17 2020-11-24 | local PDF |
| Helen Oliver | Obstacles to wearable computing | Prof. J. A. Crowcroft | 2016-10-01 | 2020-06-30 2021-03-02 | TR-966, local PDF |
| Krittika D'Silva | Modeling Urban Venue Dynamics through Spatio-Temporal Metrics and Complex Networks | Prof. C. Mascolo | 2016-10-01 | 2020-05-28 2020-07-14 | local PDF |
| Ran Guan | Crowdsourcing Mobile Data for Indoor Positioning | Dr R. K. Harle | 2015-10-01 | 2020-04-30 2020-07-14 | local PDF |
| Roy Spliet | A SIMD architecture for hard real-time systems | Prof. R. D. Mullins | 2015-10-01 | 2020-03-31 2020-07-14 | local PDF |
| Ewa Muszynska | Semantic chunking | Prof. A. A. Copestake | 2015-10-01 | 2020-03-30 2020-06-09 | local PDF |
| Robert Kovacsics | Much tag-do about nothing | Prof. S. W. Moore | 2016-10-01 | 2020-02-24 2020-06-09 | |
| Alexander Michael Vetterl | Honeypots in the age of universal attacks and the Internet of Things | Prof. R. J. Anderson | 2016-10-01 | 2019-11-20 2020-01-21 | TR-944, local PDF |
| Helena Andres Terre | Interpreting deep learning for cell differentiation | Prof. P. Lio' | 2015-10-01 | 2019-11-04 2020-01-21 | local PDF |
| Mohibi Hussain | Availability, integrity, and confidentiality for a content-centric internet architecture | Prof. J. A. Crowcroft, Dr A. Sathiaseelan | 2015-10-01 | 2019-10-29 2020-03-03 | local PDF |
| Philip Saville | Cartesian closed bicategories: type theory and coherence | Prof. M. P. Fiore | 2015-10-01 | 2019-10-17 2020-04-28 | local PDF |
| Dylan McDermott | Reasoning about effectual programs and evaluation order | Prof. A. Mycroft | 2016-10-01 | 2019-10-17 2020-03-03 | TR-948, local PDF |
| Alexander Richardson | Complete spatial safety for C and C++ using CHERI capabilities | Prof. R. N. Watson | 2015-10-01 | 2019-10-15 2020-01-21 | TR-949, local PDF |
| Peng Sun | Speculative vectorization with selective replay | Prof. T. M. Jones | 2015-10-01 | 2019-09-30 2020-01-21 | local PDF |
| Hugo Paquet | Probabilistic concurrent game semantics | Prof. G. Winskel | 2015-10-01 | 2019-09-30 2020-01-21 | TR-950 |
| Michael Schaarschmidt | End-to-end deep reinforcement learning in computer systems | Dr E. Yoneki | 2015-10-01 | 2019-09-29 2020-03-03 | TR-946, local PDF |
| Jianxin Zhao | Optimization of a modern numerical library, a bottom-up approach | Prof. J. A. Crowcroft | 2015-10-01 | 2019-09-27 2020-01-21 | TR-956, local PDF |
| Giovanna maria Dimitri | Multilayer network methodologies for brain data analysis and modelling | Prof. P. Lio' | 2015-10-01 | 2019-09-20 2020-01-21 | local PDF |
| Nanyang Ye | Visibility metrics and their application in visually lossless image compression | Prof. R. K. Mantiuk | 2016-10-01 | 2019-08-27 2019-11-26 | local PDF |
| Xiao Zhou | Spatio-temporal patterns of human mobility from geo-social networks for urban computing: Analysis, models and applications | Prof. C. Mascolo | 2015-10-01 | 2019-08-21 2019-11-26 | |
| Alexander Kuhnle | Evaluating visually grounded language capabilities using microworlds | Prof. A. A. Copestake | 2015-10-01 | 2019-08-21 2019-11-26 | TR-942, local PDF |
| Partha Maji | Model-architecture co-design of deep neural networks for embedded systems | Prof. R. D. Mullins | 2016-01-04 | 2019-07-26 2019-11-26 | local PDF |
| Hongyan Xia | Capability memory protection for embedded systems | Prof. S. W. Moore | 2015-10-01 | 2019-05-28 2019-10-15 | TR-955, local PDF |
| Kris Cao | Learning meaning representations for text generation with deep generative models | Prof. A. Vlachos, Dr S. Clark | 2014-10-01 | 2019-05-20 2019-10-15 | local PDF |
| Gregory Wilsenach | Symmetric circuits and model-theoretic logics | Prof. A. Dawar | 2014-10-01 | 2019-03-04 2019-06-11 | |
| Jean Maillard | Machine learning methods for vector-based compositional semantics | Dr S. Clark | 2014-10-01 | 2019-02-04 2019-04-23 | |
| Petar Velickovic | The resurgence of structure in deep neural networks | Prof. P. Lio' | 2016-01-04 | 2019-01-30 2019-04-23 | local PDF |
| Christopher Bryant | Automatic annotation of error types for grammatical error correction | Prof. E. J. Briscoe | 2015-10-01 | 2018-12-19 2019-04-23 | TR-938, local PDF |
| Matthew Daggitt | An algebraic perspective on the convergence of vector-based routing protocols | Prof. T. G. Griffin | 2015-10-01 | 2018-12-18 2019-03-05 | local PDF |
| Diana Andreea Popescu | Latency-driven performance in data centres | Prof. A. W. Moore | 2014-04-17 | 2018-12-13 2019-03-05 | TR-937 |
| Stephan Kollmann | Privacy-preserving decentralised collaborative applications | Prof. A. R. Beresford | 2014-10-01 | 2018-11-27 2019-03-05 | local PDF |
| Ian Orton | Cubical models of homotopy type theory | Prof. A. M. Pitts | 2015-10-01 | 2018-11-05 2019-01-22 | |
| Christopher Pulte | The semantics of multicopy atomic ARMv8 and RISC-V | Prof. P. M. Sewell | 2014-10-01 | 2018-09-30 2019-04-23 | local PDF |
| Heidi Howard | Distributed consensus revised | Prof. J. A. Crowcroft | 2014-10-01 | 2018-09-26 2019-01-22 | TR-935 |
| David Turner | Parallelisation of greedy algorithms for compressive sensing reconstruction | Dr I. J. Wassell | 2013-10-01 | 2018-09-17 2019-01-22 | TR-751, local PDF |
| Christian O'Connell | Exploiting quasiperiodic electromagnetic radiation using software-defined radio | Dr M. G. Kuhn | 2014-10-01 | 2018-09-10 2019-01-22 | local PDF |
| Ivo Timoteo | Learning dynamic systems as networks of stochastic differential equations | Dr S. B. Holden | 2012-10-01 | 2018-08-20 2019-01-22 | |
| Guy Emerson | Functional distributional semantics: Learning linguistically informed representations from a precisely annotated corpus | Prof. A. A. Copestake | 2014-10-01 | 2018-08-20 2018-10-16 | local PDF |
| Maxwell Conway | Machine learning methods for detecting structure in metabolic flow networks | Prof. P. Lio' | 2014-10-01 | 2018-08-06 2019-01-22 | TR-945, local PDF |
| Khaled Baqer | Resilient payment systems | Prof. R. J. Anderson | 2014-10-01 | 2018-07-19 2018-10-16 | TR-929, local PDF |
| Yang Liu | Application of prior information to discriminative feature learning | Dr I. J. Wassell | 2014-10-01 | 2018-06-15 2018-10-16 | local PDF |
| Menglin Xia | Text readability and summarisation for non-native reading comprehension | Prof. E. J. Briscoe | 2014-10-01 | 2018-06-07 2018-10-16 | |
| Meng Zhang | Modelling text meta-properties in automated text scoring for non-native English writing | Prof. E. J. Briscoe | 2014-10-01 | 2018-05-31 2018-10-16 | |
| Guo Yu | Effects of timing on users' perceived control when interacting with intelligent systems | Prof. A. F. Blackwell, Dr Ian Cross | 2014-10-01 | 2018-05-11 2018-10-16 | TR-939, local PDF |
| Ilias Marinos | Network and storage stack specialisation for performance | Prof. R. N. Watson, Kyle Nesbit (Google mentor) | 2012-10-01 | 2018-05-11 2018-07-03 | local PDF |
| Alessandro Montanari | Devising and evaluating wearable technology for social dynamics monitoring | Prof. C. Mascolo | 2014-10-01 | 2018-05-10 2018-10-16 | local PDF |
| Hui Xiao | Network-based approaches for multi-omic data integration | Prof. P. Lio', Prof. Anne Ferguson-Smith, MoleBio | 2014-04-17 | 2018-04-16 2018-10-16 | |
| Syed Zafar Ul Hussan Gilani | Understanding the behaviour and influence of automated social agents | Prof. J. A. Crowcroft | 2014-10-01 | 2018-02-23 2018-06-19 | local PDF |
| Sam Ainsworth | Prefetching for complex memory access patterns | Prof. T. M. Jones | 2014-10-01 | 2018-02-06 2018-06-19 | TR-923, local PDF |
| Yimai Fang | Proposition-based summarization with coherence-driven incremental model | Prof. S. H. Teufel | 2013-10-01 | 2018-01-05 2018-04-17 | |
| Thomas Brouwer | Bayesian matrix factorisation: inference, priors, and data integration | Prof. P. Lio' | 2014-10-01 | 2017-10-02 2018-01-23 | local PDF |
| Isak Herman | Public engagement technology for bioacoustic citizen science | Prof. A. F. Blackwell | 2013-10-01 | 2017-09-29 2020-04-28 | local PDF |
| Colin Rothwell | Protection from malicious peripherals | Prof. S. W. Moore | 2013-10-01 | 2017-09-29 2018-01-23 | |
| Wenda Li | Towards justifying computer algorithms in Isabelle/HOL | Prof. L. C. Paulson | 2013-10-01 | 2017-09-28 2018-03-09 | local PDF |
| Alexandre Joannou | High-performance memory safety optimizing the CHERI capability machine | Prof. S. W. Moore | 2013-10-01 | 2017-09-28 2018-01-23 | TR-936 |
| Simon Baker | Semantic text classification for cancer text mining | Dr A. L. Korhonen | 2013-10-01 | 2017-09-27 2018-01-23 | |
| Jean Pichon-Pharabod | A no-thin-air memory model for programming languages | Prof. P. M. Sewell | 2013-10-01 | 2017-09-20 2018-01-23 | |
| Ionel Gog | Flexible and efficient computation in large data centres | Prof. R. N. Watson, Prof. I. M. Leslie | 2012-10-01 | 2017-09-01 2018-01-23 | local PDF |
| Wenduan Xu | Structured learning with inexact search: Advances in shift-reduce CCG parsing | Dr S. Clark | 2012-01-05 | 2017-08-25 2017-11-21 | local PDF |
| Gregory Tsipenyuk | Evaluation of decentralized email architecture and social network analysis based on email attachment sharing | Prof. J. A. Crowcroft | 2013-10-01 | 2017-08-03 2017-10-17 | TR-918, local PDF |
| Pengming Wang | Descriptive complexity of constraint problems | Prof. A. Dawar | 2013-10-01 | 2017-07-27 2018-01-23 | |
| Ruoyu Zhou | Guided automatic binary parallelisation | Prof. T. M. Jones, Dr R. D. Mullins | 2013-10-01 | 2017-07-20 2018-01-23 | |
| Ziqiang Feng | Power control and resource allocation for QoS-constrained wireless networks | Dr I. J. Wassell | 2013-10-01 | 2017-07-12 2017-10-17 | local PDF |
| Jyothish Soman | A peformance efficient and practical processor error recovery framework | Prof. T. M. Jones, Prof. S. W. Moore | 2014-01-06 | 2017-07-07 2018-01-23 | TR-931, local PDF |
| Erroll Wood | Gaze estimation with graphics | Prof. P. Robinson | 2013-10-01 | 2017-05-02 2017-07-04 | local PDF |
| Sandro Bauer | Content selection for timeline generation from single history articles | Prof. S. H. Teufel, Dr S. Clark | 2012-04-17 | 2017-03-31 2017-10-17 | |
| Matic Horvat | Hierarchical statistical semantic translation and realization | Prof. A. A. Copestake, Prof. W. J. Byrne, CUED | 2013-10-01 | 2017-03-07 2017-07-04 | TR-913, local PDF |
| Petko Georgiev | Heterogeneous resource mobile sensing: computational offloading, scheduling and algorithm optimisation | Prof. C. Mascolo | 2013-10-01 | 2017-01-05 2017-03-07 | local PDF |
| Advait Sarkar | Interactive analytical modelling | Prof. A. F. Blackwell, Prof. M. Jamnik | 2013-10-01 | 2016-12-01 2017-03-07 | TR-920, local PDF |
| Matthew Grosvenor | Latency-first datacenter network scheduling | Prof. A. W. Moore | 2012-01-05 | 2016-11-13 2017-01-17 | TR-943 |
| Sheharbano Khattak | Characterization of Internet censorship from multiple perspectives | Prof. J. A. Crowcroft, Dr S. J. Murdoch | 2013-10-01 | 2016-11-01 2017-01-17 | TR-897, local PDF |
| Stephen Dolan | Algebraic subtyping | Prof. A. Mycroft | 2012-10-01 | 2016-09-30 2017-01-17 | local PDF |
| Valentin Dalibard | A framework to build bespoke auto-tuners with structured Bayesian optimisation | Dr E. Yoneki, Prof. J. A. Crowcroft | 2012-10-01 | 2016-09-30 2016-11-29 | TR-900, local PDF |
| Andre Ribeiro | 'When Google search helps unemployment' and other cases for a theory of everday media | Dr E. Yoneki, Dr S. H. Teufel | 2012-10-01 | 2016-09-26 2016-11-29 | |
| Zheng Yuan | Grammatical error correction in non-native English | Prof. E. J. Briscoe | 2013-10-01 | 2016-09-23 2017-01-17 | TR-904 |
| Desislava Hristova | A multilayer approach to geo-social networks: models, metrics and applications | Prof. C. Mascolo | 2013-04-17 | 2016-09-23 2016-11-29 | local PDF |
| Annalisa Occhipinti | Computational models of cancer for survival prediction | Prof. P. Lio' | 2013-10-01 | 2016-09-21 2017-01-17 | |
| Chao Gao | Signal maps for smartphone localisation | Dr R. K. Harle | 2013-10-01 | 2016-08-03 2016-11-29 | TR-901, local PDF |
| Raphael Proust | ASAP: As Static As Possible memory management | Prof. A. Mycroft | 2012-10-01 | 2016-07-29 2016-10-18 | TR-908, local PDF |
| Jingjing Shen | Trimmed NURBS to untrimmed subdivision: conversion for watertight representations | Prof. P. Robinson, Dr J. Kosinka | 2012-10-01 | 2016-07-18 2016-10-18 | |
| Douwe Kiela | Deep embodiment: Grounding semantics in perceptual modalities | Dr S. Clark | 2012-10-01 | 2016-07-08 2016-10-18 | TR-899, local PDF |
| Felix Hill | Representing linguistic meaning in distributed memories from words to sentences and beyond | Dr A. L. Korhonen | 2012-10-01 | 2016-06-16 2016-11-29 | |
| Tomas Petricek | Context-aware programming languages | Prof. A. Mycroft, Dr Don Syme | 2011-01-05 | 2016-05-31 2017-01-17 | TR-906, local PDF |
| Dongting Yu | Access control for network management | Prof. R. J. Anderson | 2010-10-01 | 2016-05-19 2016-10-18 | TR-898 |
| Muhammad Umar Janjua | Static Program Correction Analysis and Transformations | Prof. A. Mycroft, iap | 2003-10-01 | 2016-05-16 2017-01-17 | |
| Flora Ponjou Tasse | 3D Shape Retrieval | Prof. P. Robinson | 2012-10-01 | 2016-05-16 2016-10-18 | |
| Lucian Carata | Provenance-based computing | Prof Sir A. Hopper, Dr R. S. Sohan | 2011-10-01 | 2016-04-20 2016-10-18 | TR-930, local PDF |
| Naruemon (Ploy) Pratanwanich | Probabilistic latent variable modelling for integrated biological data | Prof. P. Lio' | 2012-10-01 | 2016-04-15 2016-10-18 | local PDF |
| Xin Ding | On enhancing compressive sensing for multidimensional signals: causal and batch approaches | Dr I. J. Wassell | 2012-04-17 | 2016-04-08 2016-10-18 | |
| Mariano Felice | Artificial error generation for translation-based grammatical error correction | Prof. E. J. Briscoe | 2013-01-04 | 2016-03-24 2016-06-28 | TR-895, local PDF |
| Kumar Sharad | Learning to de-anonymize social networks | Prof. R. J. Anderson, Dr S. J. Murdoch | 2012-06-22 | 2016-03-21 2016-06-28 | TR-896 |
| Jannis Bulian | Parameterized complexity of distances to sparse graph classes | Prof. A. Dawar | 2012-10-01 | 2016-02-25 2016-06-28 | TR-903, local PDF |
| Laurent Simon | Exploring new attack vectors for the exploitation of smartphones | Prof. R. J. Anderson | 2012-04-17 | 2016-02-01 2016-05-03 | TR-909 |
| Thomas Pasquier | Towards practical information flow control and audit | Prof. J. M. Bacon | 2012-10-01 | 2016-01-29 2016-05-03 | TR-893, local PDF |
| Yu Wang | Structured sparsity learning - taming the penalty under structure | Dr I. J. Wassell | 2012-01-05 | 2016-01-27 2016-05-03 | local PDF |
| James Snee | Operating system support for in-program instrumentation Operating system support for in-program instrumentation | Prof. A. C. Rice, Dr R. S. Sohan | 2011-10-01 | 2016-01-04 2016-05-03 | |
| Marco Ferreira Devesas Campos | Mendler induction and classical logic | Prof. M. P. Fiore | 2011-10-01 | 2015-12-14 2016-03-08 | local PDF |
| Oliver Chick | Forgoing hypervisor fidelity for measuring virtual machine performance | Prof. A. C. Rice, Dr R. S. Sohan | 2012-10-01 | 2015-11-30 2016-03-08 | |
| Andra Adams | Automated inference of complex emotions from facial expressions and head gestures | Prof. P. Robinson | 2010-10-01 | 2015-11-11 2016-01-19 | |
| Malte Schwarzkopf | Operating system support for warehouse-scale computing | Prof. I. M. Leslie, jac | 2009-10-01 | 2015-10-23 2016-03-08 | local PDF |
| Yoli Shavit | Algorithms for reconstructing the 3D genome architecture | Prof. P. Lio' | 2012-10-01 | 2015-10-12 2015-12-01 | local PDF |
| Daniel Thomas | Security metrics for computer systems | Prof. A. R. Beresford | 2012-10-01 | 2015-09-30 2016-03-08 | |
| William Sonnex | Fixed-point promotion: taking the induction out of automated induction | Prof. L. C. Paulson | 2011-10-01 | 2015-09-30 2016-01-19 | TR-905 |
| Niall Murphy | Discovering and exploiting parallelism in DOACROSS loops | Prof. R. D. Mullins | 2011-10-01 | 2015-09-30 2016-01-19 | TR-882, local PDF |
| Gareth Bailey | In situ gait analysis during steady state running using foot mounted sensors | Dr R. K. Harle | 2011-10-01 | 2015-09-30 2016-01-19 | |
| Robert Norton | Hardware support for compartmentalisation | Prof. S. W. Moore | 2011-10-01 | 2015-09-30 2015-12-01 | TR-887 |
| Raoul-Gabriel Urma | Programming language evolution | Prof. A. Mycroft | 2011-10-01 | 2015-09-21 2016-03-08 | TR-902 |
| Zongyan Huang | Machine learning and algebra | Prof. L. C. Paulson | 2011-10-01 | 2015-08-24 2015-10-20 | TR-884, local PDF |
| Ramana Kumar | A Verified Implementation of ML | Prof. M. J. C. Gordon, Dr M. O. Myreen | 2011-10-01 | 2015-05-14 2015-12-01 | TR-879, local PDF |
| Alistair Stead | Using multiple representations to develop notational expertise in programming | Prof. A. F. Blackwell | 2011-10-01 | 2015-05-14 2015-10-20 | TR-890 |
| Joonwoong Kim | Anonymous communication in DTN | Prof. J. A. Crowcroft, fms | 2005-10-01 | 2015-05-06 2015-10-20 | |
| Theodosia Togia | The language of collaborative tagging | Prof. A. A. Copestake | 2011-10-01 | 2015-04-16 2015-06-30 | TR-875, local PDF |
| Alexander Katovsky | Games as Factorization Systems | Prof. G. Winskel | 2010-10-01 | 2015-04-10 2015-10-20 | |
| Tobias Moncaster | Optimising the data centre operation by reducing transport latency | Prof. J. A. Crowcroft | 2011-10-01 | 2015-04-07 2018-03-06 | TR-921, local PDF |
| Andrius Aucinas | Design of energy-efficient mobile communications protocols | Prof. J. A. Crowcroft | 2011-10-01 | 2015-03-16 2015-10-20 | local PDF |
| Claudio Angione | Computational methods for multi-omic models of cell metabolism and their importance for theoretical computer science | Prof. P. Lio' | 2011-10-01 | 2015-03-05 2015-05-05 | |
| Vaiva Imbrasaite | Continuous dimensional emotion tracking in music | Prof. P. Robinson | 2011-10-01 | 2015-01-21 2015-03-10 | |
| Marwa Mahmoud | Analysis of hand-over-face gestures in natural expressions | Prof. P. Robinson | 2010-10-01 | 2015-01-15 2015-05-05 | |
| Lech Swirski | Gaze estimation on glasses-based stereoscopic displays | Prof. N. A. Dodgson | 2010-10-01 | 2014-12-22 2015-03-10 | local PDF |
| Ekaterina Kochmar | Error detection in content word combinations | Prof. E. J. Briscoe | 2011-10-01 | 2014-12-12 2015-05-05 | TR-886, local PDF |
| Mohammad Ali Moni | Clinical bioinformatics and computational modelling for diseas comorbidities diagnosis | Prof. P. Lio' | 2011-05-05 | 2014-11-20 2015-01-20 | |
| Rubin Xu | Improving application trustworthiness on stock Android | Prof. R. J. Anderson | 2010-10-01 | 2014-10-27 2015-01-20 | |
| Steven Marsh | Efficient programming models for neurocomputation | Prof. S. W. Moore | 2010-10-01 | 2014-09-30 2015-01-20 | local PDF |
| William Denman | Automated verification of continuous and hybrid dynamical systems | Prof. L. C. Paulson | 2010-10-01 | 2014-09-25 2015-01-20 | TR-910, local PDF |
| Peter Calvert | Architecture-neutral parallelism via the Join Calculus | Prof. A. Mycroft | 2010-10-01 | 2014-09-24 2015-03-10 | TR-871, local PDF |
| Zhen Bai | Augmented reality interfaces for symbolic play in early childhood | Prof. A. F. Blackwell | 2010-10-01 | 2014-09-17 2015-01-20 | TR-874 |
| Andreas Koltes | Reconfigurable memory systems for embedded microprocessors | Prof. R. D. Mullins | 2010-10-01 | 2014-09-16 2014-12-02 | local PDF |
| Omar-Salim Choudary | Efficient multivariate statistical techniques for extracting secrets from electronic devices | Dr M. G. Kuhn | 2010-10-01 | 2014-07-16 2014-10-21 | TR-878, local PDF |
| Mark Batty | The C11 and C++11 Concurrency Model | Prof. P. M. Sewell, mjp | 2009-01-05 | 2014-06-20 2014-10-21 | |
| Henrik Lieng | Surface modelling for 2D imagery | Prof. N. A. Dodgson, Jiri Kosinka | 2011-10-01 | 2014-06-17 2014-10-21 | TR-862, local PDF |
| Charalampos Rotsos | Scalable Software Defined Networking | Prof. A. W. Moore | 2009-04-10 | 2014-06-09 2014-10-21 | |
| Chloe Brown | The role of space in social groups: Analysis and technological applications | Prof. C. Mascolo | 2011-10-01 | 2014-06-06 2014-10-21 | local PDF |
| Janina Voigt | Aliasing contracts: a unifying approach to object-oriented alias protection | Prof. A. Mycroft | 2011-10-01 | 2014-05-19 2014-10-21 | TR-880 |
| Steffen Loesch | Program equivalence in function metaprogramming via nominal Scott domains | Prof. G. Winskel | 2010-10-01 | 2014-05-19 2014-10-21 | TR-860 |
| Steven Herbert | Wireless communications in vehicles | Dr I. J. Wassell | 2010-10-01 | 2014-05-06 2014-10-21 | local PDF |
| Nik Sultana | Higher-order proof translation | Prof. L. C. Paulson | 2008-10-01 | 2014-04-14 2014-07-01 | TR-867 |
| Jonathan Woodruff | CHERI: A RISC capability machine for practical memory safety | Prof. S. W. Moore | 2010-10-01 | 2014-03-07 2014-05-06 | TR-858 |
| Agata Brajdić | Infrastructure-free indoor pedestrian localisation with smartphones | Dr R. K. Harle, Prof. J. M. Bacon | 2009-10-01 | 2014-03-01 2014-07-01 | |
| Syed Ali Mustafa Zaidi | Accelerating Control-Flow Intensive Code in Spatial Hardware | Dr D. J. Greaves | 2009-10-01 | 2014-02-28 2014-07-01 | TR-870 |
| Christopher Smowton | I/O optimisation and elimination via partial evaluation I/O optimisation and elimination via partial evaluation | Prof. A. Mycroft, Prof. A. W. Moore | 2009-10-01 | 2014-02-11 2014-07-01 | TR-865 |
| Matej Urbas | Mechanising heterogeneous reasoning in theorem provers | Prof. M. Jamnik | 2009-10-01 | 2013-12-11 2014-07-01 | local PDF |
| Thomas Lippincott | Unsupervised approaches to syntactic verb frame acquisition for biomedicine | Dr A. L. Korhonen, Prof. E. J. Briscoe | 2009-10-01 | 2013-11-26 2014-03-11 | local PDF |
| Jukka Lehtosalo | Adapting dynamic object-oriented languages to mixed dynamic and static typing | Dr D. J. Greaves, Prof. A. Mycroft | 2009-10-01 | 2013-09-30 2014-01-21 | |
| Matko Botincan | Formal verification- driven parallelisation synthesis | Prof. M. J. C. Gordon | 2009-10-01 | 2013-09-27 2014-01-21 | TR-917, local PDF |
| Awais Athar | Sentiment analysis of scientific citations | Prof. S. H. Teufel, Dr S. Clark | 2009-10-01 | 2013-09-27 2014-01-21 | TR-856 |
| Tadas Baltrusaitis | Automatic facial expression analysis | Prof. P. Robinson | 2009-10-01 | 2013-09-26 2014-01-21 | TR-861, local PDF |
| Steven Smith | Raft: Automated techniques for diagnosing, reproducing, and fixing concurrency bugs | Dr S. M. Hand | 2005-10-01 | 2013-09-18 2014-01-21 | local PDF |
| Anastasios Noulas | Human urban mobility in location-based social networks: Analysis, models and applications | Prof. C. Mascolo, jac | 2010-01-05 | 2013-08-23 2013-10-22 | |
| James Gregory Jardine | Automatically Generating Reading Lists | Prof. S. H. Teufel, alk | 2009-10-01 | 2013-08-15 2013-12-03 | TR-848, local PDF |
| Jisun An | Multi-faceted analysis of news sharing in social networking sites | Prof. J. A. Crowcroft | 2010-01-05 | 2013-08-06 2013-10-22 | |
| Wei Ming Khoo | Decompilation as search | Prof. R. J. Anderson | 2009-10-01 | 2013-08-05 2013-10-22 | TR-844 |
| Daniel Bates | Exploiting tightly-coupled cores | Prof. R. D. Mullins | 2009-10-01 | 2013-07-31 2013-12-03 | TR-846, local PDF |
| Nicholas Pilkington | Hyperparameter optimisation for multiple kernels | Dr S. B. Holden | 2009-10-01 | 2013-06-28 2013-12-03 | |
| Narseo Vallina-Rodriguez | The hidden costs of mobile applications: A cross-layer analysis of energy and spectrum waste of mobile applications | Prof. J. A. Crowcroft | 2009-01-05 | 2013-04-12 2013-10-22 | |
| Ian Davies | Workload measurement in command and control | Prof. P. Robinson | 2008-10-01 | 2013-03-18 2013-07-02 | |
| Milos Puzovic | Hardware/software interface dynamic multicore scheduling | Dr D. J. Greaves | 2008-10-01 | 2013-03-14 2013-07-02 | local PDF |
| Dominic Orchard | Programming contextual computations | Prof. A. Mycroft | 2008-10-01 | 2013-01-04 2013-07-02 | TR-854 |
| Helen Yannakoudakis | Automated assessment of English-learner writing | Prof. E. J. Briscoe | 2009-10-01 | 2012-12-21 2013-05-07 | TR-842 |
| Marek Rei | Minimally supervised dependency-based methods for natural language processing | Prof. E. J. Briscoe, alk | 2009-10-01 | 2012-12-21 2013-05-07 | TR-840 |
| John Wickerson | Concurrent verification for sequential programs | Prof. G. Winskel | 2008-10-01 | 2012-12-20 2013-05-07 | TR-834 |
| Maximilian Bolingbroke | Supercompilation for call-by-need languages | Prof. A. Mycroft, SPJones | 2008-10-01 | 2012-12-05 2013-03-12 | TR-835, local PDF |
| Kiran Rachuri | Smartphones based Social Sensing: Adaptive Sampling, Sensing and Computation Offloading | Prof. C. Mascolo | 2009-10-01 | 2012-11-28 2013-03-12 | |
| Ching-Yun Chang | Transformations for linguistic steganography | Dr S. Clark | 2009-10-01 | 2012-11-14 2013-03-12 | local PDF |
| Paul James Fox | Massively parallel neural computation | Prof. S. W. Moore | 2009-04-10 | 2012-10-04 2013-01-22 | TR-830, local PDF |
| Leo White | Extending old languages for the new architectures | Prof. A. Mycroft, Derek McAuley | 2008-10-01 | 2012-09-28 2013-03-12 | local PDF |
| Christopher Thompson-Walsh | Semantics and extension of a biological modelling language | Prof. G. Winskel | 2008-10-01 | 2012-09-28 2013-01-22 | |
| Yuedong Song | Electroencephalogram machine learning to assist diagnosis and treatment of epilepsy | Prof. P. Lio' | 2008-10-01 | 2012-09-26 2015-03-10 | local PDF |
| Soren Preibusch | Privacy choices online: preferences, incentives and enforcement | Prof. A. R. Beresford | 2008-10-01 | 2012-09-25 2013-01-22 | local PDF |
| Colin Kelly | Automatic extraction of property norm-like data from large text corpora | Dr A. L. Korhonen | 2008-10-01 | 2012-09-25 2013-01-22 | TR-839 |
| Benjamin Roberts | Language semantics for secure information flow analysis | Dr S. Staton | 2008-10-01 | 2012-09-24 2013-01-22 | |
| Wei Chen | Compressive sensing for wireless sensor networks | Dr I. J. Wassell, acr | 2009-10-01 | 2012-09-20 2012-12-04 | local PDF |
| Gregory Chadwick | Communication centric, multi-core, fine-grained processor architecture | Prof. S. W. Moore | 2008-10-01 | 2012-09-14 2013-01-22 | TR-832 |
| Lin Sun | Automatic induction of verb classes using clustering | Dr A. L. Korhonen | 2008-10-01 | 2012-07-23 2012-12-04 | local PDF |
| Jonathan Anderson | Privacy engineering for social networks. | Prof. F. M. Stajano | 2008-10-01 | 2012-07-20 2012-10-16 | TR-825, local PDF |
| Aisha Elsafty | A naming and trust approach for seamless handover in multiple-interface mobile devices | Dr D. J. Greaves | 2007-01-05 | 2012-07-12 2013-03-12 | local PDF |
| Salvatore Scellato | Spatial properties of online social services: measurement, analysis and applications | Prof. C. Mascolo | 2009-04-10 | 2012-05-08 2012-10-16 | local PDF |
| Charles Reams | Modelling energy efficiency for computation | Prof. A. Mycroft | 2008-10-01 | 2012-04-04 2012-07-03 | TR-821 |
| Joseph Bonneau | Security and privacy in the social web | Prof. R. J. Anderson | 2008-10-01 | 2012-04-04 2012-05-08 | TR-819 |
| Meredydd Luff | Communication for programmability and performance on multi-core processors | Prof. S. W. Moore, am | 2009-01-05 | 2012-03-20 2012-10-16 | TR-831, local PDF |
| Christopher Nash | Supporting virtuosity and flow in computer music | Prof. A. F. Blackwell | 2006-10-01 | 2011-12-20 2012-07-03 | |
| Robin Message | Programming for humans- a new paradigm for domain-specific languages | Prof. A. Mycroft | 2007-10-01 | 2011-12-19 2012-05-08 | TR-843 |
| Syed Haider | Computational systems biology-based feature selection for cancer prognosis | Prof. P. Lio' | 2009-01-05 | 2011-12-15 2012-03-13 | |
| Eric Koskinen | Temporal verification of programs | Prof. M. J. C. Gordon, Byron Cook | 2008-10-01 | 2011-12-09 2012-05-08 | |
| John Tang | Temporal network metrics and their application to real world networks | Prof. C. Mascolo | 2008-10-01 | 2011-12-06 2012-03-13 | |
| Shailendra Fuloria | Robust security for the electricity network | Prof. R. J. Anderson | 2009-01-05 | 2011-11-22 2012-01-24 | |
| Hyoungshick Kim | Complex network analysis for secure and robust communications | Prof. R. J. Anderson | 2008-10-01 | 2011-11-21 2012-01-24 | |
| Stephan Kitchovitch | Computational modelling and analysis of seasonal influenza transmission and evolution | Prof. P. Lio' | 2008-10-01 | 2011-11-14 2012-03-13 | |
| Christian Richardt | Colour videos with depth acquisition, processing and evaluation | Prof. N. A. Dodgson | 2007-10-01 | 2011-11-11 2012-01-24 | TR-815 |
| Simon Fothergill | Automatic assessment of kinaesthetic performance applied to rowing | Prof Sir A. Hopper | 2005-10-01 | 2011-09-30 2013-10-22 | |
| Richard Russell | Planning with preferences using maximum satisfiability | Dr S. B. Holden | 2007-10-01 | 2011-09-30 2012-03-13 | TR-822 |
| Sherif Akoush | Exploiting surplus renewable energy in datacentre computing | Prof Sir A. Hopper, Dr R. S. Sohan | 2007-10-01 | 2011-09-30 2012-01-24 | local PDF |
| Philip Taylor | Specification of policy languages for network routing protocols in the Bellman-Ford family | Prof. T. G. Griffin | 2007-10-01 | 2011-09-29 2012-01-24 | |
| Vilius Naudziunas | Design and implementation of a language for path algebras | Prof. T. G. Griffin | 2008-10-01 | 2011-09-28 2011-12-06 | |
| Ruoshui Liu | Planning and deployment of wireless sensor networks | Dr I. J. Wassell | 2007-10-01 | 2011-09-21 2011-12-06 | |
| Arno Pauly | Computable metamathematics and its applications to game theory | Prof. A. Dawar | 2008-10-01 | 2011-09-16 2012-01-24 | local PDF |
| Viet Anh Nguyen | Bayesian approaches to biological network predictions | Prof. P. Lio' | 2007-10-01 | 2011-09-07 2011-10-11 | |
| Pedro Brandao | Abstracting information on body area networks | Prof. J. M. Bacon | 2007-04-17 | 2011-07-13 2011-10-11 | TR-812 |
| Derek Murray | A distributed execution engine supporting data-dependent control flow | Dr S. M. Hand | 2007-10-01 | 2011-07-08 2011-12-06 | local PDF |
| Andrew Lewis | Reconstructing compressed photo and video data | Dr M. G. Kuhn | 2007-10-01 | 2011-06-27 2011-10-11 | TR-813 |
| Anilkumar Sorathiya | Computational modelling approaches to HIV-1 dynamics | Prof. P. Lio' | 2007-10-01 | 2011-06-08 2011-10-11 | |
| Ian Leung | Fast network analysis and applications in real-world networks | Prof. P. Lio' | 2008-01-05 | 2011-05-31 2011-10-11 | local PDF |
| Md Abdul Alim | On the Interaction of Internet Routing Protocols | Prof. T. G. Griffin, jac | 2007-10-01 | 2011-05-03 2011-10-11 | |
| Silvia Breu | Mining and tracking in evolving software | Prof. A. Mycroft | 2006-04-17 | 2011-04-15 2011-12-06 | TR-838, local PDF |
| Nishanth Sastry | Social network support for data delivery infrastructures | Prof. J. A. Crowcroft | 2007-04-17 | 2011-04-15 2011-07-04 | |
| Amitabha Roy | Software lock elision for x86 machine code | Dr S. M. Hand, Dr T. L. Harris | 2007-10-01 | 2011-04-15 2011-07-04 | TR-801, local PDF |
| Johanna Geiss | Latent semantic sentence clustering for multi-document summarization | Prof. S. H. Teufel | 2007-04-17 | 2011-04-11 2011-07-04 | TR-802, local PDF |
| Ola Mahmoud | Second-order algebraic theories | Prof. M. P. Fiore | 2007-01-05 | 2011-03-29 2011-10-11 | TR-807, local PDF |
| Laurel Riek | Expression synthesis on robots | Prof. P. Robinson | 2007-10-01 | 2011-03-25 2011-07-04 | local PDF |
| Ekaterina Shutova | Computational approaches to figurative language | Prof. S. H. Teufel | 2007-10-01 | 2011-03-11 2011-05-10 | TR-803 |
| Simon Hay | A model personal energy meter | Prof Sir A. Hopper | 2007-10-01 | 2011-02-10 2011-05-10 | TR-805, local PDF |
| Jean Martina | Verification of security protocols based on multicase communication | Prof. L. C. Paulson | 2006-10-01 | 2011-02-09 2011-05-10 | TR-816 |
| Julien Quintard | Towards a worldwide storage infrastructure | Prof. J. M. Bacon | 2007-10-01 | 2011-01-24 2011-07-04 | |
| Nick Barrow-Williams | Proximity coherence for chip-multiprocessors | Prof. S. W. Moore | 2007-10-01 | 2011-01-20 2011-07-04 | TR-810, local PDF |
| Thomas Tuerk | A separation logic framework for HOL | Prof. M. J. C. Gordon | 2007-01-05 | 2010-12-24 2011-05-10 | TR-799 |
| John Miller | Distributed virtual environment scalability and security | Prof. J. A. Crowcroft | 2006-10-01 | 2010-12-22 2011-07-04 | TR-809 |
| Stephen Kell | Black-box composition of mismatched software compnents | Dr D. J. Greaves, kaf | 2006-10-01 | 2010-12-14 2011-05-10 | TR-845, local PDF |
| Jonathan Mak | Facilitating program parallelisation - a profiling-based approach | Prof. A. Mycroft | 2007-10-01 | 2010-11-18 2011-03-15 | TR-796, local PDF |
| Weisi Guo | Power allocation for wireless collaborative networks | Dr I. J. Wassell | 2007-04-17 | 2010-11-08 2011-03-15 | |
| Robert Watson | New approaches to operating system security extensibility | Prof. R. J. Anderson | 2005-10-01 | 2010-10-29 2011-01-25 | TR-818, local PDF |
| Richard Bergmair | Monte Carlo Semantics: Robust inference and logical pattern processing based on integrated deep and shallow representations | Prof. A. A. Copestake | 2006-10-01 | 2010-10-13 2011-03-15 | |
| Bogdan Roman | Scalable Cross-Layer Wireless Medium Access Control | Dr I. J. Wassell, Prof. F. M. Stajano | 2006-10-01 | 2010-10-11 2011-01-25 | |
| Yuguo He | Hierarchies in first-order logic and parameterized complexity | Prof. A. Dawar, amp | 2006-10-01 | 2010-10-08 2010-12-07 | local PDF |
| Bjarki Holm | Descriptive complexity of linear algebra | Prof. A. Dawar, mf | 2006-10-01 | 2010-09-30 2011-03-15 | local PDF |
| James Srinivasan | Improving cache utilisation | Prof. S. W. Moore, pr | 2003-01-05 | 2010-09-29 2011-01-25 | TR-800, local PDF |
| Boris Feigin | Interpretational overhead in system software | Prof. A. Mycroft | 2006-10-01 | 2010-09-27 2011-01-25 | TR-797 |
| James Bridge | Machine learning and automated theorem proving | Prof. L. C. Paulson | 2006-10-01 | 2010-08-05 2010-10-12 | TR-792, local PDF |
| Oliver Woodman | Pedestrian localisation for indoor environments | Prof Sir A. Hopper | 2006-10-01 | 2010-05-28 2010-10-12 | local PDF |
| Shazia Afzal | Affect inference in learning environments: a functional view of facial affect analysis using naturalistic data | Prof. P. Robinson | 2006-10-01 | 2010-05-17 2010-10-12 | TR-793, local PDF |
| Periklis Akritidis | Practical memory safety for C | Dr S. M. Hand | 2006-10-01 | 2010-05-11 2010-10-12 | TR-798, local PDF |
| Aurelie Herbelot | Unspecified quantification | Prof. A. A. Copestake, Prof. S. H. Teufel | 2006-10-01 | 2010-04-27 2010-10-12 | TR-795, local PDF |
| Daniel Greenfield | Rentian locality in chip multiprocessors | Prof. S. W. Moore | 2006-04-17 | 2010-04-16 2010-07-01 | local PDF |
| Oeistein Andersen | Grammatical error prediction | Prof. E. J. Briscoe | 2006-10-01 | 2010-04-01 2010-07-01 | TR-794, local PDF |
| Theo Markettos | Active electromagnetic attacks on secure hardware | Prof. S. W. Moore | 2003-10-01 | 2010-03-19 2010-07-01 | TR-811, local PDF |
| Mohan Ganesalingam | The Language of Mathematics | Prof. A. A. Copestake, Prof. Martin Hyland | 2007-10-01 | 2010-02-26 2010-07-01 | local PDF |
| Thomas Cashman | NURBS-compatible subdivision surfaces | Prof. N. A. Dodgson | 2006-10-01 | 2010-01-22 2010-03-02 | TR-773 |
| Richard Van der Wath | Computational modelling of hematopoietic stem cell division and regulation dynamics | Prof. P. Lio' | 2005-10-01 | 2010-01-01 2010-03-02 | |
| Daniel O'Keeffe | Distributed complex event detection for pervasive computing | Prof. J. M. Bacon | 2003-10-01 | 2009-12-18 2010-03-02 | TR-783 |
| Pradipta Biswas | Inclusive user modelling | Prof. P. Robinson | 2006-10-01 | 2009-12-16 2010-03-02 | local PDF |
| Andreas Vlachos | Semi-supervised learning for biomedical information extraction | Prof. E. J. Briscoe | 2006-10-01 | 2009-12-10 2010-04-20 | TR-791 |
| Chung Kil Hur | Categorical equational systems: algebraic models and equational reasoning | Prof. M. P. Fiore | 2004-10-01 | 2009-11-12 2010-03-02 | local PDF |
| Sriram Srinivasan | Kilim: A server framework with lightweight actors, isolation types and Zero-copy messaging | Prof. J. M. Bacon | 2005-10-01 | 2009-11-11 2010-01-19 | TR-769 |
| John Billings | Specifying and compiling Internet routing protocols | Prof. T. G. Griffin | 2005-10-01 | 2009-10-16 2010-01-19 | |
| Yan Wu | Propagation modelling for wireless sensor networks deployed to perform civil infrastructure monitoring | Dr I. J. Wassell | 2006-10-01 | 2009-10-05 2010-01-19 | local PDF |
| Wei Li | Toward online behavioural traffic classification | Prof. A. W. Moore, Dr S. B. Holden | 2007-10-01 | 2009-10-02 2009-12-01 | |
| Jatinder Singh | Controlling the dissemination and disclosure of healthcare events | Prof. J. M. Bacon | 2005-10-01 | 2009-09-30 2009-12-01 | TR-770 |
| Olexiy Gotsman | Logics and analyses for concurrent heap-manipulating programs | Prof. M. J. C. Gordon, Byron Cook | 2005-10-01 | 2009-09-30 2009-10-06 | TR-758 |
| Anthony Hylick | Managing energy consumption of hard disk drives by optimizing system interaction | Prof Sir A. Hopper, Dr R. S. Sohan | 2005-10-01 | 2009-08-30 2010-04-20 | local PDF |
| Behzad Bastani | Open evolvable systems design by process-oriented modeling | Dr D. J. Greaves | 2003-10-01 | 2009-08-28 2009-12-01 | |
| Matthew Lakin | An executable meta-language for inductive definitions with binders | Prof. A. M. Pitts | 2005-10-01 | 2009-08-14 2009-12-01 | TR-772 |
| Saar Drimer | Security for volatile FPGAs | Dr M. G. Kuhn | 2005-10-01 | 2009-08-14 2009-10-06 | TR-763 |
| Cecily Morrison | Bodies-in-Space: investigating technology usage in co-present group interaction | Prof. A. F. Blackwell | 2006-10-01 | 2009-08-13 2009-12-01 | TR-771 |
| Aaron Coble | Anonymity, information and machine-assisted proof | Prof. L. C. Paulson | 2005-10-01 | 2009-08-05 2009-12-01 | TR-785, local PDF |
| Julian Smith | Towards robust inexact geometric computation | Prof. N. A. Dodgson | 2003-10-01 | 2009-07-31 2009-12-01 | TR-766, local PDF |
| Ranald Clouston | Equational logic for names and binders | Prof. A. M. Pitts | 2005-10-01 | 2009-06-18 2009-12-01 | local PDF |
| Daniel Bernhardt | Emotion inference from human body motion | Prof. P. Robinson | 2005-10-01 | 2009-06-17 2009-10-06 | TR-787 |
| Alexander Gurney | Construction and verification of routing algebras | Prof. T. G. Griffin, mf | 2005-10-01 | 2009-04-30 2009-12-01 | local PDF |
| Rok Strnisa | Formalising, improving, and reusing the Java module system | Prof. P. M. Sewell | 2005-10-01 | 2009-04-16 2009-10-06 | |
| Min Lin | Channel modelling for wireless sensor networks | Dr I. J. Wassell | 2004-10-01 | 2009-04-14 2009-10-06 | |
| William Carson | Performance modelling and design of bit-interleaved coded modulation | Dr I. J. Wassell, ah | 2005-10-01 | 2009-04-09 2009-05-26 | |
| Grzegorz Milos | Efficient and effective sharing of memory in virtual machine monitors | Dr S. M. Hand | 2005-10-01 | 2009-03-30 2009-10-06 | |
| Luis Vargas | Integrating databases and Publish/Subscribe | Prof. J. M. Bacon | 2004-10-01 | 2009-02-26 2009-05-26 | |
| Mark Adcock | Improving cache performance by runtime data movement | Prof. A. Mycroft | 2004-10-01 | 2009-02-25 2009-05-26 | TR-757, local PDF |
| Rosemary Francis | Networks for Field Programmable Gate Arrays | Prof. S. W. Moore, pr | 2006-04-17 | 2009-02-12 2009-07-02 | TR-828 |
| Jonathan Hayman | Petri net semantics | Prof. G. Winskel | 2004-10-01 | 2009-01-16 2009-07-02 | TR-782 |
| Philip Paul | Microelectronic Security Measures | Prof. S. W. Moore | 2005-10-01 | 2009-01-14 2009-07-02 | TR-829, local PDF |
| Magnus Myreen | Formal verification of machine-code programs | Prof. M. J. C. Gordon | 2005-10-01 | 2008-12-21 2009-05-26 | TR-765, local PDF |
| David Turner | Nominal domain theory for concurrency | Prof. G. Winskel | 2004-10-01 | 2008-12-19 2009-05-26 | |
| Eric Henderson | A text representation language for contextual and distributional processing | Prof. A. A. Copestake, ejb | 2002-10-01 | 2008-12-01 2009-12-01 | TR-779 |
| Arnab Banerjee | Communication flows in power-efficient networks-on-chips | Prof. S. W. Moore | 2005-10-01 | 2008-11-24 2009-03-10 | TR-786 |
| Timos Antonopoulos | Expressive Power of Graph Languages | Prof. A. Dawar | 2004-01-05 | 2008-11-14 2009-03-10 | |
| Minor Gordon | Small-scale, event-based overlays | Prof. J. M. Bacon | 2005-10-01 | 2008-10-10 2009-01-20 | TR-781, local PDF |
| Jonathan Davies | Programming networks of vehicles | Prof Sir A. Hopper, fms | 2004-10-01 | 2008-09-26 2009-01-20 | TR-761 |
| David Cottingham | Vehicular wireless communication | Prof Sir A. Hopper | 2004-10-01 | 2008-09-26 2009-01-20 | TR-741 |
| Atif Alvi | Controlling pervasive domains with ontologies and rules | Dr D. J. Greaves | 2004-10-01 | 2008-08-20 2008-10-21 | |
| Caroline Gasperin | Statistical anaphora resolution in biomedical texts | Prof. E. J. Briscoe | 2003-10-01 | 2008-08-07 2008-12-02 | TR-764, local PDF |
| Evangelia Kalyvianaki | Resource provisioning for virtualized server applications | Dr S. M. Hand, Dr T. L. Harris | 2002-10-01 | 2008-08-04 2008-12-02 | TR-762 |
| Na Xu | Static contract checking for Haskell | Prof. A. Mycroft | 2004-10-01 | 2008-08-01 2008-12-02 | TR-737 |
| Diarmuid Ó Séaghdha | Learning compound noun semantics | Prof. A. A. Copestake | 2004-10-01 | 2008-07-11 2008-10-21 | TR-735 |
| Salman Taherian | State-based Publish/Subscribe for Sensor Systems | Prof. J. M. Bacon | 2003-10-01 | 2008-07-08 2008-10-21 | TR-739 |
| Shishir Nagaraja | Robust covert network topologies | Prof. R. J. Anderson | 2003-10-01 | 2008-07-04 2008-12-02 | local PDF |
| Tomasz Macura | Automating the quantitative analysis of micoscopy images | Dr J. K. M. Moody | 2004-10-01 | 2008-07-03 2009-03-10 | local PDF |
| Philip Tuddenham | Tabletop interfaces for remote collaboration | Prof. P. Robinson | 2004-10-01 | 2008-06-27 2008-10-21 | TR-734 |
| Anna Ritchie | Citation context analysis for information retrieval | Prof. S. H. Teufel, Steve Robinson | 2004-10-01 | 2008-06-03 2008-10-21 | TR-744 |
| James Reynolds | An automatic proof-generating translation from high-order to first-order logic (with applications to linking HOL4 and ACL2) | Prof. M. J. C. Gordon, djg | 2004-10-01 | 2008-05-07 2008-10-21 | local PDF |
| Matthew Johnson | A new approach to Internet banking | Prof. S. W. Moore | 2004-10-01 | 2008-04-01 2008-06-10 | TR-731, local PDF |
| Alban Rrustemi | Computing surfaces - a platform for scalable interactive displays | Prof. S. W. Moore | 2004-10-01 | 2008-03-25 2008-06-10 | TR-732, local PDF |
| Tyler Moore | Cooperative attack and defense in distributed networks | Prof. R. J. Anderson | 2004-10-01 | 2008-03-07 2008-06-10 | TR-718 |
| Gerhard Hancke | Security of proximity identification systems | Dr M. G. Kuhn, djg | 2003-10-01 | 2008-03-03 2008-10-21 | TR-752, local PDF |
| Euan Harris | Rate limiting in an event-driven BGP speaker | Prof. J. A. Crowcroft, Dr T. G. Griffin | 2002-10-01 | 2008-01-31 2009-05-26 | local PDF |
| Sofiane Naci | Controlling prevasive domains with ontologies and rules | Prof. A. Mycroft, mr | 2004-10-01 | 2008-01-16 2008-06-10 | local PDF |
| Yu-En Lu | Distributed proximity query processing | Dr S. M. Hand, Dr T. L. Harris | 2004-01-05 | 2008-01-14 2008-04-22 | |
| Anton Lokhmotov | Programming and compiling for embedded SIMD architectures | Prof. A. Mycroft | 2004-10-01 | 2008-01-04 2008-04-22 | |
| Mbou Eyole-Monono | Energy-efficient sentient computing | Prof Sir A. Hopper, Rob Harle | 2004-10-01 | 2008-01-03 2008-04-22 | TR-722 |
| Darren Edge | Tangible user interfaces for peripheral interaction: episodic engagement with objects of physical, digital and social significance | Prof. A. F. Blackwell | 2004-10-01 | 2008-01-03 2008-04-22 | TR-733 |
| Andrew Naish-Guzman | Sparse and robust kernal methods | Dr S. B. Holden, jgd | 2003-10-01 | 2007-12-21 2008-04-22 | |
| Lauri Pesonen | A capability-based access control architecture for multi-domain publish/subscribe systems | Prof. J. M. Bacon, km | 2003-10-01 | 2007-12-21 2008-03-11 | TR-720 |
| Gregory Hughes | Lecture Adaptation for students with disabilities | Prof. P. Robinson | 2004-10-01 | 2007-12-17 2008-06-10 | |
| Wenjun Hu | A tale of two prototypes: Practical network coding for wireless mesh networks | Prof. J. A. Crowcroft, TBA | 2003-10-01 | 2007-11-22 2008-01-22 | |
| William Hollingsworth | Using lexical chains to characterise scientific text | Prof. S. H. Teufel, ejb | 2003-10-01 | 2007-11-05 2008-03-11 | |
| Shahzad Khan | Negation and antonymy in sentiment classification | Prof. E. J. Briscoe, Prof. S. H. Teufel | 2004-10-01 | 2007-10-08 2008-01-22 | |
| Benjamin Medlock | Investigating classification for natural language processing tasks | Prof. E. J. Briscoe | 2004-10-01 | 2007-10-02 2008-01-22 | TR-721 |
| Rebecca Watson | Optimising the speed and accuracy of a Statistical GLR Parser | Prof. E. J. Briscoe | 2004-10-01 | 2007-09-10 2007-11-27 | TR-743 |
| Michael Compton | Formal verification of process algebra systems | Prof. L. C. Paulson, Prof. M. J. C. Gordon | 2002-10-01 | 2007-08-13 2008-03-11 | local PDF |
| Steven Murdoch | Covert channel vulnerabilities in anonymity systems | Dr M. G. Kuhn, rja | 2002-10-01 | 2007-08-03 2007-11-27 | TR-706, local PDF |
| Paul Hunter | Complexity and infinite games on finite graphs | Prof. A. Dawar, amp | 2002-10-01 | 2007-08-01 2007-11-27 | TR-704 |
| Pan Hui | People are the network: Experimental design and evaluation of social based forwarding algorithms | Prof. J. A. Crowcroft, TBA | 2004-10-01 | 2007-08-01 2007-11-27 | TR-713 |
| Viktor Vafeiadis | Modular fine-grained concurrency verification | Prof. A. Mycroft | 2004-10-01 | 2007-07-23 2007-11-27 | TR-726, local PDF |
| Andy Ozment | Vulnerability discovery & software security | Prof. R. J. Anderson | 2003-10-01 | 2007-07-03 2007-10-09 | |
| Simon Hollis | Pulse-based, on-chip interconnect | Prof. S. W. Moore, pr | 2003-10-01 | 2007-06-26 2007-10-09 | TR-698 |
| Ian Caulfield | Complexity-effective superscalar embedded processors using instruction-level distributed processing | Prof. S. W. Moore, am | 2002-10-01 | 2007-05-30 2007-10-09 | TR-707 |
| Alan Lawrence | Optimizing compilation with the value state dependence graph | Prof. A. Mycroft, mr | 2002-10-01 | 2007-05-29 2007-11-27 | TR-705 |
| Feng Hao | On using fuzzy data in security machanisms | Prof. R. J. Anderson | 2004-04-17 | 2007-05-24 2007-10-09 | TR-715 |
| Doug Santry | A cluster storage system for modern virtual machines | Dr I. A. Pratt, Dr S. M. Hand | 2003-01-05 | 2007-05-17 2007-10-09 | |
| Richard Southern | Animation manifolds for representing topological alteration | Prof. N. A. Dodgson, Prof. P. Robinson | 2003-10-01 | 2007-05-01 2008-06-10 | TR-723 |
| Jacques Fournier | Vector microprocessors for cryptography | Prof. S. W. Moore, rja | 2003-10-01 | 2007-05-01 2007-10-09 | TR-701 |
| Lucy Brace-Evans | Event structures with persistence | Prof. G. Winskel, amp | 2003-10-01 | 2007-04-27 2007-10-09 | TR-710 |
| William Billingsley | The Intelligent Book: technologies for intelligent and adaptive textbooks focussing on Discrete Mathematics | Prof. P. Robinson, afb | 2002-10-01 | 2007-04-25 2007-07-10 | TR-719 |
| Martin Vechev | Derivation and evaluation of concurrent collectors | Dr M. Richards, am | 2003-10-01 | 2007-04-05 2007-10-09 | |
| Alisdair Stuart Wren | Relationships for object-oriented programming languages | Prof. A. M. Pitts, am | 2003-10-01 | 2007-03-31 2007-10-09 | TR-702 |
| Tal Sobol-Shikler | Le ton fait la musique: analysis of expressions in speech | Prof. P. Robinson, Prof. A. F. Blackwell | 2002-10-01 | 2007-03-31 2007-07-10 | TR-740 |
| Ulrich Paquet | Bayesian inference for latent variable models | Dr S. B. Holden, jgd | 2003-10-01 | 2007-03-09 2007-06-12 | TR-724 |
| Timothy Moreton | A wide-area file system for migrating virtual machines | Dr I. A. Pratt, Dr T. L. Harris | 2002-10-01 | 2007-02-19 2007-04-17 | TR-714 |
| Jolyon Clulow | On the security of real-world devices | Prof. R. J. Anderson, mk | 2003-10-01 | 2007-02-02 2007-07-10 | |
| Mark Grundland | Color, style and composition in image processing | Prof. N. A. Dodgson, pr | 2001-01-05 | 2007-01-30 2007-07-10 | local PDF |
| Chi-kin Chau | Networks and disputes | Dr R. J. Gibbens, jac | 2003-10-01 | 2007-01-26 2007-05-27 | |
| Manuel Costa | End-to-end containment of Internet worm epidemics | Prof. J. A. Crowcroft, Miguel Castro | 2003-10-01 | 2007-01-01 2007-04-17 | |
| Russ Ross | Cluster storage for commodity computation | Dr I. A. Pratt, Dr S. M. Hand | 2003-04-10 | 2006-12-31 2007-04-17 | TR-690, local PDF |
| Christopher Purcell | Scaling mount concurrency: scalability and progress in concurrent algorithms | K. A. Fraser, Dr S. M. Hand | 2003-10-01 | 2006-12-18 2007-02-27 | TR-697 |
| Samuel Staton | Name-passing process calculi: operational models and structural operational semantics | Prof. M. P. Fiore, gw | 2002-10-01 | 2006-12-15 2007-06-12 | TR-688 |
| Alexander Ho | Understanding systems with virtual machines | Dr S. M. Hand, iap | 2002-10-01 | 2006-12-15 2007-04-17 | local PDF |
| Juliano Iyoda | Translating HOL functions to hardware | Prof. M. J. C. Gordon, djg | 2002-10-01 | 2006-10-02 2007-01-09 | TR-682 |
| Eiko Yoneki | ECCO: data centric asynchronous communication | Prof. J. M. Bacon, jac | 2002-10-01 | 2006-09-27 2006-11-14 | TR-677 |
| Eng Keong Lua | Massive scale collaborative grid environments through P2P | Prof. T. G. Griffin, Prof. J.A. Crowcroft | 2003-10-01 | 2006-08-25 2006-11-14 | |
| Christian Kreibich | Structural traffic analysis for network security monitoring | Prof. J. A. Crowcroft, iap | 2002-10-01 | 2006-08-07 2007-05-24 | |
| Andrew Twigg | Compact forbidden-set routing | Dr J. K. M. Moody, rjg | 2002-10-01 | 2006-06-23 2006-10-10 | TR-678, local PDF |
| Ole H Jensen | Mobile Processes in Bigraphs | Prof. P. M. Sewell | 1995-01-01 | 2006-06-05 2007-01-09 | |
| Boris Dragovic | CASPEr: containment-aware security for pervasive computing environments | Prof. J. A. Crowcroft, iap | 2002-10-01 | 2006-05-30 2006-07-04 | |
| Anil Madhavapeddy | Creating high-performance statically type-safe network applications | Dr D. J. Greaves, Mac | 2002-10-01 | 2006-04-25 2006-10-10 | TR-775 |
| Sarah Thompson | On the application of program analysis and transformation to high reliability electronics | Prof. A. Mycroft, djg | 2003-10-01 | 2006-04-18 2006-07-01 | TR-670 |
| Gareth Stoyle | A theory of dynamic software updates | Prof. P. M. Sewell, gmb | 2001-10-01 | 2006-04-07 2006-11-21 | local PDF |
| Timothy Deegan | The main name system | Prof. J. A. Crowcroft, Mac | 2002-10-01 | 2006-04-07 2006-07-04 | |
| Maja Vukovic | Context aware service composition | Prof. P. Robinson, afb | 2003-01-05 | 2006-04-04 2006-10-10 | TR-700 |
| Stephen Rymill | Psychologically-based simulation of human behaviour | Prof. N. A. Dodgson, pr | 2002-10-01 | 2006-03-30 2006-10-11 | TR-717, local PDF |
| Paula Buttery | Computational models for first language acquisition | Prof. E. J. Briscoe, Prof. A. A. Copestake | 2002-04-10 | 2006-03-30 2006-04-21 | TR-675 |
| Tolga Uzuner | Effective network complexity | Prof. J. A. Crowcroft, Mac | 2002-01-05 | 2006-03-01 2006-07-01 | |
| Eben Upton | Compiling with data dependence graphs | Dr M. Richards, am | 2001-10-01 | 2005-12-22 2006-07-18 | local PDF |
| Hui-Yun Li | Security evaluation at design time for cryptographic hardware | Prof. S. W. Moore | 2003-01-05 | 2005-12-22 2006-04-21 | TR-665 |
| Andrew Warfield | Virtual devices for virtual machines | Dr S. M. Hand, jac | 2002-10-01 | 2005-12-16 2006-06-09 | local PDF |
| Calicrates Policroniades-Borraz | Decomposing file data into discernible items | Dr I. A. Pratt, Dr T. L. Harris | 2001-10-01 | 2005-12-12 2006-05-31 | TR-672 |
| Meng How Lim | Landmark guided forwarding | Prof. J. A. Crowcroft, iap | 2002-10-01 | 2005-11-01 2006-02-09 | TR-674 |
| Julian Chesterfield | Joint source-channel UEP coding for multimedia streaming in the wireless wide area network environment | Prof. J. A. Crowcroft, iap | 2002-10-01 | 2005-10-31 2006-02-09 | |
| Piotr Zielinski | Minimizing latency of agreement protocols | Dr M. G. Kuhn, gw | 2001-10-01 | 2005-09-30 2006-04-27 | TR-667 |
| Karl Jeacle | TCP-XM | Prof. J. A. Crowcroft, iap | 2002-10-01 | 2005-09-14 2006-02-09 | |
| Richard Clayton | Anonymity and traceability in cyberspace | Prof. R. J. Anderson, lcp | 2000-10-01 | 2005-08-26 2005-11-17 | TR-653, local PDF |
| David Spence | Location based code placement in distributed systems | Prof. J. A. Crowcroft, Dr S. M. Hand | 2002-10-01 | 2005-08-01 2006-03-01 | local PDF |
| Matthew Parkinson | Local reasoning for Java | Prof. A. M. Pitts, gmb | 2001-10-01 | 2005-08-01 2005-11-17 | TR-654 |
| Moritz Becker | CASSANDRA: flexible trust management and its application to electronic health records | Prof. P. M. Sewell, gmb | 2001-10-01 | 2005-08-01 2005-09-22 | TR-648 |
| Judita Preiss | Probabilistic word sense disambiguation | Prof. E. J. Briscoe, Prof. A. A. Copestake | 2001-10-01 | 2005-07-28 2006-03-17 | TR-673 |
| Marco Palomino-Zuniga | Distributed creation and maintenance of web content indices | Dr J. K. M. Moody, jmb | 2000-10-01 | 2005-06-15 2005-10-15 | |
| Jia Meng | The integration of higher order interactive proof with first order automatic theorem proving | Prof. L. C. Paulson, Prof. M. J. C. Gordon | 2002-10-01 | 2005-06-01 2005-09-22 | TR-872 |
| Mohamed Hassan | Multiresolution in geometric modelling: subdivision mark points and ternary subdivison | Prof. N. A. Dodgson, pr | 2000-10-01 | 2005-05-01 2005-10-04 | local PDF |
| Alberto Fernandes | Spectrum management for revenue maximisation in DSL | Dr D. J. Greaves, TBA | 2001-10-01 | 2005-05-01 2005-09-22 | |
| Nathan Dimmock | Using trust and risk for access control in global computing | Prof. J. M. Bacon, djg | 2002-01-05 | 2005-05-01 2005-06-16 | TR-643 |
| Rana El-Kaliouby | Mind-reading machines: automated inference of complex mental states | Prof. P. Robinson, afb | 2001-10-01 | 2005-03-30 2005-06-16 | TR-636 |
| Jeremy Singer | Static program analysis based on virtual register renaming | Dr M. Richards, am | 2001-10-01 | 2005-03-29 2005-09-22 | TR-660 |
| Carsten Moenning | Intrinsic point-based surface processing | Prof. N. A. Dodgson, pr | 2001-10-01 | 2005-01-21 2005-05-24 | TR-658 |
| Hyun Jin Choi | Security protocol design by composition | Prof. L. C. Paulson, Prof. S. W. Moore | 2000-04-10 | 2004-12-22 2006-01-12 | TR-657 |
| Christopher Town | Ontology based visual information processing | Prof. J. G. Daugman | 2001-10-01 | 2004-12-17 2005-03-01 | local PDF |
| Joerg Lepler | Cooperation and deviation in market-based resource allocation | Dr M. Richards | 1999-01-01 | 2004-11-24 2005-01-05 | TR-622 |
| Mark Shinwell | The fresh approach: functional programming with names and binders | Prof. A. M. Pitts, Prof. M. J. C. Gordon | 2001-01-05 | 2004-11-22 2005-03-03 | TR-618, local PDF |
| Evangelos Kotsovinos | Global public computing | Dr S. M. Hand, iap | 2001-10-01 | 2004-11-15 2005-02-26 | TR-615 |
| David Eyers | Active privilege management for distributed access control systems | Dr J. K. M. Moody, jmb | 2001-10-01 | 2004-11-11 2005-06-16 | TR-669 |
| James Roy Bulpin | Operating system support for simultaneous multithreaded processors | Dr I. A. Pratt, Dr T. L. Harris | 2000-10-01 | 2004-10-08 2005-02-26 | TR-619 |
| Scott Fairbanks | High precision timing using self-timed circuits | Prof. S. W. Moore, pr | 2001-10-01 | 2004-10-05 2005-02-26 | TR-738 |
| Sergei Skorobogatov | Semi-invasive attacks - a new approach to hardware security analysis | Prof. R. J. Anderson, Prof. S. W. Moore | 2000-04-10 | 2004-09-22 2005-02-26 | TR-630 |
| Arasnath Kimis | Generic event services middleware | Prof. J. M. Bacon | 1999-10-01 | 2004-09-13 2004-11-11 | |
| Nicholas Nethercote | Dynamic binary analysis and instrumentation or building tools is easy | Prof. A. Mycroft, Dr T. L. Harris | 2001-10-01 | 2004-09-09 2004-11-11 | TR-606 |
| Roongroj Nopsuwanchai | Discriminative training methods and their applications to handwriting recognition | Prof. N. A. Dodgson, afb | 2000-10-01 | 2004-08-06 2004-10-27 | TR-652 |
| Prem Fernando | Automatic recognition of ancient Syriac handwriting | Dr W. F. Clocksin, afb | 2000-10-01 | 2004-08-01 2004-11-11 | |
| Robert Gordon Hague | End-user programming in multiple languages | Prof. P. Robinson, afb | 2000-10-01 | 2004-07-01 2004-11-11 | TR-651 |
| Steven McKellar | An extension to the OSI model of network management for large-scale collaborative performance measurement | Prof. J. M. Bacon, km | 2000-10-01 | 2004-07-01 2004-10-14 | |
| Simon Frankau | Hardware synthesis from stream-processing functional language | Prof. S. W. Moore | 2000-10-01 | 2004-06-30 2004-11-11 | TR-824, local PDF |
| Neil E Johnson | Code size optimization for embedded processors | Prof. A. Mycroft, mr | 2000-10-01 | 2004-06-01 2004-10-14 | TR-607 |
| Marc Peter Cardle | Automated editing of sound and motion | Prof. P. Robinson, nad | 2000-10-01 | 2004-05-25 2004-10-14 | |
| Hasan Amjad | Combining model checking and theorem proving | Prof. M. J. C. Gordon, djg | 2000-10-01 | 2004-03-29 2004-09-07 | TR-601 |
| Andrei Serjantov | On the anonymity of anonymity systems | Prof. P. M. Sewell, amp | 2000-10-01 | 2004-03-18 2004-07-13 | TR-604 |
| Brian Shand | Trust for resource control: self-enforcing automatic rational contracts between computers | Prof. J. M. Bacon, km | 2001-01-05 | 2004-02-28 2004-04-27 | TR-600 |
| Peter Pietzuch | Hermes: a scalable event-based middleware | Prof. J. M. Bacon, km | 2000-10-01 | 2004-02-01 2004-04-27 | TR-590, local PDF |
| Michael Bond | Understanding security APIs | Prof. R. J. Anderson, lcp | 2000-10-01 | 2004-01-30 2004-06-15 | local PDF |
| George Danezis | Better anonymous communications | Prof. R. J. Anderson, lcp | 2000-10-01 | 2004-01-06 2004-03-01 | TR-594 |
| Andras Belokosztolszki | Role-based access control policy administration | Dr J. K. M. Moody, jmb | 2000-10-01 | 2003-11-25 2004-04-05 | TR-586 |
| Silas Brown | Conversion of notations | Prof. P. Robinson, afb | 2000-10-01 | 2003-11-19 2004-06-15 | TR-591 |
| Robert Ennals | Adaptive evaluation of non-strict programs | Prof. A. Mycroft, spj | 2000-10-01 | 2003-11-13 2004-07-13 | TR-730 |
| Panit Watcharawitch | MulTEP: a multi-threaded embedded processor | Prof. S. W. Moore, pr | 2000-10-01 | 2003-10-30 2004-04-20 | TR-588 |
| Steven Brooks | Concise texture editing | Prof. N. A. Dodgson, pr | 2000-01-05 | 2003-10-17 2004-02-10 | TR-584 |
| Mark Ashdown | Personal projected displays | Prof. P. Robinson | 1999-10-01 | 2003-09-30 2004-03-09 | TR-585 |
| Pablo Arrighi | Representations of quantum operations with applications to quantum cryptography | Prof. A. Dawar, rja | 2000-10-01 | 2003-09-30 2004-02-10 | TR-595 |
| Keir Anthony Fraser | Practical lock-freedom | Dr I. A. Pratt | 1999-10-01 | 2003-09-26 2004-02-10 | TR-579 |
| Advaith Siddharthan | Syntactic simplification and text cohesion | Prof. A. A. Copestake, ejb | 2000-10-01 | 2003-08-05 2004-01-06 | TR-597 |
| Timothy Granger | Reconfigurable wavelengh-switched optical networks for the internet core | Prof. I. M. Leslie | 1998-10-01 | 2003-08-04 2004-02-10 | TR-575 |
| David Richerby | Fixed-point logics with choice | Prof. A. Dawar, amp | 1999-10-01 | 2003-07-01 2003-12-05 | |
| Sang-Bum Suh | An effective multiple access policy for the home telephone wiring in a home LAN | Dr D. J. Greaves | 1998-10-01 | 2003-05-22 2006-07-11 | |
| Jianxin Yan | Security for online games | Prof. R. J. Anderson, iap | 1999-10-01 | 2003-03-31 2003-08-21 | |
| James Hall | Multi-layer network monitoring and analysis | Prof. I. M. Leslie | 1998-10-01 | 2002-12-31 2003-07-07 | TR-571 |
| Richard Sharp | Higher-level hardware synthesis | Prof. A. Mycroft, Prof. S. W. Moore | 2000-10-01 | 2002-12-05 2003-03-14 | |
| Donnla B Nic Gearailt | Dictionary characteristics in cross-language information retrieval | Prof. K. I. B. Spärck-Jones | 1997-10-01 | 2002-10-01 2003-07-15 | TR-616 |
| Walt Yao | Trust management for widely distributed systems | Prof. J. M. Bacon | 1998-10-01 | 2002-09-30 2003-03-11 | TR-608 |
| Alan Abrahams | Developing and executing electronic commerce applications with occurrences | Prof. J. M. Bacon | 1999-10-01 | 2002-09-15 2002-11-26 | |
| Michael J Blain | Animating Liquids | Prof. N. A. Dodgson | 1997-10-01 | 2002-07-22 2003-02-11 | |
| Markus G Kuhn | Compromising emanations: eavesdropping risks of computer displays | Prof. R. J. Anderson | 1997-10-01 | 2002-06-25 2002-10-29 | TR-577, local PDF |
| Alexis Hombrecher | Reconciling event taxonomies across administrative domains | Dr J. K. M. Moody | 1998-10-01 | 2002-06-20 2002-10-29 | |
| Ulrich Lang | Access policies for middleware | Prof. R. J. Anderson, D Gollman | 1998-10-01 | 2002-05-16 2003-05-27 | TR-564 |
| Keith Wansbrough | Simple polymorphic usage analysis | Prof. A. M. Pitts | 1998-10-01 | 2002-04-02 2002-12-17 | TR-623 |
| Charalampos Manifavas | Micropayment transaction costs | Prof. R. J. Anderson | 1995-10-01 | 2002-02-28 2002-10-29 | |
| Jana Sukkarieh | Natural language for knowledge representation | Dr S. G. Pulman | 1996-10-01 | 2002-02-26 2002-05-28 | |
| Austin N Donnelly | Resource control in network elements | Prof. I. M. Leslie, Dr S. Crosby | 1997-04-01 | 2002-01-28 2002-04-25 | TR-534 |
| Susan Pancho | Contributions of formal security proofs | Prof. R. J. Anderson | 1998-10-01 | 2002-01-25 2003-11-14 | |
| Paul Cunningham | Verification of asynchronous circuits | Prof. P. Robinson | 1998-10-01 | 2002-01-21 2002-05-28 | TR-587 |
| Joseph Ell Hurd | Formal verification of probabilistic alogorithms | Prof. M. J. C. Gordon | 1998-10-01 | 2002-01-01 2002-05-30 | TR-566 |
| David B Stewart | Quality of service for storage systems | Prof. J. M. Bacon | 1998-10-01 | 2001-12-20 2003-07-15 | |
| Umar Saif | Architectures for ubiquitous systems | Dr D. J. Greaves | 1998-10-01 | 2001-11-30 2002-01-15 | TR-527 |
| Lucian J Wischik | Explicit fusions: theory and implementation | Dr P. A. Gardner, rm | 1997-10-01 | 2001-11-05 2002-06-18 | |
| Richard M Mortier | Internet traffic engineering | Dr I. A. Pratt | 1997-10-01 | 2001-11-01 2002-04-24 | TR-532 |
| Agathoniki Trigoni | Semantic optimization of OQL queries | Dr J. K. M. Moody | 1998-10-01 | 2001-10-19 2002-01-15 | TR-547 |
| Kerry Rodden | Evaluating similarity-based visualisations as interfaces for image browsing | Prof. J. M. Bacon | 1995-10-01 | 2001-10-11 2002-01-15 | TR-543 |
| Richard R Watts | The development of an uncertain reasoning system | Prof. P. Robinson | 1997-10-01 | 2001-09-30 2002-04-30 | |
| Aline Villavicencio | The acquisition of a unification-based generalised categorial grammar | Prof. E. J. Briscoe | 1997-10-01 | 2001-09-12 2002-03-12 | TR-533 |
| Anna-Leena Korhonen | Subcategorization acquisition | Prof. E. J. Briscoe | 1997-10-01 | 2001-09-12 2002-02-06 | TR-530 |
| Daryl J Stewart | A uniform sematics for Verilog and VHDL suitable for both simulation and verification | Prof. M. J. C. Gordon | 1997-10-01 | 2001-09-05 2002-05-20 | |
| David C Abensour | Finite state and statistical methods for natural language processing | Dr S. G. Pulman | 1997-10-01 | 2001-07-31 2002-01-15 | |
| Mantŝika Matooane | Parallel systems in symbolic and algebraic computation | Dr A. C. Norman | 1998-04-01 | 2001-07-25 2001-11-27 | TR-537 |
| Timothy M Edmonds | Adaptation for mobile systems | Prof Sir A. Hopper | 1997-10-01 | 2001-06-25 2001-10-30 | |
| Mark F P Gillies | Practical behavioural animation based on vision and attention | Prof. N. A. Dodgson | 1998-01-01 | 2001-06-18 2001-10-30 | |
| Martin Choquette | Local evidence in document retrieval | Prof. K. I. B. Spärck-Jones | 1996-10-01 | 2001-05-30 2002-01-11 | TR-519 |
| Andrew W Moore | Measurement-based management of network resources | Prof. I. M. Leslie | 1997-10-01 | 2001-05-15 2002-02-12 | TR-528 |
| Timothy L Harris | Extensible virtual machines | Dr S. Crosby | 1997-10-01 | 2001-04-01 2001-01-15 | TR-525 |
| Asis Unyapoth | Nomadic pi-calculi: expressing and verifying communication infrastructure for mobile computation | Prof. P. M. Sewell | 1996-10-01 | 2001-03-09 2001-05-29 | TR-514 |
| James J Leifer | Operational congruences for reactive systems | Prof. A. J. R. G. Milner | 1995-10-01 | 2001-03-08 2001-07-11 | TR-521 |
| Stephen O Childs | Disk quality of service in a general purpose operating system | Prof. J. M. Bacon | 1997-10-01 | 2001-03-05 2001-10-30 | |
| Dickon Reed | The effects of code layout on performance | Prof. I. M. Leslie | 1997-04-01 | 2001-02-09 2001-07-11 | |
| Ioannis Papaefstathiou | Increasing packet network bandwidth through low level compression | Prof. I. M. Leslie | 1997-10-01 | 2001-02-01 2001-05-29 | |
| Sylvia F Knight | Natural language processing for Aerospace documentation | Dr S. G. Pulman | 1997-10-01 | 2001-01-08 2001-11-27 | |
| Jonathan D Pfautz | Depth perception in computer graphics | Prof. P. Robinson | 1996-10-01 | 2001-01-08 2001-02-13 | TR-546 |
| Paul D Hankin | A study of objects | Dr A. D. Gordon | 1995-10-01 | 2001-01-02 2001-05-08 | |
| Francesco Stajano | Security for ubiquitous computing | Prof. R. J. Anderson | 1998-01-01 | 2001-01-02 2001-02-13 | |
| Rebecca Isaacs | Dynamic provisioning of resource-assured and programmable virtual private networks | Prof. I. M. Leslie | 1997-01-01 | 2000-12-21 2001-05-29 | TR-516 |
| Paul B Menage | Resource control of untrusted code in an open programmable network | Dr S. Crosby | 1996-10-01 | 2000-12-07 2000-10-24 | TR-561 |
| Reuben R Thomas | Mite: a basis for ubiquitous virtual machines | Dr M. Richards | 1995-10-01 | 2000-11-23 2001-02-13 | |
| Tony Polichroniadis | High level control of vitual actors | Prof. N. A. Dodgson | 1997-10-01 | 2000-11-15 2001-05-08 | |
| Sheng F Li | Stateless client computing | Prof Sir A. Hopper | 1996-10-01 | 2000-11-15 2000-10-24 | |
| Wojciech Basalaj | Proximity visualisation of abstract data | Dr J. K. M. Moody | 1997-10-01 | 2000-10-19 2001-01-23 | TR-509 |
| Zhixue Wu | A New Approach To Implementing Atomic Data Types | Dr J. K. M. Moody | 1989-04-10 | 2000-10-19 1994-05-01 | TR-338 |
| Neil Lawrence | Variational inference in probabilistic models | Dr W. F. Clocksin | 1998-01-01 | 2000-10-13 2001-05-08 | |
| Andrew J Penrose | Extending lossless image compression | Prof. N. A. Dodgson | 1996-10-01 | 2000-09-25 2001-01-23 | TR-526 |
| Radina Stefanova | Power in radio networks | Prof Sir A. Hopper | 1996-10-01 | 2000-08-08 2002-08-16 | |
| Christian Urban | Classical logic and computation | Dr G. M. Bierman | 1996-10-01 | 2000-06-23 2000-11-14 | |
| David M Leask | Low power radio networking | Prof Sir A. Hopper | 1996-01-01 | 2000-06-21 2000-10-24 | |
| James E Gain | Enhancing spatial deformation for virtual sculpting | Prof. N. A. Dodgson | 1997-04-01 | 2000-06-19 2000-10-24 | TR-499 |
| Breton M Saunders | Fast animation dynamics | Prof. P. Robinson | 1995-10-01 | 2000-05-06 2000-10-24 | |
| Yolanta Beresnevichiene | A role and context based security model | Prof. R. M. Needham | 1994-10-01 | 2000-05-01 2000-10-24 | TR-558 |
| Giampaola Bella | The inductive verification of cryptographic protocols | Prof. L. C. Paulson | 1996-10-01 | 2000-04-07 2000-07-18 | TR-493 |
| Kan Zhang | On Secure Information Flow in Computer Systems | Prof. R. M. Needham | 1994-10-01 | 2000-03-31 2000-07-18 | |
| Pavel T Wojciechowski | Nomadic pict: language and infrastructure design for mobile computation | Dr J. K. M. Moody | 1995-10-01 | 2000-02-01 2000-07-18 | TR-492 |
| Mark D Spiteri | An architecture for the notification, storage and retrieval of events | Prof. J. M. Bacon | 1995-10-01 | 2000-02-01 2000-06-20 | TR-494 |
| Donald O Oparah | Adaptive resource management in a multimedia operating system | Prof. I. M. Leslie | 1994-10-01 | 2000-02-01 2000-05-01 | |
| David M Ingram | Integrated Quality of Service management | Prof. J. M. Bacon | 1996-10-01 | 2000-01-17 2000-06-20 | TR-501 |
| Mohammad Khorsheed | Automatic recognition of words in Arabic manuscripts | Dr W. F. Clocksin | 1997-04-01 | 2000-01-06 2000-10-24 | TR-495 |
| Oi Yee (Olivia) Kwong | Word sense selection in texts: an integrated model | Prof. K. I. B. Spärck-Jones | 1996-10-01 | 2000-01-01 2000-10-24 | TR-504 |
| Shaw Chuang | Security management in ATM networks | Prof. I. M. Leslie | 1993-04-01 | 2000-01-01 2000-10-24 | |
| Jong-Hyeon Lee | Designing a reliable publishing framework | Prof. R. J. Anderson | 1996-10-01 | 2000-01-01 2000-05-01 | TR-489 |
| Calum A M Grant | Software visualization in Prolog | Prof. P. Robinson | 1996-10-01 | 2000-01-01 2000-05-01 | TR-511 |
| Oliver Seidel | Metadata support for connecting application components asynchronously | Dr J. K. M. Moody | 1995-10-01 | 1999-11-01 2000-01-01 | |
| Che-Hao (Albert) Chang | Reasoning about security protocols | Prof. R. M. Needham | 1994-01-01 | 1999-11-01 2000-01-01 | |
| Hendrik J Bos | Elastic network control | Prof. I. M. Leslie | 1995-10-01 | 1999-09-01 1999-10-01 | TR-483 |
| Geraint Price | The interaction between fault tolerance and security | Prof. R. M. Needham | 1994-10-01 | 1999-06-01 1999-10-01 | TR-479 |
| Fabien A P Petitcolas | Information hiding and its application to copyright protection | Prof. R. J. Anderson | 1996-10-01 | 1999-06-01 1999-10-01 | |
| Clemens M Ballarin | Computer algebra and theorem proving | Prof. L. C. Paulson | 1996-01-01 | 1999-06-01 1999-10-01 | TR-473 |
| Richard I Tucker | Automatic summarising and the CLASP system | Prof. K. I. B. Spärck-Jones | 1993-10-01 | 1999-05-01 1999-11-01 | TR-484 |
| James R Thomas | Stretching a point: aspect and temporal discourse | Dr S. G. Pulman | 1994-10-01 | 1999-05-01 1999-10-01 | TR-486 |
| Ben Y Reis | Simulating music learning with autonomous listening agents: entropy, ambiguity and context | Dr W. F. Clocksin | 1996-10-01 | 1999-05-01 1999-10-01 | TR-472 |
| Bruno Crispo | Delegation of responsibility | Prof. R. M. Needham | 1996-10-01 | 1999-05-01 1999-10-01 | |
| Jacques D Fleuriot | A combination of geometry theorem proving and nonstandard analysis, with application to Newton's Principia | Prof. L. C. Paulson | 1995-10-01 | 1999-05-01 1999-06-01 | TR-469 |
| Mark Staples | A mechanised theory of refinement | Prof. M. J. C. Gordon | 1994-10-01 | 1999-05-01 1999-05-01 | |
| Florian Kammueller | Modular reasoning in Isabelle | Prof. L. C. Paulson | 1995-10-01 | 1999-04-01 1999-10-01 | TR-470 |
| Duncan P Grisby | A distributed adaptive window system | Prof Sir A. Hopper | 1995-10-01 | 1999-04-01 1999-10-01 | |
| Steven P Wilcox | Synthesis of asynchronous circuits | Prof. P. Robinson | 1995-10-01 | 1999-01-01 1999-03-01 | TR-468 |
| Richard J Bradbury | Architectures for the control of home area networks | Dr D. J. Greaves | 1995-10-01 | 1998-12-01 1999-02-01 | |
| Steven M Hand | Providing quality of service in memory management | Prof. I. M. Leslie | 1994-10-01 | 1998-11-01 1999-05-01 | |
| Jacobus E Van Der Merwe | Open service support for ATM | Prof. I. M. Leslie | 1994-10-01 | 1998-10-01 1999-05-01 | TR-450 |
| Donald R Syme | Declarative theorem proving for operational semantics | Prof. M. J. C. Gordon | 1994-10-01 | 1998-10-01 1999-03-01 | |
| Mohamed Afshar | An open parallel architecture for data-intensive applications | Dr J. K. M. Moody | 1992-10-01 | 1998-10-01 1999-03-01 | TR-459 |
| Ralph Becket | Efficient knowledge and action planning in first order logic | Prof. K. I. B. Spärck-Jones, Dr E. Rayner | 1993-10-01 | 1998-10-01 1999-01-01 | |
| Michael Norrish | C formalised in HOL | Prof. M. J. C. Gordon | 1994-10-01 | 1998-09-01 1999-01-01 | TR-453 |
| Andrew M R Ward | Sensor-driven computing | Prof Sir A. Hopper | 1995-10-01 | 1998-08-01 1999-02-01 | |
| John B P Naylon | A wireless ATM local area network | Prof Sir A. Hopper | 1994-10-01 | 1998-06-01 1999-01-01 | |
| Panayis Fourniotis Pavlatos | Compiler optimisation of typeless languages | Dr M. Richards | 1993-10-01 | 1998-05-01 1998-10-01 | |
| Malgorzata E Stys | A processing model of information structure in machine translation | Prof. K. I. B. Spärck-Jones | 1992-10-01 | 1998-04-01 1998-10-01 | |
| Giles J Nelson | Context-aware and location systems | Prof Sir A. Hopper | 1993-10-01 | 1998-04-01 1998-06-01 | |
| John Rooney | The structure of open ATM control architectures | Prof. I. M. Leslie | 1995-01-01 | 1998-02-01 1998-06-01 | TR-451 |
| Peter J C Brown | Selective mesh refinement for rendering | Prof. P. Robinson | 1994-10-01 | 1998-02-01 1998-05-01 | TR-490 |
| M Jennifer Li Kam Wa | A measurement-based approach to flow control in ATM networks | Dr D. J. Greaves | 1993-10-01 | 1998-01-01 1998-07-01 | |
| Ian J Lewis | PrologPF: parallel logic and functions on the Delphi Machine | Dr W. F. Clocksin | 1995-04-01 | 1998-01-01 1998-06-01 | |
| Ian Pratt | The user-safe device I/O architecture | Prof. D. R. McAuley | 1993-10-01 | 1997-09-01 1999-02-01 | |
| Hyun S Park | The Korean Core Language Engine | Dr S. G. Pulman | 1994-10-01 | 1997-09-01 1998-05-01 | |
| Stefan G Hild | Managing mobile connections | Prof. P. Robinson | 1994-10-01 | 1997-09-01 1998-02-01 | |
| Christopher T Faigle | DMS-Splines and radiosity | Dr M. A. Sabin | 1994-04-01 | 1997-09-01 1998-02-01 | |
| Feng Shi | An architecture for scalable and deterministic video servers | Prof Sir A. Hopper | 1993-10-01 | 1997-09-01 1997-11-01 | TR-438 |
| Stanley J Mrose | Multiresolution curve and surface design: theory and application of spline wavelets | Prof. J. G. Daugman | 1994-10-01 | 1997-08-01 1998-01-01 | |
| Daniel L Gordon | Scheduling in optically based ATM switching fabrics | Prof. I. M. Leslie | 1992-10-01 | 1997-08-01 1998-01-01 | |
| Xiaobao Chen | An end-to-end communication support architecture for multi-service applications | Prof. I. M. Leslie | 1993-10-01 | 1997-08-01 1997-12-01 | |
| Timothy J Mills | Content modelling in multimedia information retrieval systems: the Cobra retrieval system | Dr J. K. M. Moody | 1994-10-01 | 1997-07-01 1998-02-01 | |
| Joshua X Ross | An evaluation based approach to process calculi | Prof. A. M. Pitts | 1992-10-01 | 1997-06-01 1998-12-01 | TR-456 |
| Ian Jackson | Who goes here? Confidentiality of location through anonymity | Prof. R. M. Needham | 1993-10-01 | 1997-05-01 1998-06-01 | |
| David A Halls | Applying mobile code to distributed systems | Prof. J. M. Bacon | 1994-10-01 | 1997-05-01 1997-11-01 | TR-439 |
| Michael Roe | Cryptography and evidence | Prof. R. M. Needham | 1992-10-01 | 1997-04-01 1997-06-01 | TR-780 |
| Eirik Hektoen | Statistical parse selection using semantic cooccurrences | Prof. E. J. Briscoe | 1991-10-01 | 1997-03-01 1997-06-17 | |
| Karl MacDorman | Symbol grounding: learning categorical and sensorimotor predictions for coordination in autonomous robots | Dr W. F. Clocksin | 1991-10-01 | 1997-03-01 1997-06-01 | TR-423 |
| Tanya Bowden | Natural language techniques for error correction | Dr S. G. Pulman | 1992-10-01 | 1997-02-01 1997-07-11 | |
| Victor Carreno | Transition assertions: a higher-order logic based method for the specification and verification of real-time systems | Prof. M. J. C. Gordon | 1990-10-01 | 1997-02-01 1997-05-01 | |
| Gavin John Stark | Stream handling in multimedia communication systems | Prof Sir A. Hopper | 1990-10-01 | 1996-11-01 1997-01-01 | |
| Steven L Pope | Application support for mobile computing | Prof. J. M. Bacon | 1993-10-01 | 1996-10-01 1997-01-01 | TR-415 |
| Kam Hong Shum | Adaptive parallelism for computing on heterogeneous clusters | Dr J. K. M. Moody | 1993-04-01 | 1996-09-01 1996-11-01 | TR-404 |
| Mark Humphrys | Action selection methods using reinforcement learn | Prof. J. G. Daugman | 1992-10-01 | 1996-08-01 1997-01-01 | TR-426 |
| George Kiraz | Computational approach to non-linear morphology | Dr S. G. Pulman | 1992-10-01 | 1996-08-01 1996-11-01 | |
| Paul Barham | Devices in a multi-service operating system | Prof. D. R. McAuley | 1992-10-01 | 1996-07-05 1996-10-01 | TR-403 |
| Chai-keong Toh | Protocol aspects of mobile radio networks | Dr D. J. Greaves | 1993-10-01 | 1996-07-01 1996-11-01 | |
| John Harrison | Theorem proving with the real numbers | Prof. M. J. C. Gordon | 1992-10-01 | 1996-07-01 1996-11-01 | TR-408 |
| Monica Nesi Thery | Formalising process calculi in higher order logic | Prof. M. J. C. Gordon | 1990-10-01 | 1996-04-19 1996-10-01 | TR-411 |
| Scarlet Schwiderski | Monitoring the behaviour of distributed systems | Dr J. K. M. Moody | 1992-10-01 | 1996-04-01 1996-06-01 | TR-400 |
| Richard JB Hayton | An open architecture for secure interworking services | Dr J. K. M. Moody | 1992-10-01 | 1996-04-01 1996-06-01 | TR-399 |
| Jonathan Sewell | Managing complex models for computer graphics | Prof. P. Robinson | 1992-10-01 | 1996-03-01 1996-07-01 | TR-420 |
| Quentin Stafford-Fraser | Video-augmented environments | Prof. P. Robinson | 1992-10-01 | 1996-02-01 1996-05-01 | TR-419 |
| Michael Hinchey | Structural design and formal methods | Prof. L. C. Paulson | 1992-10-01 | 1996-01-01 1999-06-01 | |
| William S Harbison | Trusting in computer systems | Prof. R. M. Needham | 1989-10-01 | 1996-01-01 1997-07-01 | TR-437 |
| Andrew J Kennedy | Programming languages and dimensions | Prof. A. Mycroft | 1992-01-01 | 1995-11-01 1996-03-01 | TR-391 |
| Sanjay Saraswat | Performance analysis of Delphi machine | Dr W. F. Clocksin | 1992-10-01 | 1995-10-01 1996-01-01 | TR-385 |
| Noha Adly | Management of replicated data in large scale systems | Prof. J. M. Bacon | 1992-01-01 | 1995-09-01 1995-11-01 | TR-383 |
| Uwe Nimscheck | Rendering for free form deformations | Dr M. A. Sabin | 1992-10-01 | 1995-07-01 1995-10-01 | TR-381 |
| Simon Andr Crosby | Performance management in ATM networks | Prof. I. M. Leslie | 1990-10-01 | 1995-05-01 1995-10-01 | TR-393 |
| Oliver Michael Castle | Synthetic image generation for a multiple-view autostereo display | Dr N. E. Wiseman | 1990-10-01 | 1995-05-01 1995-10-01 | TR-382 |
| Arturo Trujillo | Lexicalist machine translation of spatial prepositions | Prof. E. J. Briscoe | 1989-01-01 | 1995-04-01 1995-11-01 | |
| Timothy Roscoe | The structure of a multi-service operating system | Prof. I. M. Leslie | 1991-10-01 | 1995-04-01 1995-07-01 | TR-376 |
| Richard J Black | Explicit network scheduling | Prof. D. R. McAuley | 1991-10-01 | 1994-12-15 1995-03-01 | TR-361 |
| Ian D B Stark | Names and higher-order functions | Prof. A. M. Pitts | 1991-10-01 | 1994-12-01 1995-05-01 | TR-363 |
| Ross J Anderson | Robust computer security | Prof. R. M. Needham | 1992-01-01 | 1994-12-01 1995-05-01 | |
| Simon W Moore | Multithreaded processor design | Prof. D. R. McAuley | 1991-10-01 | 1994-10-01 1995-01-01 | TR-358 |
| Feng Huang | Restructuring virtual memory to support distributed computing environments | Prof. J. M. Bacon | 1990-10-01 | 1994-09-01 1995-07-01 | TR-375 |
| Nicholas Benedict Van Someren | High Quality De-Interlacing Of Television Images | Dr N. E. Wiseman | 1990-10-01 | 1994-09-01 1995-01-01 | |
| Subir Kumar Biswas | Handling Realtime Traffic In Mobile Networks | Prof Sir A. Hopper | 1990-10-01 | 1994-08-01 1994-10-01 | TR-351 |
| Jane Louis Hunter | Integrated sound synchronisation for computer animation | Dr N. E. Wiseman | 1991-01-01 | 1994-07-01 1994-10-01 | TR-348 |
| Michael John Turner | The Contour Tree Image encoding technique and file format | Dr N. E. Wiseman | 1990-10-01 | 1994-05-01 1994-05-01 | TR-344 |
| Narm Hee Lee | Routing in high speed integrated services networks | Prof. R. M. Needham | 1991-01-01 | 1994-04-01 1995-10-01 | |
| Akira Nakamura | An investigation of real-time synchronisation | Prof. R. M. Needham | 1991-04-01 | 1994-01-01 1994-05-01 | |
| Eoin Andrew Hyden | Operating System Support For Quality Of Service | Prof. I. M. Leslie | 1990-10-01 | 1994-01-01 1994-05-01 | TR-340 |
| John Bates | Presentation support for distributed multimedia applications | Prof. J. M. Bacon | 1990-10-01 | 1994-01-01 1994-05-01 | |
| Simon R Kelley | Congestion control for unreserved traffic in ATM networks | Prof. I. M. Leslie | 1990-01-01 | 1993-12-01 1994-06-01 | |
| Richard Boulton | Efficiency In A Fully-Expansive Theorem Prover | Prof. M. J. C. Gordon | 1990-10-01 | 1993-12-01 1994-05-01 | TR-337 |
| Gavin M Bierman | On intuitionistic linear logic | Prof. A. Mycroft | 1990-10-01 | 1993-12-01 1994-05-01 | TR-346 |
| Sai Lai Lo | A modular and extensible network storage architecture | Prof. J. M. Bacon | 1988-01-01 | 1993-11-01 1994-02-01 | TR-326 |
| Pierre David Wellner | Interacting with paper on the Digitaldesk | Prof. P. Robinson | 1991-01-01 | 1993-11-01 1994-01-01 | TR-330 |
| Mark David Hayter | A workstation architecture to support multimedia | Prof. D. R. McAuley | 1990-10-01 | 1993-10-01 1994-12-01 | TR-319 |
| Steven M G Freeman | An architecture for distributed user interfaces | Prof. P. Robinson | 1989-10-01 | 1993-10-01 1994-05-01 | TR-342 |
| Adrian M T Wrigley | Real-time ray tracing on a novel HDTV framestore | Dr N. E. Wiseman | 1989-01-01 | 1993-10-01 1994-01-01 | |
| David M Evers | Distributed Computing With Objects | Prof. P. Robinson | 1989-10-01 | 1993-10-01 1994-01-01 | TR-332 |
| James Doug Grundy | A method of program refinement | Prof. M. J. C. Gordon | 1990-10-01 | 1993-10-01 1993-12-01 | TR-318 |
| Barney D Pell | Strategy generation and evaluation for meta-game playing | Dr S. G. Pulman | 1989-10-01 | 1993-09-01 1993-10-01 | TR-315 |
| Guanxing Li | Supporting distributed realtime computing | Prof. J. M. Bacon | 1989-01-01 | 1993-08-01 1993-11-01 | TR-322 |
| John Peter Van Tassel | Femto-Vhdl: The Semantics Of A Subset Of Vhdl And Its Embedding In The Hol Proof Assistant | Prof. M. J. C. Gordon | 1990-10-01 | 1993-08-01 1993-10-01 | TR-317 |
| Michael R Warner | Charging and resource control for open dist systems | Prof. D. J. Wheeler | 1990-04-01 | 1993-05-01 1993-07-01 | |
| Richard S Crouch | The Temporal Properties Of English Conditionals And Modals | Dr S. G. Pulman | 1987-10-01 | 1993-04-01 1993-07-01 | TR-325 |
| John Carroll | Practical Unification-Based Parsing Of Natural Language | Prof. E. J. Briscoe | 1992-02-01 | 1993-03-01 1993-10-01 | TR-314 |
| J Matthew S Doar | Multicast In The Asynchronous Transfer Mode Environment | Prof. I. M. Leslie | 1989-10-01 | 1993-02-01 1993-05-01 | TR-298 |
| Kish Shen | Studies of and/or parallelism in Prolog | Prof. A. Mycroft | 1987-01-01 | 1993-01-01 1993-01-26 | |
| P Nicholas Benton | Strictness Analysis Of Lazy Functional Programs | Prof. A. Mycroft | 1988-10-01 | 1992-12-01 1993-05-01 | TR-309 |
| Cormac John Sreenan | Synchronisation services for digital continuous media | Prof. R. M. Needham | 1988-01-01 | 1992-11-01 1993-02-01 | TR-292 |
| Andrew D Gordon | Functional programming and Input/Output | Prof. L. C. Paulson | 1987-10-01 | 1992-11-01 1992-11-10 | TR-285 |
| Eike Ritter | Categorical Abstract Machines For Higher-Order Typed Lambda Calculi | Prof. A. M. Pitts | 1989-10-01 | 1992-10-01 1993-03-01 | TR-297 |
| David Elworthy | The semantics of noun phrase anaphora | Prof. E. J. Briscoe | 1989-10-01 | 1992-10-01 1993-03-01 | TR-289 |
| Innes Ferguson | Touring machines: an architecture for dynamic, rational, mobile agents | Dr W. F. Clocksin | 1988-10-01 | 1992-10-01 1993-01-01 | TR-273 |
| Lee Fedder | Generating natural language text from the output of an application program | Dr S. G. Pulman | 1988-10-01 | 1992-10-01 1993-01-01 | |
| Kamiar Sehat | Evaluation of caches and cache coherency | Prof Sir A. Hopper | 1986-10-01 | 1992-08-01 1992-10-01 | |
| Paul W Jardetzky | Network file server design for continuous media | Prof. R. M. Needham | 1988-10-01 | 1992-08-01 1992-10-01 | TR-268 |
| John Michael Levine | A flexible bidirectional dialogue system | Dr S. G. Pulman | 1986-10-01 | 1992-07-01 1993-01-01 | |
| T Mark A Lomas | Aspects of Computer Network Security | Prof. R. M. Needham | 1986-10-01 | 1992-07-01 1992-10-01 | |
| Neil A Dodgson | Image resampling | Dr N. E. Wiseman | 1989-10-01 | 1992-05-01 1992-07-01 | TR-261 |
| Ian Benson | Reasoning About Contingent Events In Distributed Systems | Dr W. F. Clocksin | 1987-10-01 | 1992-04-28 1992-04-01 | |
| Martin D Coen | Interactive program derivation | Prof. L. C. Paulson | 1988-10-01 | 1992-04-01 1992-10-01 | TR-272 |
| Xiao Qian Chen | Congestion control and routing in integrated broadband networks | Prof. I. M. Leslie | 1988-10-01 | 1992-04-01 1992-07-01 | |
| Rajeev Goré | Cut-Free Sequent And Tableau Systems For Propositional Normal Modal Logics | Dr W. F. Clocksin | 1988-10-01 | 1992-03-01 1992-04-01 | |
| Timothy D Wilson | Increasing the performance of storage services for local area networks | Prof. J. M. Bacon | 1986-10-01 | 1992-02-01 1992-06-01 | |
| Chu Suan Ang | Continuous media in fast networks | Prof Sir A. Hopper | 1987-10-01 | 1992-01-01 1992-05-01 | |
| Rachel Cardell-Oliver | The formal verification of hard real-time systems | Prof. M. J. C. Gordon | 1988-10-01 | 1992-01-01 1992-04-01 | TR-255 |
| Xiaofeng Jiang | Multipoint digital video communications | Prof Sir A. Hopper | 1988-10-01 | 1992-01-01 1992-03-01 | TR-251 |
| Siu Chi Hsu | Computer support for large character set languages | Dr N. E. Wiseman | 1988-10-01 | 1991-12-01 1992-05-01 | |
| Mads Rosendahl | Abstract interpretation and attribute grammars | Prof. A. Mycroft | 1987-01-01 | 1991-12-01 1992-04-01 | |
| Chaoying Ma | Designing a universal name service | Prof. R. M. Needham | 1988-01-01 | 1991-11-01 1992-11-01 | TR-270 |
| Thomas U Vogel | Learning In Large State Spaces With An Application To Biped Robot Walking | Dr W. F. Clocksin | 1988-01-01 | 1991-11-01 1992-04-01 | TR-241 |
| Wing Hung Lau | Realistic 3D image composition | Dr N. E. Wiseman | 1988-10-01 | 1991-11-01 1992-01-01 | |
| Glenford E Mapp | An object-oriented approach to virtual memory management | Prof. I. M. Leslie | 1988-01-01 | 1991-11-01 1991-12-01 | TR-242 |
| Stephen M V Hailes | The Design And Implementation Of Troy, A Distributed Object-Based Language | Dr S. C. Crawley | 1987-10-01 | 1991-10-01 1992-02-01 | |
| Timothy F Wiegand | A parallel architecture for storage and retrieval of spatial data | Dr N. E. Wiseman | 1988-01-01 | 1991-10-01 1992-01-01 | |
| A Daniel Hall | Pipelined image processing for pattern recognition | Dr N. E. Wiseman | 1988-10-01 | 1991-10-01 1992-01-01 | TR-892 |
| Olivia R Nagioff | Algorithms for Image Encoding | Prof Sir A. Hopper | 1985-01-01 | 1991-10-01 1991-02-01 | |
| Peter W Dickman | Distributed Object Management In A Non-Small Graph Of Autonomous Networks With Few Failures | Prof. I. M. Leslie | 1987-10-01 | 1991-09-01 1992-02-01 | |
| Michael Joseph Dixon | System support for multi-service traffic | Prof. J. M. Bacon | 1987-10-01 | 1991-09-01 1992-01-01 | TR-245 |
| Jeremy Ball | SEMORICA: a system examining motion and object representation issues in computer animation | Dr N. E. Wiseman | 1987-10-01 | 1991-09-01 1992-01-01 | |
| Roy Crole | Programming metalogics with a fixpoint type | Prof. A. M. Pitts | 1987-10-01 | 1991-07-01 1991-12-01 | TR-247 |
| Mark T Maybury | Planning multisentential English text using communicative acts | Prof. K. I. B. Spärck-Jones | 1986-10-01 | 1991-07-01 1991-11-01 | TR-239 |
| Heng Wang | Modelling and image generation | Dr N. E. Wiseman | 1987-01-01 | 1991-07-01 1991-10-01 | TR-235 |
| Benjamin Macias | An incremental parser for govenment-binding theory | Dr S. G. Pulman | 1986-10-01 | 1991-07-01 1991-10-01 | |
| John Bradshaw | Using Knowledge Of Purpose And Knowledge Of Structure As A Basis For Evaluating The Behaviour Of Mechanical Systems | Prof. S. J. Young | 1987-10-01 | 1991-06-01 1991-10-01 | TR-236 |
| David R Milward | Axiomatic grammar, non-constituent coordination and incremental interpretation | Dr S. G. Pulman | 1987-01-01 | 1991-04-01 1991-10-22 | |
| Derek G Bridge | Computing presuppositions in an incremental natural language processing system | Prof. K. I. B. Spärck-Jones | 1986-10-01 | 1991-04-01 1991-07-01 | TR-237 |
| Phillip Yelland | Models of modularity: a study of object-oriented programming | Prof. A. Mycroft | 1986-10-01 | 1991-03-01 1991-07-01 | |
| David J Brown | Abstraction of image and pixel - The Thistle Display System | Dr N. E. Wiseman | 1986-10-01 | 1991-03-01 1991-06-01 | TR-229 |
| Juanito Camilleri | Priority in process calculi | Prof. G. Winskel | 1987-10-01 | 1991-03-01 1991-05-01 | TR-227 |
| Cosmos Nicolaou | A Distributed Architecture for Multimedia Communication Systems | Prof. I. M. Leslie | 1987-01-01 | 1991-01-01 1991-05-01 | TR-220 |
| KwokYam Lam | A new approach for improving system availability | Prof. D. J. Wheeler | 1987-10-01 | 1991-01-01 1991-03-01 | TR-226 |
| Andrew W Moore | Efficient memory-based learning for robot control | Dr W. F. Clocksin | 1987-01-01 | 1990-11-01 1991-05-01 | TR-209 |
| Mian Wei | A distributed compilation system | Prof. R. M. Needham | 1983-10-01 | 1990-11-01 1991-03-01 | |
| Bhaskar R Harita | Dynamic bandwidth management | Prof. I. M. Leslie | 1986-10-01 | 1990-11-01 1991-03-01 | TR-217 |
| Susan E Thompson | A storage service for structured data | Prof. J. M. Bacon | 1986-10-01 | 1990-11-01 1991-02-01 | |
| Raphael Yahalom | Managing the order of transactions in widely-distruted data systems | Dr J. K. M. Moody | 1986-01-01 | 1990-10-01 1991-01-01 | TR-231 |
| Kamal Chaudhary | VLSI Routing | Prof. P. Robinson | 1987-10-01 | 1990-09-01 1991-01-01 | |
| Karen L Wrench | A distributed and-or parallel Prolog network | Dr M. Richards | 1987-01-01 | 1990-08-01 1990-12-01 | |
| Donald A Gaubatz | Logic Programming Analysis Of Asynchronous Digital Circuits | Prof. D. J. Wheeler | 1984-10-01 | 1990-07-01 1991-11-01 | |
| Michael Luke Tunmer | Combinator reduction on networks of small processors | Dr A. C. Norman | 1986-10-01 | 1990-07-01 1990-11-01 | |
| Gianpaulo Tommasi | Procedural Methods In Computer Graphics | Dr N. E. Wiseman | 1985-01-01 | 1990-07-01 1990-11-01 | |
| Richard C Hutchings | The computer comprehension of systematic metaphor | Prof. K. I. B. Spärck-Jones | 1986-10-01 | 1990-05-01 1990-11-01 | |
| Li Gong | Cryptographic protocols for distributed systems | Prof. D. J. Wheeler | 1987-10-01 | 1990-05-01 1990-11-01 | |
| Jonathan Billington | Extensions to coloured Petri Nets and their application to protocols | Prof. G. Winskel | 1986-10-01 | 1990-05-01 1990-11-01 | TR-222 |
| Paul Curzon | A structured approach to the verification of low level microcode | Dr M. Richards | 1986-10-01 | 1990-05-01 1990-10-01 | TR-215 |
| David A Wolfram | The clausal theory of types | Prof. L. C. Paulson | 1987-01-01 | 1990-04-01 1990-11-01 | |
| Andrew C Harter | Three dimensional integrated circuit layout | Prof Sir A. Hopper | 1983-10-01 | 1990-04-01 1990-07-01 | TR-202 |
| Victor Poznanski | A Relevance-Based Utterance Processing System | Prof. K. I. B. Spärck-Jones | 1985-10-01 | 1990-03-01 1991-06-01 | TR-246 |
| Charles W Restivo | Deductive synthesis and planning | Dr W. F. Clocksin | 1987-10-01 | 1990-03-01 1990-07-01 | |
| Eng Lim Goh | Image synthesis using parallel architectures | Dr N. E. Wiseman | 1987-10-01 | 1990-03-01 1990-07-01 | |
| Stuart Philip Hawkins | Video replay in computer animation | Dr N. E. Wiseman | 1985-10-01 | 1989-12-01 1990-07-01 | TR-207 |
| Jeffery J Joyce | Multi-level verification of microproccesor- based | Prof. M. J. C. Gordon | 1986-10-01 | 1989-12-01 1990-05-01 | TR-195 |
| Timothy Gleeson | Aspects of abstraction in computing | Prof. R. M. Needham | 1986-10-01 | 1989-12-01 1990-05-01 | |
| Derek McAuley | Configuration and binding in distributed systems | Prof. I. M. Leslie | 1985-01-01 | 1989-09-01 1990-01-01 | TR-186 |
| Thomas Frederick Melham | Formalising abstraction mechanisim for hardware ve | Prof. M. J. C. Gordon | 1984-10-01 | 1989-08-01 1990-05-01 | TR-201 |
| Francisco Corella | Foundations of automatic therem proving | Prof. M. J. C. Gordon | 1986-10-01 | 1989-06-01 1990-03-01 | TR-232 |
| Guo- Qiang Zhang | The logic of domains | Prof. G. Winskel | 1985-01-01 | 1989-06-01 1990-01-01 | TR-185 |
| Stephen James Roger Harrison | Raytracing image synthesis techniques | Dr N. E. Wiseman | 1985-10-01 | 1989-06-01 1989-11-01 | |
| Roger Stuart Calnan | The integration of Voice within a digital network | Prof. R. M. Needham | 1984-10-01 | 1989-04-01 1989-05-01 | |
| Peter Newman | Design of a multicast fast packet switch | Prof. R. M. Needham | 1985-01-01 | 1988-12-01 1989-05-01 | TR-165 |
| Richard David Williams | Organisation and analysis of spatial data | Dr N. E. Wiseman | 1985-01-01 | 1988-10-01 1989-03-01 | |
| David Tennenhouse | Prof. R. M. Needham | 1985-01-01 | 1988-09-13 1988-12-13 | TR-184 | |
| Michael Burrows | Caching, migration and replication of files in a distributed file system | Prof. D. J. Wheeler | 1984-10-01 | 1988-09-01 1989-02-01 | TR-153 |
| Paul Karger | Improving security and performance for capability | Prof Sir A. Hopper | 1986-01-01 | 1988-03-01 1988-11-01 | TR-149 |
| Piete T M Brooks | Distribution of functions in computer networks | Prof. R. M. Needham | 1980-10-01 | 1988-02-01 1988-07-01 | |
| Alberto Camilleri | Executing behavioural definitions in higher order | Prof. M. J. C. Gordon | 1984-10-01 | 1988-02-01 1988-06-01 | TR-140 |
| Thomas James W Clarke | Support for heap-based programming | Dr A. C. Norman | 1984-10-01 | 1987-12-01 1989-05-01 | |
| Miriam Ellen Leeser | Reasoning about the function & timing of integrate | Dr W. F. Clocksin | 1984-10-01 | 1987-11-01 1988-05-01 | TR-132 |
| Murray P Shanahan | Set-based processing of horn clauses | Dr W. F. Clocksin | 1984-10-01 | 1987-09-01 1988-02-01 | |
| Andrew Franklin Seaborne | Filing in a heterogeneous network | Prof. J. M. Bacon | 1984-10-01 | 1987-08-01 1988-05-01 | TR-169 |
| Luke Church | Prof. A. F. Blackwell | 2007-10-01 | 2024-07-02 | ||
| Ilia Shumailov | On Security of Machine Learning | Prof. R. J. Anderson | 2017-10-01 | 2022-04-26 | local PDF |
| György Dénes | Perceptual models for high-refresh-rate rendering | Prof. R. K. Mantiuk | 2016-10-01 | 2020-04-28 | local PDF |
| Martin Kleppmann | 2018-03-28 | 2018-10-01 | |||
| Carole S Klein | Exploiting Or-parallelism in Prolog using multiple | Dr W. F. Clocksin | 1986-10-01 | 1990-05-08 | TR-216 |
| David J Greaves | The design of a metropolitan area backbone ring | Prof Sir A. Hopper | 1985-10-01 | 1990-05-08 | |
| Edward Ayers | Prof. M. Jamnik | 2016-10-01 |
See also
- Newton catalogue: University Library Theses
- Theses - Computer Science and Technology,
Apollo - University of Cambridge Repository
(We will automatically link to thesis copies uploaded to Apollo once that repository offers an API and captures the author’s CRSID.)