Part C - 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
Object-Oriented Splines Library
Bob Coecke
Quantum Computing and Quantum Information, Logic, Category Theory, Fundamental Physics
Georg Gottlob
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
A Casper Front End for ProVerif
Analysis of Parameterised Systems using CSP and FDR
Analysis of Security Protocols
Case studies with probabilistic CSP
Tom Melham
Machine-assisted Verification of Software
Hanno Nickau
An Electronic Commerce Protocol
Dan Olteanu
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