Part B - Student Projects
Project Documents
Projects suggested by academics
Natural Language Processing, Information Retrieval, Machine Learning and Artificial Intelligence
Michael Benedikt
XML transformation and update languages
Mike Brady
Stephen Cameron
Building an Animation or Simulation System
Three Dimensional Sculptured Surface Graphics
Bob Coecke
Quantum Computing and Quantum Information, Logic, Category Theory, Fundamental Physics
Georg Gottlob
Classifying and Benchmarking Web Automation Tools
Domain-Based Structural Web Page Analysis and Data Extraction
PDF-Inspired Visual Data Extraction for HTML
Thinking Browser: Visual Highlighting of Reasoning on DOM Nodes
Jotun Hein
Peter Jeavons
Constraint Satisfaction Problems
Geraint Jones
Compilation of a CSP-like language
Toys for Animating Mathematics
Andrew Ker
Visualization of steganalytic features
Daniel Kroening
Projects being offered by D Kroening
Marta Kwiatkowska
Projects being offered by Marta Kwiatkowska
Gavin Lowe
Hanno Nickau
An Electronic Commerce Protocol
Dan Olteanu
G-Store: A Storage Manager for Graph Data
Uncertain Database Management Systems
Luke Ong
Joe Pitt-Francis
Stephen Pulman
Ellipsis Interpretation - Not available 2011-12
Proof Theory For a Linguistically Motivated Logic - Not available 2011/12
Mehrnoosh Sadrzadeh
Implementing Algorithms for Robot Navigation
Michael Spivey
James Worrell
Decision procedures for Presburger arithmetic with divisibility