Part B - Student Projects
Natural Language Processing, Information Retrieval, Machine Learning and Artificial Intelligence
Alexandru Baltag
Combining Information by Communication: the dynamics of belief merge
Dynamic-logical approaches to Quantum Computation
Probability-Based Settings for Knowledge Update and Belief Revision
Rationality in Games and the Players' Evolving Beliefs
Michael Benedikt
Data Cleaning
XML transformation and update languages
Mike Brady
Medical image analysis
Ani Calinescu
Biologically-inspired computing
Modelling and reasoning about complex agent-based networked systems, such as the Internet, financial markets and biological systems
Pervasive and ubiquitous computing
Stephen Cameron
Building an Animation or Simulation System
Developing the Robot Sheepdog
Robot Path Planning
Robot Soccer Simulation
hree Dimensional Sculptured Surface Graphics
Bob Coecke
Quantum Computing and Quantum Information, Logic, Category Theory, Fundamental Physics
Jotun Hein
Bioinformatics Projects
Peter Jeavons
Bioinformatics
Computational Biology
Constraint Satisfaction Problems
Geraint Jones
Compilation of a CSP-like language
Logic circuit workbench
Mozaic player
Toys for Animating Mathematics
Stephan Kreutzer
A Game Characterisation for Inflationary Modal Logics
Computing Tree-Decompositions of Graphs
Parity Games and Model Checking for the Modal mu-Calculus
Daniel Kroening
Projects being offered by D Kroening
Marta Kwiatkowska
Investigation of efficient binary decision diagram (BDD) heuristics for the modelling language of the PRISM model checker
Gavin Lowe
Case studies with CSP and FDR
Secure Channels in CSO
Tom Melham
Formal Hardware Verification
Implementation of Logics
Machine-assisted Verification of Software
Mechanised Reasoning
Hanno Nickau
An Electronic Commerce Protocol
Dan Olteanu
G-Store: A Storage Manager for Graph Data
Modelling Uncertainty in XML
SIGMOD 2010 Programming Contest
Uncertain Database Management Systems
Luke Ong
Luke Ong's Projects
Joel Ouaknine
Chess-Playing Program (or other games)
Model Checking / Timed Automata / Probabilistic Systems
UCT/Monte-Carlo Game-Playing Program
Joe Pitt-Francis
Graphics pipeline animator
Michael Spivey
A debugger for Oberon
Bytecode for GeomLab
JIT translator for Oberon
Type-checking for GeomLab.
Nick Trefethen
Various topics in Numerical Computation
James Worrell
Decision procedures for Presburger arithmetic with divisibility
Verifying Timed Automata
|
