MSc Projects 2003/4


 
This year's allocation can be found  HERE! Do not forget to reload this link as the list gets updated.

This list contains the projects offered this year for M.Sc students on the Advanced Computer Science, Advanced Computer Science with ICT Management, Computer Science, Computational Science and Engineering and Computational Methods and Imaging in Medicine programmes. It is largely complete, although projects are still awaited from some members of staff. As these come in, the list will be updated. Every so often reload this page and check here for the ...
 

Having perused the list, you should:

Please perform this exercise as quickly as possible and hand in your form by the February 18th 2004. I will then collate the data and attempt, in discussion with course directors, to give as many people as possible one of their preferred choices. Please note that, in general, only one person will get to do one project. Also, there is a limit to the total number of projects that a staff member is capable of supervising. For these reasons, there is a strong likelihood of disappointment if you plump for popular projects/supervisors. Unfortunately there is no way of knowing the pattern of demand in advance (you might like to ask staff members about the level of interest in projects when you see them). If you are unsuccessful, there will be a further round of the process in March.
A final point. It is possible that you wish to do a project of your own devising, or follow up an idea that has arisen in conversation with a staff member. If you wish to do a project that is not in the book, then you should first get the agreement of a staff member to supervise you, and then hand in a description of the project to Janet, again by February 18th 2004 (and signed by the supervisor).

