Part C - 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
Object-Oriented Splines Library
Bob Coecke
Quantum Computing and Quantum Information, Logic, Category Theory, Fundamental Physics
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
Toys for Animating Mathematics
David Kay
Andrew Ker
Daniel Kroening
Projects being offered by D Kroening
Marta Kwiatkowska
Projects being offered by Marta Kwiatkowska
Gavin Lowe
Analysis of Parameterised Systems using CSP and FDR
Analysis of Security Protocols
Hanno Nickau
An Electronic Commerce Protocol
Dan Olteanu
Uncertain Database Management Systems
Luke Ong
Joe Pitt-Francis
Mehrnoosh Sadrzadeh
A parser for pre-group grammars
Implementing Algorithms for Robot Navigation
Michael Spivey
Irina Voiculescu
Exact Algorithms for Complex Root Isolation
James Worrell
Decision procedures for Presburger arithmetic with divisibility