MSc in Computer Science - Student projects
Projects suggested by academics
Michael Benedikt
Optimization of Web Query Plans
XML transformation and update languages
Phil Blunsom
Baysian models of word alignment for Machine Translation
Discriminative language modelling
Implicit CFG projections for Synchronous Tree-Substitution Grammars
Ani Calinescu
Biologically-inspired computing
Pervasive and ubiquitous computing
Stephen Cameron
Object-Oriented Splines Library
Bob Coecke
Quantum Computing and Quantum Information, Logic, Category Theory, Fundamental Physics
Oege de Moor
Projects in the Programming Tools Group
Andreas Doering
Comparing intuitionistic versions of quantum logic
Description of entangled qubit states by measures
Grace Eden, Marina Jirotka
Responsible Research and Innovation in ICT
Georg Gottlob
Car Intelligence: Domain Analysis and Intelligent Services
Classifying and Benchmarking Web Automation Tools
Domain-Based Structural Web Page Analysis and Data Extraction
Hybrid Optimization for Software Component Configuration
PDF-Inspired Visual Data Extraction for HTML
SAT solvers for problems with counting
Thinking Browser: Visual Highlighting of Reasoning on DOM Nodes
VOXPath: Visual Data Extraction with OXPath
Visual Annotation of Web Objects using OXPath
Jotun Hein
Peter Jeavons
Bioinformatics/Computational Biology
Consistency for soft constraints
Constraint Satisfaction Problems
Implementing a fragment of first-order logic
Geraint Jones
Compilation of a CSP-like language
Modelling of arithmetic circuits
Andrew Ker
Visualization of steganalytic features
Daniel Kroening
Automatic Diverse Machine Code Generator
Hardware footprinting of software
Model Checking Multi-Cycle Paths
Separation Logic in SMT Solvers
Marta Kwiatkowska
Probabilistic Modelling and Verification
Gavin Lowe
A Casper Front End for ProVerif
Analysis of Parameterised Systems using CSP and FDR
Analysis of Security Protocols
Case studies with probabilistic CSP
Implementing a CSP Process Animator
John Lyle
Delegation languages for access control on mobile devices
Privacy, location and mobile sensor-based applications
Replacing PKI with Identity Based Encryption
Trusted Network Connect for ubiquitous computing
Tom Melham
Automatic Diverse Machine Code Generator
Hardware footprinting of software
Dan Olteanu
G-Store: A Storage Manager for Graph Data
SIGMOD 2011 Programming Contest
Uncertain Database Management Systems
Luke Ong
Foundational Structures for Concurrency
Game Semantics and Linear Logic
Semantics of Programming Languages
Types, Proofs and Categorical Logic
Vasile Palade
David Parker
Probabilistic Model Checking and PRISM
Stephen Pulman
Ellipsis Interpretation - Not available 2011-12
Proof Theory For a Linguistically Motivated Logic - Not available 2011/12
Ajitha Rajan
Enhancing the CBMC symbolic execution tool to support mixed concrete + symbolic execution
Bill Roscoe
Applications of ad hoc security
Efficient and secure digest functions
Specifying and verifying systems in CSP and FDR
Mehrnoosh Sadrzadeh
Implementing Algorithms for Robot Navigation
Michael Spivey
Programming Language Semantics
Bernard Sufrin
MSc and Undergraduate Projects
Jeyan Thiyagalingam
Enabling Multi-level Parallelism in Parallel MATLAB
F90toCUDA: Compiling FORTRAN 90 Programs to CUDA
Irina Voiculescu
Exact Algorithms for Complex Root Isolation
James Worrell
A Probabilistic LTL Model Checker
Complexity of Probabilistic Bisimilarity