Part B - Student Projects
Projects suggested by academics
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
XML transformation and update languages
Mike Brady
Ani Calinescu
Biologically-inspired computing
Pervasive and ubiquitous computing
Stephen Cameron
Building an Animation or Simulation System
hree Dimensional Sculptured Surface Graphics
Bob Coecke
Quantum Computing and Quantum Information, Logic, Category Theory, Fundamental Physics
Jotun Hein
Peter Jeavons
Constraint Satisfaction Problems
Geraint Jones
Compilation of a CSP-like language
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
Gavin Lowe
Tom Melham
Machine-assisted Verification of Software
Hanno Nickau
An Electronic Commerce Protocol
Dan Olteanu
G-Store: A Storage Manager for Graph Data
SIGMOD 2010 Programming Contest
Uncertain Database Management Systems
Luke Ong
Joel Ouaknine
Chess-Playing Program (or other games)
Model Checking / Timed Automata / Probabilistic Systems
UCT/Monte-Carlo Game-Playing Program
Joe Pitt-Francis
Michael Spivey
Nick Trefethen
Various topics in Numerical Computation
James Worrell
Decision procedures for Presburger arithmetic with divisibility