Part C - Student Projects
Project Documents
Projects suggested by academics
Samson Abramsky
Sheaf theoretic semantics for vector space models of natural language
Michael Benedikt
XML transformation and update languages
Mike Brady
Kevin Burrage
Ani Calinescu
Modelling and reasoning about pervasive computing systems
Stephen Cameron
Object-Oriented Splines Library
Bob Coecke
Quantum Computing and Quantum Information, Logic, Category Theory, Fundamental Physics
Software development: quantomatic, automated graphical reasoning tools
Sadie Creese
Kinect interface development for cybersecurity visual analytics tool
Technology-layer social networks
Bernardo Cuenca Grau
Exploiting background knowledge in ontology matching
Interactive ontology matching in LogMap
Tim Furche
Clean up your Extraction: Deduplication for Data Extraction
Docu-Research. Object Annotation and Visualization for PDF Documents
Fully-visual Data Extraction from Result Pages
Good Wrappers are Lazy Wrappers: Avoiding Page Rendering
Mine4Nuggets. Searching for objects into images
One Path to Find them All: Learning OXPath Wrappers
Michael Goldsmith
Kinect interface development for cybersecurity visual analytics tool
Technology-layer social networks
Jotun Hein
Geraint Jones
Compilation of a CSP-like language
Toys for Animating Mathematics
David Kay
Andrew Ker
A steganography app for facebook
Intelligent combination of steganalysis features
Daniel Kroening
Projects being offered by D Kroening
Marta Kwiatkowska
Projects being offered by Marta Kwiatkowska
Projects offered by Marta Kwiatkowska
Gavin Lowe
Analysis of Security Protocols
Implementing a CSP Process Animator
Thomas Lukasiewicz
Inconsistency-Tolerant Query Answering in the Semantic Web
Ranking and Top-k Query Answering under Uncertainty in the Semantic Web
Semantic Web Search Based on Ontological Conjunctive Queries
Eamonn Maguire
Design Driven Acquisition of Bio-experiments
Graph Based Bio-experiments Store
Ontology Based Validation of Bio-experimental Records
Hanno Nickau
An Electronic Commerce Protocol
Dan Olteanu
Probabilistic databases (MayBMS, SPROUT)
Scalable and declarative machine learning
Uncertain Database Management Systems
Luke Ong
Branching Temporal Logics, Automata and Games
Vasile Palade
Joe Pitt-Francis
Bill Roscoe
Modelling and verifying systems in Timed CSP and FDR
Mehrnoosh Sadrzadeh
A parser for pre-group grammars
Implementing Algorithms for Robot Navigation
Michael Spivey
A simple object-oriented language
Better performance for GeomLab
Eliminating array bounds checks
Irina Voiculescu
Exact Algorithms for Complex Root Isolation
Jonathan Whiteley
Implementation of numerical methods
James Worrell
Algorithms for Bisimulation and Simulation on Markov Chains
Model Checking LTL on Markov Chains
UCT/Monte-Carlo Game Playing Program
Nicolas Wu
Extending the Haskell Foreign Function Interface
Functional Algorithms for Real Time Strategy Games
Improving Haskell Code Generation
Hongseok Yang
Extension of the interval program analysis for unknown library functions
Nonblocking data structures based on message-passing concurrency