The list follows. The projects are classified as being suitable for ACS (Advanced Computer Science), ACSwICT (Advanced Computer Science with ICT Management,   CS (Computer Science) CaS (Computational Science) CMIM (Computational Methods and Imaging in Medicine); the classification on the main list is the definitive one. (Note that the list is not in any particular order though collections of related projects from recognised research groups in the department often appear together).  Also, staff members who can supervise students but have not proposed any projects yet appear first.
 

Andy Brass

Andy Carpenter

Mike Cunningham

Doug Edwards

John Latham

Andrei Voronkov

Alan Williams

 

 
 
 
 
 
 
 
 
 
 
 
 
 

Alan Rector


ALR.1 A handover system for junior doctors in an intensive care unit(ACS, ACSwICT, CS, CMIM)

ALR.2 Experiments in Representing Comparative Anatomy in OWL (ACS/CMIM/CS)

ALR.3 Comparing the National Cancer Institute's CaCore vocabulary with other existing vocabularies and resources(ACS, CMIM, CS)

ALR.4 Direct manipulation tools for authoring ontologies (ACS, CS, ACSwICT)

ALR.5 Semantic Web and Ontology Based Tools for finding Projects in Computer Science(CS, CAS, ACS, ACSwICT, CMIM)

ALR.6 Using ontologies as conceptual Lego to link users, topics, and media for an adaptive user interface (CS, CAS, ACS, ACSwICT, CMIM)

ALR.7 Building ontologies by playing twenty questions(CS, CAS, ACS, ACSwICT, CMIM)

ALR.8 Representing the evolution of concepts and language in OWL (CS, CAS, ACS, ACSwICT, CMIM)
 
 

Barry Middleton

BKM.1  Modelling of an Audio Tape Recording System (ACS, CS, CaS)
BKM.2 Modelling the Behaviour of Magnetic Recording Media (ACS, CS, CaS)
BKM.3 Growth of Thin Film Materials (ACS, CS, CaS)
BKM.4 Conduction in Discontinuous Thin films (ACS, CS, CaS)

 
 

Carole Goble


CAG.1 Enabling visually impaired web surfers (ACS,CS,ACSwICT)

CAG.2 Conceptual Open Hypermedia link extensions (ACS,CS,ACSwICT)

CAG.3 Building a RDF model of a web page (ACS,CS,ACSwICT)

CAG.4 An event notification system for ontology and metadata changes on the semantic web (ACS,CS,ACSwICT)

CAG.5 A tool for linking ontologies with Web Service specifications (CS, ACSwICT)

CAG.6 Towards automating the annotation of web resources with terms (ACS, ACSwICT)

CAG.7 A tool for providing additional lexicon for an ontology (ACS, ACSwICT)
 
 

Chris Kirkham


CCK.1 Producing Records of Go Games using a WebCam (CS, ACS)
 
 

Fumie Costen


FC.1 Development of 3D ray tracing tool in Fortran (ACS,CS)

FC.3 Visualization of the transient signal captured by a moving receiver (ACS,CS)

FC.4 Characterization of the signal deterioration (ACS,CS)
 
 

Fumie Costen and John Brooke


FC.2 Parallelization of FDTD code in Fortran (ACS,CS)
 
 

Howard Barringer


HB.1 An Executable Model of IDEA (ACS,ACSwICT)

HB.2 Modelling Argumentation Networks (ACS,ACSwICT,CS)

HB.3 Search Strategy Experiments with a Parallel CTL* Model Checker  (ACS,ACSwICT,CS)

HB.4 Parallelisation of Symbolic Model Checking (ACS,ACSwICT)

HB.5 Developing EAGLE for On-line Fault Recovery (ACS,ACSwICT)

HB/IW.1 Parallelisation of Symbolic Model Checking (ACS,ACSwICT)
 
 

Hilary Kahn


HJK.1   MODEL DRIVEN WEB-BASED ENVIRONMENT (CS, ACS)

HJK.2  INFORMATION MODEL CONSISTENCY CHECKER (CS, ACS)

HJK.3 MODEL DRIVEN WEB-BASED LEARNING TOOL  (CS)

HJK.4  NATURAL ENVIRONMENT RECOGNITION SYSTEM (CS,ACS)

HJK.5 VIRTUAL MINERALOGY DATABASE (CS)
 
 

Ian Pratt-Hartmann


IEP-H.1 Theorem-proving in the two-variable fragment (ACS/CaS)

IEP-H.2 Temporal interval logics (ACS/CaS/CS)

IEP-H.3 Computational Topology (ACS,CaS)

IEP-H.4 The logic of only knowing (ACS/CaS)

IEP-H.5 Underspecified Representations in Natural Language Processing (ACS/CaS)

IEP-H.6 Generics and plural quantification in the semantics of natural language (ACS/CaS)

IEP-H.7 Anaphora and cataphora in the semantics of natural language (ACS/CaS)
 
 

Projects from IPG Group

Suzanne Embury


IPG.1 Process Provenance - Where did that result come from? (ACS, CS)

IPG.2 Annotating e-Science results with Quality Information (ACS, CS)

IPG.3 A Schema Compliance Checker for Java/JDBC (ACS, ACSwICT)

IPG.4 A Visual Interface for the Specification and Modification of Business Rules (ACS, ACSwICT, CS)
 

Brian Warboys


IPG.5 IT Support for flexible links between businesses (ACS, ACSwICT, CS)

IPG.6 A Developer for ADL/ProcessBase (ACS, CS)

IPG.7 Process Modelling with Hypercode (ACS)

IPG.8 Qualitative Decision Models (ACS, ACSwICT)

IPG.9 ADL Learning System (CS)

IPG.11 Supporting a real-world decision-making process (CS)

IPG.12 Process Models in e-Science and e-Business (ACS, ACSwICT, CS)
 

Brian Warboys and Steve Pettifer


IPG.10 Virtual Reality and Active Models (ACS, ACSwICT)
 

JAMAICA Group Projects

The Projects may be supervised by IW or CCK

JAM.1 Genetic Algorithms for Dynamic Compilation (ACS)

JAM.2 A High-Performance Java Micro Kernel (ACS/CS)

JAM.3 Native Code Execution within a JVM (ACS/CS)

JAM.4 An ARM Port of the Jikes RVM (ACS/CS)

JAM.5 Visualization of a Chip Multiprocessor (ACS/CS)
 

Ian Watson

IW.1 VLIW meets Dataflow - A novel approach to ILP (ACS)

HB/IW.1 Parallelisation of Symbolic Model Checking (ACS,ACSwICT)
 

John Brooke

JMB.1  Lightweight services for Grid Computing (ACS,CaS,CS)

JMB.2 Dependency analysis of Web and Grid services (ACS,CS)

JMB.3 Learning algorithms for prediction of queuing times (ACS,CaS)

JMB.4 Resource prediction from application data (ACS,CaS,CS)
 

Projects in Computer-assisted assessment

John Sargeant


JS.1 Semi-automatic marking of text answers (ACS,ACSwICT,CS)

JS.2 Automatic marking of Java programming style (ACS,ACSwICT,CS)

JS.3 Support for equations in exams (ACS,ACSwICT,CS)

JS.4 Evaluation of the ABW diagramming features (ACS,ACSwICT,CS)

JS.5 Strategies for matching diagrams (ACS,ACSwICT,CS)

JS.6 Computer support for marking schemes (ACS,ACSwICT,CS)
 

Kung-Kiu Lau


KKL.1 Quality Assurance for Software Components (CS,CaS,ACS,ACSwICT)

KKL.2 Contract-compliant Software Components (CS,CaS,ACS,ACSwICT)

KKL.3 Connectors for Software Components (CS,CaS,ACS,ACSwICT)

KKL.4  Predictable Assembly (CS,CaS,ACS,ACSwICT)

KKL.5  Design Patterns for Component-based Development (CS,CaS,ACS,ACSwICT)

KKL.6 Components in UML (CS,CaS,ACS,ACSwICT)
 

Linda Brackenbury


LEMB.1 Architectural modelling of a small synchronous RISC computer (ACS, CS)

LEMB.2 Cellular applications for optical computing (ACS, CS)

LEMB.3 Testing a RISC Computer(ACS, CS)

LEMB.4 Testing a Low-Power Functional Unit for a DSP (ACS,CC)
 

Magnus Rattray


MR.1 Learning from a flock of birds (ACS,CaS,CMIM)

MR.2 Bayesian Inference of Evolutionary History (ACS,CaS)

MR.3 A comparison of state-of-the-art clustering and visualisation methods (ACS,CaS,CMIM)
 

Norman Paton


NWP.1 Socrates Exchange Possibilities (ACS,CS)

NWP.2 Genome Information Management (ACS,CS)

NWP.3 Applications of Spatio-Temporal Databases (ACS)

NWP.4 Tools for Spatio-Temporal Databases (ACS)
 

Ning Zhang


NZ.1 Integrating Privacy Property into Our Ubiquitous Authentication Framework (ACS)

NZ.2 A Smart Card Based User Authentication and Access Control for Shared Information in an e-Grid Environment (ACS)

NZ.3 Mobile Agent Enabled Web-based Shopping (ACS)

NZ.4 Visualisation of Security Threats and Consequences (ACS)

NZ.5 Mobile IP Implementation and Analyses Using OPNET (CS, ACS)
 

Peter Capon


PCC.1 XML examples for a Compiler Course (ACS,CS)
 

Pete Jinks


PJJ.1 Designing Grammars (ACS,CS)

PJJ.2 Manipulating Grammars (ACS,CS)

PJJ.3 & PJJ.4 Deriving grammars from example texts(ACS,CS)
 

Paul Nutter


PWN1: Modeling the Interferometric Patterning Process

PWN2: Photo Resist Spinner Control Software

PWN3: Photo Lithography in the Near-Field

PWN4: Hardware Viterbi Decoder

PWN5: Genetic Algorithms for System Optimisation

PWN6: Java-based interface for an optical simulation tool
 

Rob Richardson


RCR 1. Simulation of jumping robot for space exploration applications (ACS,ACSwICT,CS)

RCR 2. Simulation and experiments towards control of a hovering robot (ACS,ACSwICT,CS)

RCR 3. Model based animation of a flapping wing (ACS,ACSwICT,CS)

RCR 4. Bipedal walking simulator (ACS,ACSwICT,CS)

RCR 5. Robot archaeology (ACS,ACSwICT,CS)

RCR 6. Internet control of co-operative robot manipulators (ACS,ACSwICT,CS)

RCR 7. Haptic devices for rehabilitation (ACS,ACSwICT,CS)
 

Robert Stevens


RDS.1 Dynamic Linking of bioinformatics Distance Learning Web Pages (ACS,ACSwICT,CS)

RDS.2 Evaluation of a Dynamic Linking Service (ACS,ACSwICT,CS)

RDS.3 Speaking Telephone Numbers (ACS,ACSwICT,CS)

RDS.4 Metrics for Visual Complexity (ACS,ACSwICT,CS)
 

Robert Stevens and Simon Harper


RDS. 5, SH.1 Automatic Page Summation for Visually Impaired Surfers ACS, CSwIT
 

Renate Schmidt


RenS.1 A Flexible Reasoner for Propositional Logic (ACS, CS)

RenS.2 Minimal Model Generation (ACS, CS)

RenS.3 A System for Reasoning about Actions (ACS, CS)

RenS.4 Combining Natural Deduction with Resolution (ACS, CS, Maths)
 

Richard Banach


RHB.1 An ASM-based Java Teaching Tool (ACS,CS,CaS)

RHB.2 ASM Animation and B-Toolkit Animation (ACS,CS,CaS)

RHB.3 The B-Toolkit and the Perfect Developer (ACS,CS,CaS)

RHB.4 Syntax and Semantics of the Mixed Logic Notation (ACS,CS,CaS)

RHB.5 Case Studies in the B Method (ACS,CS,CaS)

RHB.6 Research Topics in Formal Software Development (ACS,CS,CaS)

RHB.7 Formal Specifications for Continuous Systems (ACS,CS,CaS)

RHB.8 ABC and LOGO (CS)

RHB.9 Visualising Interaction Nets (ACS,CS)

RHB.10 Interaction Nets and MONSTR: A Compiler (ACS,CS)

RHB.11 Interaction Nets and MONSTR: A Proof (ACS,CS)
 

Roger Hubbold


RJH.1 Collision algorithms for Virtial Environments (ACS,ACSwICT,CS)

RJH.2 Collision detection in MAVERIK++ (ACS, ACSwICT, CS)

RJH.3 Autoconfiguring immersive projection displays (ACS,ACSwICT,CS)
 

Steve Furber


SBF.1 Image Processing with Spiking Neurons (ACS,CS)

SBF.2 Robot control with Spiking Neurons (ACS,CS)

SBF.3 Sensor network ad-hoc communications (ACS,CS)

SBF.4 Asynchronous 8-bit microprocessor (ACS,CS)

SBF.5 Asynchronous neural processor design (ACS,CS)
 

Steve Pettifer


SRP.1 Visualising the Utopia Filing System's content (ACS, ACSwICT)

SRP.2 Visualising the Utopia File System's Metadata (ACS, ACSwICT)

SRP.3 Interactive 2D/3D Membrane Protein "snake" Visualiser (ACS, ACSwICT)

SRP.4 The database formerly known as PRINTS (ACTwICT, ACS, CS)
 

Toby Howard


TLJH.1 Crime Lab-1: Re-reconstructing Chestergate (ACS,ACSwICT,CS)

TLJH. Crime Lab-2: Evidence Space (ACS,ACSwICT,CS)

TLJH. Crime Lab-3: Ballistics (ACS,ACSwICT,CS)

TLJH. Crime Lab-4: Contingency planning (ACS,ACSwICT,CS)
 

Uli Sattler


US.1 Design and Implementation of an ontology generator (ACS, ACSwICT)

US.2 Design and Implementation of an ontology analyzer (ACS, ACSwICT)

US.3 Implementation of an algorithm deciding finite satisfiability (ACS)

US.4 Extending the DL SHIQ with another useful concept constructor (ACS)
 

Projects from the CNC Group

 

Ian Horrocks and Graham Gough

IRH.1 Explaining Description Logic Inferences (ACS)

IRH.2 Adding Rules to the OWL Ontology Language (ACS)

IRH.3 Editing SWRL Ontologies (ACS, CS)

IRH.4 Automated Testing of OWL Reasoners (ACS, CS)
 
 

Graham Gough


GDG.1  Highly Optimised Satisfiability Testing for Temporal Logic (CS, ACS)
 
 

Milan Mihajlovic


 MDM.1   Solution of the Poisson equation using algebraic multigrid  (CaS)

 MDM.2  Finite element method for the solution of the convection-diffusion problem  (CaS)

MDM.3  Finite element method for the solution of parabolic equations  (CaS)

MDM.4 Gauss-Legendre numerical quadratures in exact arithmetic (ACS)
 
 

Stephen Barton and Nick Filer


SKB/NPF.1 A packet-oriented approach to simulating Wireless LAN MAC protocols in Java (ACS,CS)

SKB/NPF.2 Simulating the effects of Link adaptation and power control (ACS,CS)

SKB/NPF.3 Routing algorithms for multi-hop ad-hoc Wireless Networks (ACS,CS)

SKB/NPF.4 Routing algorithms for multi-hop access networks for mobile multimedia (ACS,CS)

SKB/NPF.5 Echo Domain Multiple Access (EDMA) a new multiple access technique for Ultra Wideband (UWB) radio networks (ACS, CS)

SKB/NPF.6 Terrain mapping based on multipath channel impulse response (ACS,CS)

SKB/NPF.7 Wireless Local Area Network Throughput Analysis - Experimental Comparisions (ACS/CS)

NPF/SKB.8 A Pictorial Finite State Machine Generator For Discrete Event Simulations (ACS/CS)
 
 

Peter Aczel


PHGA.1  Dependently-Sorted Logic (ACS)
 
 

Jon Shapiro


JLS.1 Studies of Ant Colony Optimisation Algorithms (ACS, CS, CMIM, CaS)

JLS.2 A New Method for Learning a Mixture of Local Models (ACS,CaS, CMIM)

JLS.3 Algorithmic Music Composition on Simulated Autonomous Instruments by the Learning of Statistical Similarity. (ACS, CS, CaS, CMIM)

JLS.4 Machine Learning and Optimisation (ACS, CS, CaS, CMIM)
 
 

Rizos Sakellariou

RIS.1 Projects on Task Scheduling for Heterogeneous Systems (ACS,ACSwICT)
 
 
 

Jim Miles


JJM.1 2-D Panorama Tool for Digital Cameras (ACS,CMIM)

JJM.2 Interview Scheduling Tool (ACS, ACSWIT, CS)

JJM.3 Multipole Expansion Optimisation (ACS, CaS)

JJM.4 Object Based Micromagnetic Simulator (ACS, CaS)
 
 

Alvaro Fernandes


AAAF.1 (CS, ACS) - Extending Propositional Data Mining Algorithms to the Relational Case

AAAF.2 (ACS) - Aggregation Queries over Spatial-Historical Values

AAAF.3 (ACS) - A Structured Language for Combined Query Answering and Knowledge Discovery

AAAF.4 (ACS) - A Query Engine in k KLOCs, 1 =< k << 5
 
 

Jim Garside

JDG.1 Better Asynchronous Branch Prediction (ACS, CS)

JDG.2 Fine-grain Pipelining for Processors (ACS, CS?)

JDG.3 Asynchronous Superscalar Processors (ACS, CS?)

JDG.4 Asynchronous Coprocessors (ACS, CS)

JDG.5 Asynchronous Bitstream Coding (ACS, CS)

JDG.6 UWB Transmitter Identification (ACS, CS)
 

David Rydeheard


DER.1  Experiments in Programming Language Design (I) (ACS)

DER.2  Experiments in Programming Language Design (II) (ACS)

DER.3  A Mobility Toolkit (ACS)

DER.4  Applications of computers to ecology and botany (any MSc)
 

Mary McGee Wood


MMW.1 Web Page Accessibility (ACS, ACSwICT, CS)

MMW.2 Identifying Plant Species from Botanical Text (ACS, ACSwICT, CS)

MMW.3 Dialogue Analysis in On-Line Tutorials (ACS, ACSwICT, CS)

MMW.4 Opportunities in Natural Language Processing (CS, ACS)
 
 

Barry Cheetham


BC04M.1: Estimating network QoS parameters and simulating video conferencing links.

BC04M.2 Anonymous speech transcription to text

BC04M.3 :  Investigating voice over wireless LAN protocols