School of Computer Science

MSc Projects 2009-2010

MBS projects for ACS & ITM

A limited number of MBS projects are available for ACS & ITM students.

ACS & ITM students can and should also choose other projects.

How to apply for an MBS project

MBS Project Arrangement Form

The following MBS staff have volunteered to supervise such projects.

MSc Projects

Supervisor

Sophia Ananiadou

Supervisor

Sophia Ananiadou

Title

Evaluating text mining services

Suitability

Suitable for students interested in Natural Language Processing and Text Mining.

Supervisor

Sophia Ananiadou

Supervisor

Chris Atkinson

Supervisor

Chris Atkinson

Supervisor

Richard Banach

Title

A Perfect Developer Case Study

Suitability

An interest in formal development, and familiarity with basic discrete mathematics, is highly desirable.

Supervisor

Richard Banach

Title

GIS Support for Emerging Infectious Diseases in East Africa

Suitability

An interest in databases and geographical information systems is desirable.

Supervisor

Richard Banach

Title

Zhongwen Youxi He

Suitability

An good knowledge of programming is required. An interest in Chinese is a distinct advantage.

Supervisor

Howard Barringer

Title

A graphical/chart-oriented representation and animation facility for RuleR

Suitability

Suitable for students with an interest in the development of lightweight tools for software engineering.

Supervisor

Howard Barringer

Title

Analysis of On-line Examination Log Files

Suitability

Suitable for students with an interest in the development and application of lightweight formal methods in real world applications

Supervisor

Howard Barringer

Title

Benchmarking Run-time Verification Tools

Suitability

Students with an interest in Java-based software tools and their evaluation

Supervisor

Howard Barringer

Title

Developing RuleR for fault detection, diagnosis and repair.

Suitability

Students with an interest in wild ideas.

Supervisor

Sean Bechhofer

Title

Building Semantic Applications using Taverna Workflows

Suitability

This project will have a strong focus on technology and implementation, and is ideally suited to those with strong programming skills.

Supervisor

Sean Bechhofer

Title

Content Management for Personal Scientific Data

Suitability

This project will have a strong focus on technology and implementation, and is ideally suited to those with strong programming skills.

Supervisor

Sean Bechhofer

Title

Extracting SKOS vocabularies from News Feeds

Suitability

This project is adaptable to the student's interest. For example, those interested in a less technology focused direction could consider analysis of trends over time.

Supervisor

Sean Bechhofer

Title

Modal Logic for Protege

Suitability

Those with an interest in formal languages and user interfaces

Supervisor

Sean Bechhofer

Title

Modelling Geographical Concepts

Suitability

Students with an interest in ontologies and geography

Supervisor

Sean Bechhofer

Title

What's in the Web of Data?

Suitability

This project would be suitable for students with strong analytical skills, and does not necessarily require a significant implementation component.

Supervisor

Linda Brackenbury

Title

Architectural Model of a RISC Processor

Suitability

Suitable for ACS students and for students on the Low Power Systems Integration masters course.

Supervisor

Linda Brackenbury

Title

Correcting Damaged Data

Suitability

ACS, MCS

Supervisor

Linda Brackenbury

Title

Instruction Level Simulator

Suitability

ACS

Supervisor

Linda Brackenbury

Title

Lowering Power by Applying Adaptive Decoding to Convolutional Codes

Suitability

Particularly Suitable for ACS or Maths & Computational Science students

Supervisor

Linda Brackenbury

Title

Marking Assistant

Suitability

ACS

Supervisor

Andrew Brass

Supervisor

Andrew Brass

Supervisor

Andrew Brass

Supervisor

John Brooke

Title

A REST interface for computational steering

Suitability

Those interested in problems of software engineering in distributed computing

Supervisor

John Brooke

Title

Modeling sunspot distribution by stochastic resonance

Suitability

Students interested in scientific programming and in scientific visualization

Supervisor

John Brooke

Title

Monitoring the state of Peer-to-Peer systems using topology adaptation

Suitability

Students interested in Grid and Peer-to-Peer distributed systems.

Supervisor

Gavin Brown

Title

Machine Learning for Compiler Optimisation

Suitability

Advanced MSc students

Supervisor

Gavin Brown

Title

Machine Learning for Java Garbage Collection

Suitability

Advanced MSc students

Supervisor

Gavin Brown

Supervisor

Andrew Carpenter

Title

Arcade Course Configuration

Suitability

Suitable for students with significant Eclipse and Java experience. Experience with UML modelling and meta-modelling is also be useful.

Supervisor

Andrew Carpenter

Title

Enabling the Generation of Websites from Models

Suitability

Suitable for students with significant Eclipse and Java experience. Experience with UML modelling and meta-modelling is also be useful.

Supervisor

Andrew Carpenter

Title

Relationship of OWL and EMP

Suitability

Suitable for students with significant Eclipse and Java experience. Experience with OWL modelling and meta-modelling is also be useful.

Supervisor

Andrew Carpenter

Title

Specifying A Distributed Games Playing Environment

Suitability

Suitable for students with significant Eclipse and Java experience. Experience with UML modelling and meta-modelling is also be useful.

Supervisor

Andrew Carpenter

Title

Specifying Networking Protocols

Suitability

Suitable for students with significant Eclipse and Java experience. Experience with UML modelling and meta-modelling is also be useful.

Supervisor

Andrew Carpenter

Title

Validating Network Protocols

Suitability

Suitable for students with significant Eclipse and Java experience. Experience with UML modelling and meta-modelling is also be useful.

Supervisor

Barry Cheetham

Title

An application for teaching Westerners to recognize and reproduce tones in Chinese

Suitability

Computer Scientists with knowledge of Chinese, preferably Mandarin.

Supervisor

Barry Cheetham

Title

Damaged packet delivery and PLC for VoWLAN

Suitability

Suitable for students who understand wireless LANs and are willing to learn MATLAB.

Supervisor

Barry Cheetham

Title

Effect of bit-errors on compressed speech and music.

Suitability

Suitable for students who understand wireless LANs and are willing to learn MATLAB.

Supervisor

Barry Cheetham

Title

Estimating network QoS parameters & simulating audio/video conferencing links.

Suitability

Suitable for students who understand wireless LANs and are willing to learn MATLAB.

Supervisor

Barry Cheetham

Title

Viterbi decoder for forward error correction in mobile networks.

Suitability

Suitable for students who understand wireless LANs and are willing to learn MATLAB.

Supervisor

Barry Cheetham

Title

‘Just intonation’ midi synthesiser

Suitability

Suitable for students who understand wireless LANs and are willing to learn MATLAB.

Supervisor

Fumie Costen

Title

Boundary of the wave propagation simulation software

Suitability

This project is adaptable to the student's interest and flexible as to which skills will come to the fore. If you are the type of person who enjoys one of the following activities: biomedical modelling,parallel computing in Beowulf clusters and/or Supercomputers,parabolic partial differential equations, programming,shell-script writing under Unix/Linux environment, then this is the project for you.

Supervisor

Fumie Costen

Title

Cancer localisation

Suitability

This project is adaptable to the student's interest and flexible as to which skills will come to the fore. If you are the type of person who enjoys one of the following activities: biomedical modelling,parallel computing in Beowulf clusters and/or Supercomputers,parabolic partial differential equations, programming,shell-script writing under Unix/Linux environment, then this is the project for you.,

Supervisor

Fumie Costen

Title

Filter manipulation

Suitability

This project is adaptable to the student's interest and flexible as to which skills will come to the fore. If you are the type of person who enjoys one of the following activities: biomedical modelling,parallel computing in Beowulf clusters and/or Supercomputers,parabolic partial differential equations, programming,shell-script writing under Unix/Linux environment, then this is the project for you.,

Supervisor

Fumie Costen

Title

Frequency response of human tissues

Suitability

This project is adaptable to the student's interest and flexible as to which skills will come to the fore. If you are the type of person who enjoys one of the following activities: biomedical modelling,parallel computing in Beowulf clusters and/or Supercomputers,parabolic partial differential equations, programming,shell-script writing under Unix/Linux environment, then this is the project for you.

Supervisor

Fumie Costen

Title

High performance numerical simulation of wave propagation

Suitability

This project is adaptable to the student's interest and flexible as to which skills will come to the fore.If you are the type of person who enjoys one of the following activities: biomedical modelling,parallel computing in Beowulf clusters and/or Supercomputers,parabolic partial differential equations, programming,shell-script writing under Unix/Linux environment, then this is the project for you.

Supervisor

Fumie Costen

Title

Parallelisation of a numerical simulation software for wave propagation

Suitability

This project is adaptable to the student's interest and flexible as to which skills will come to the fore.If you are the type of person who enjoys one of the following activities: biomedical modelling,parallel computing in Beowulf clusters and/or Supercomputers,parabolic partial differential equations, programming,shell-script writing under Unix/Linux environment, then this is the project for you.,

Supervisor

Fumie Costen

Title

Propagation modelling in the heart

Suitability

This project is adaptable to the student's interest and flexible as to which skills will come to the fore.If you are the type of person who enjoys one of the following activities: biomedical modelling,parallel computing in Beowulf clusters and/or Supercomputers,parabolic partial differential equations, programming,shell-script writing under Unix/Linux environment, then this is the project for you.,

Supervisor

Alvaro Fernandes

Title

A Library of Schema Matching Algorithms for Use in Dataspace Management Systems

Suitability

ACS students with less-than-strong software engineering skills but with an interest in more formal work

Supervisor

Alvaro Fernandes

Title

Matching Schemas Using Grammatical Inference Techniques

Suitability

ACS students with less-than-strong software engineering skills but with an interest in more formal work

Supervisor

Alvaro Fernandes

Title

Sensor Network Query Processing - Code-Generating Contiki C from SNEE Agendas

Suitability

ACS students with strong software engineering skills

Supervisor

Alvaro Fernandes

Title

Sensor Network Query Processing - Designing Sensor Network Deployments

Suitability

ACS students with less than strong software engineering skills

Supervisor

Alvaro Fernandes

Title

Sensor Network Query Processing - Dynamically Adapting Acquisition Rates in SNEE

Suitability

ACS students with strong software engineering skills

Supervisor

Nicholas Filer

Supervisor

Nicholas Filer

Title

First Class Protocols

Suitability

ACS, ACSwITM, SE, ISE

Supervisor

Nicholas Filer

Supervisor

Nicholas Filer

Title

Sloodle to Aid Distance Learning of Computer Science

Suitability

ACS, ACSwITM, ISE, SE

Supervisor

Nicholas Filer

Supervisor

Nicholas Filer

Title

Vehicle Route and Velocity Mapping using an iPhone 3GS - only available to Anirudh Gahlot

Suitability

Anirudh Gahlot (ID 75616990) - no one else will be considered. This project has already been allocated.

Supervisor

Donal Flynn

Supervisor

Donal Flynn

Supervisor

Donal Flynn

Supervisor

Thomas Freeman

Title

PLASMA: Parallel Linear Algebra for Scalable Heterogeneous Multicore Architectures

Suitability

These projects are suitable for students with an interest in high-performance computing for numerical applications and reasonably strong mathematical skills.

Supervisor

Stephen Furber

Title

Asynchronous Cellular Automata

Suitability

Suitable for students with an interest in low-level technology

Supervisor

Stephen Furber

Title

Evolving Simple Robot Control Systems

Suitability

Suitable for imaginative engineers.

Supervisor

Stephen Furber

Title

SpiNNaker Robot Arm System

Suitability

Suitable for those who find biology inspiring.

Supervisor

Stephen Furber

Title

SpiNNaker Vision System

Suitability

Suitable for those who find biology inspiring.

Supervisor

Stephen Furber

Title

SpiNNaker on the Web

Suitability

Suitable for web animation enthusiasts.

Supervisor

Aphrodite Galata

Title

Animation of avatars using human motion data

Suitability

Students interested in Computer Graphics, Computer Vision and Machine Learning

Supervisor

Aphrodite Galata

Title

Gaze correction for one-to-one video conferencing

Suitability

Students interested Computer Vision, Computer Graphics and Machine Learning.

Supervisor

Aphrodite Galata

Title

Real-time hand tracking

Suitability

Students interested Computer Vision, Computer Graphics and Machine Learning.

Supervisor

Aphrodite Galata

Title

Video Retargeting

Suitability

Students interested Computer Vision, Computer Graphics and Machine Learning.

Supervisor

Aphrodite Galata

Title

Videorealistic speech animation

Suitability

Students interested in Computer Graphics, Computer Vision and Machine Learning

Supervisor

James Garside

Title

'Hot spot' detection

Suitability

Suitable for: someone with an interest in performance monitoring/enhancement

Supervisor

James Garside

Title

A low power instruction set architecture

Suitability

Budding microprocessor architects

Supervisor

James Garside

Title

A low-power FFT chip

Suitability

someone with interests in microarchitecture/custom circuit design

Supervisor

James Garside

Title

Dynamic, distributed fault tolerance

Suitability

System architects/software developers

Supervisor

James Garside

Title

Video effects - on a budget

Suitability

Someone who wants to do some challenging hardware

Supervisor

James Garside

Title

Virtual hardware

Suitability

Someone who is happy with unusual ideas.

Supervisor

Carole Goble

Title

Gadgets and Tools for Nature Networks

Suitability

A Web Application development enthusiast

Supervisor

Carole Goble

Title

Semantic Spreadsheets - using the Semantic Web for Scientific Data

Suitability

A very capable programmer with an interest in the Semantic web

Supervisor

Carole Goble

Title

The People Prompter: The iPhone Killer App for People Over 45 years

Suitability

Really good developers as iPhone apps are hard to build

Supervisor

Carole Goble

Title

Using a spreadsheet metaphor to view scientific provenance

Suitability

A student with excellent programming skills and interest in semantic web

Supervisor

Carole Goble

Title

Validating Scientific Workflows for Provenance Friendliness

Suitability

an excellent programmer with an interest in process models

Supervisor

James Graham

Title

Analysis of high-resolution DNA melting curves for rapid diagnosis of bacterial infection

Suitability

Students with strong programming skills and an interest in the challenges of other disciplines

Supervisor

James Graham

Title

Automatic detection of dental caries

Suitability

Syudents with strong programming skills and an interest in the challenges of other disciplines

Supervisor

James Graham

Title

Detecting the stromal components (e.g. blood vessels) in human tumours

Suitability

Students with strong programming skills and an interest in the challenges of other disciplines

Supervisor

Christopher Harrison

Title

Rapid Prototyping via Executable (Equational) Specifications

Suitability

Persons interested in developing new skills in rapid-prototyping via specifications

Supervisor

Christopher Harrison

Title

Software Tools to Support "D"-like languages

Suitability

Persons with Visual Studio skills, interested in developing purpose-built software tools including editors and compilers

Supervisor

Christopher Harrison

Title

Support for Teaching XML

Suitability

Any (but with interest in developing teaching software)

Supervisor

Christopher Harrison

Title

Web-Based Support for Teaching Delivery

Suitability

Any (but with interest in developing teaching software)

Supervisor

Martin Henery

Supervisor

Ernest Hill

Title

Laser writing defect correction on a nanoscale.

Suitability

Suitable for anyone with a Mathemetics background.

Supervisor

Ernest Hill

Title

Modelling of Textured Polymer Surfaces used for Surgical Implants.

Suitability

Suitable for anyone interested in 3D modelling and graphics.

Supervisor

Ernest Hill

Title

Pyrotechnic Display Simulation.

Suitability

Suitable for anyone interested in computer graphics

Supervisor

Ernest Hill

Title

Robot Replicators and Fabricators

Suitability

Suitable for anyone with an interest in Robotics or simulation.

Supervisor

Ernest Hill

Title

Simulation of Nanoscale Fabrication.

Suitability

Suitable for anyone with a Physics or Mathemetics background.

Supervisor

Christopher Holland

Supervisor

Christopher Holland

Supervisor

Christopher Holland

Supervisor

Toby Howard

Title

Augmented Reality - Inspiring the next generation

Suitability

Suitable for creative students with experience of software engineering. Experience of working with schoolchildren, or an interest in educational practice, is useful but not essential.

Supervisor

Toby Howard

Title

Augmented Reality - Japanese translation

Suitability

This project is suited to a student who is a competent software engineer, and has an interest in image processing and computer graphics. Some knowledge of Japanese (or Chinese) would be an advantage, but is not essential.

Supervisor

Toby Howard

Title

Augmented Reality - architectural visualisation

Suitability

This project is suited to a student who is a competent software engineer, and has an interest in image processing and computer graphics.

Supervisor

Christopher Kirkham

Supervisor

Christopher Kirkham

Supervisor

Joshua Knowles

Title

Adding Memory to Ant Colony Optimization

Suitability

Students with a high degree of initiative and strong analytical skills

Supervisor

Joshua Knowles

Title

Computer Art or Music (Evolutionary Algorithms Competition)

Suitability

Students with a high degree of initiative and strong coding ability

Supervisor

Joshua Knowles

Title

Design of Multifactorial Experiments by Genetic Search

Suitability

This project is suitable for a student with strong analytical skills.

Supervisor

Joshua Knowles

Title

Learning to Solve Rubik's Cube with Grid Computing (Evolutionary Algorithms Competition)

Suitability

Students with a high degree of initiative and strong coding ability (Java)

Supervisor

Joshua Knowles

Title

Racing Car Game (Evolutionary Algorithms Competition)

Suitability

Students with a high degree of initiative and strong coding ability (Java)

Supervisor

Konstantin Korovin

Title

Clausal normal form transformations

Suitability

Excellent programming skills preferably functional languages: OCaml/ML,good knowledge of first-order logic and automated reasoning (COMP60121).

Supervisor

Konstantin Korovin

Title

Exploring the Limits of Satisfiability

Suitability

Good or Excellent programming skills (preferably C/C++), Good or Excellent understanding of propositional logic and reasoning (COMP60121 is recommended)

Supervisor

Konstantin Korovin

Title

Learning Parameters for Reasoning Systems

Suitability

Excellent programming skills preferably functional languages: OCaml/ML,interest in machine learning, local search and evolutionary/genetic algorithms,interest in first-order logic and automated reasoning

Supervisor

Konstantin Korovin

Title

Proof Generation for Instantiation-Based Reasoning

Suitability

Excellent programming skills for both C and one of functional languages: e.g. OCaml/ML, excellent knowledge of first-order logic and automated reasoning (COMP60121).

Supervisor

Kung-kiu Lau

Title

Component-based software for the automotive domain

Suitability

Students interested in software components and automotive software

Supervisor

Kung-kiu Lau

Title

Component-based software for the avionics domain

Suitability

Students interested in software components and avionics software

Supervisor

Kung-kiu Lau

Title

Design patterns for component-based software development

Suitability

Students interested in software components and design patterns

Supervisor

Kung-kiu Lau

Title

Mapping requirements directly to component-based software architectures

Suitability

Students interested in software components and sotware development from requirements

Supervisor

Kung-kiu Lau

Title

Using GMF for component-based software development

Suitability

Students interested in software components and model-driven architecture using Eclipse

Supervisor

Neil Lawrence

Title

Decomposing Complex Human Movements into their Component Parts

Suitability

Suitable for Students interested in machine learning as applied to human motion modelling.

Supervisor

Neil Lawrence

Title

Modelling Motion Capture for Game Animation

Suitability

Suitable for students interested in machine learning as applied to motion caputre.

Supervisor

Neil Lawrence

Title

Modelling the Environmental and Genomic Causes of Disease

Suitability

Suitable for students interested in machine learning as applied to health.

Supervisor

Neil Lawrence

Title

Prediction of Football Scores

Suitability

Suitable for students interested in machine learning as applied to time series prediction in football.

Supervisor

David Lester

Title

NASA Formal Methods

Suitability

Mathematically oriented students

Supervisor

David Lester

Title

Neural Computing for vision

Suitability

Mathematicians, AI-ers

Supervisor

Mikel Lujan

Title

A New Data Structure for the Java Collections Framework

Suitability

Good software development skills

Supervisor

Mikel Lujan

Title

Amazon SimpleDB or Google Datastore on Multi-core Architectures

Suitability

Good software development skills

Supervisor

Mikel Lujan

Title

Applications of a Biologically Derived Retinal Model

Suitability

Good mathematical skills

Supervisor

Mikel Lujan

Title

Brain: a Sparse Matrix?

Suitability

Either good algorithmic and mathematical skills or excellent software development skills

Supervisor

Mikel Lujan

Title

Building a Binary Instrumentation Tool using a Java Virtual Machine

Suitability

Interest in system software, excellent software development skills

Supervisor

Mikel Lujan

Title

C# STM.Net, Scala, X10, Go, Noop ... = A Parallel Tower of Babel

Suitability

Interested in programming languages. Excellent software development skills

Supervisor

Mikel Lujan

Title

Characterizing Application Behaviour

Suitability

Good analytical and software development skills

Supervisor

Mikel Lujan

Title

Developing Applications on GPUs

Suitability

Good software development skills in C

Supervisor

Mikel Lujan

Title

Developing a Software Transactional Memory Library

Suitability

Good software development skills (e.g. in C, X10 or Scala)

Supervisor

Mikel Lujan

Title

FPGAs and SpiNNaker

Suitability

Good knowledge of computer architecture

Supervisor

Mikel Lujan

Title

Fast MapReduce framework on multi-cores

Suitability

Good software development skills

Supervisor

Mikel Lujan

Title

Fast Multi-core Neuron Simulator

Suitability

Good software development skills

Supervisor

Mikel Lujan

Title

Implementing steal-on-abort in hardware transactional memory

Suitability

Interested in computer architecture, good software development skills

Supervisor

Mikel Lujan

Title

Large Scale Machine Learning

Suitability

Good mathematical and software development skills, recommended COMP60431 and/or COMP60011

Supervisor

Mikel Lujan

Supervisor

Mikel Lujan

Title

Scheduling and Virtualization on Multi-core Architectures

Suitability

Adaptable project: one version suitable for ISE students; other versions require good software development skills

Supervisor

Mikel Lujan

Title

Understanding Branch Predictors in Multi-core Architectures

Suitability

Good knowledge of computer archicture

Supervisor

Mikel Lujan

Title

Understanding Hardware Transactional Memory

Suitability

Interest in computer architecture, good software development skills

Supervisor

Mikel Lujan

Title

Understanding Networks-on-Chip

Suitability

Good understanding of computer architecture

Supervisor

Mikel Lujan

Title

Understanding the Memory Wall in Multi-cores

Suitability

Good knowledge of computer architecture

Supervisor

Mikel Lujan

Title

When Mistakes Can be Tolerated

Suitability

Good software development skills

Supervisor

Mikel Lujan

Title

iTLS: Intelligent Thread Level Speculation

Suitability

Good software development skills

Supervisor

John Mcnaught

Supervisor

John Mcnaught

Supervisor

John Mcnaught

Supervisor

John Mcnaught

Supervisor

Nikolay Mehandjiev

Supervisor

Pedro Mendes

Title

A framework for inverse modelling using information-theoretic measures

Suitability

Students with a good mathematical skill set and good programming skills

Supervisor

Pedro Mendes

Supervisor

Pedro Mendes

Title

Developing a tabulation approach to multiscale modeling for systems biology.

Suitability

Individuals with an interest in numerical analysis and computer simulation.

Supervisor

Milan Mihajlovic

Title

Geometric multigrid preconditioning of the Hermholtz equation

Suitability

Mathematics and Computational Science

Supervisor

Milan Mihajlovic

Supervisor

Milan Mihajlovic

Supervisor

Milan Mihajlovic

Title

Performance improvement of the AMG code HSL_MI20

Suitability

Mathematics and Computational Science

Supervisor

Ludi Mikhailov

Supervisor

Ludi Mikhailov

Supervisor

David Morris

Title

Factor Graphs and Object Detection

Suitability

All students

Supervisor

David Morris

Supervisor

David Morris

Supervisor

David Morris

Supervisor

David Morris

Title

Someone to Watch Over Me

Suitability

All students

Supervisor

David Morris

Title

Vehicle Tracking

Suitability

All students

Supervisor

Eva Navarro

Title

Dynamical and computational structures under the sea: hybrid modelling of fish motion

Suitability

Students keen on exploring inter-disciplinary work are invited to this project. It would be helpful to have enthusiasm for dynamical systems theory and simulation, programming, graph and automata theory, and basic computer graphics

Supervisor

Eva Navarro

Title

Formal verification of dynamical behaviours in an electromechanical system

Suitability

Students keen on exploring inter-disciplinary work are invited to this project. It would be helpful to have enthusiasm for dynamical systems theory and simulation, programming, basic automata theory and logics

Supervisor

Eva Navarro

Title

The mystery of monarch butterflies: hybrid models explaining their migration.

Suitability

Students keen on exploring inter-disciplinary work are invited to this project. It would be helpful to have enthusiasm for dynamical systems theory (mainly, difference equations) and simulation, programming, basic automata theory and GPU programming

Supervisor

Goran Nenadic

Title

An Analysis of Financial Market Blogs and Forums

Suitability

Students with excellent analytical, writing and presentation skills, with some interest in text analytics and financial markets.

Supervisor

Goran Nenadic

Title

An Analysis of Health-care Blogs and Forums

Suitability

Students with excellent analytical, writing and presentation skills, with some interest in text analytics and health-care.

Supervisor

Goran Nenadic

Title

An Analysis of Local Community Blogs and Forums

Suitability

Students with excellent analytical, writing and presentation skills, with some interest in text analytics and blog mining.

Supervisor

Goran Nenadic

Title

Building topic-related terminology using text analytics

Suitability

ACS, ACSwITM, ISE, BioHealth and Informatics, with good programming skills and interest in text analytics

Supervisor

Goran Nenadic

Title

Did I get my prepositions right: a word processing plug-in for checking preposition usage

Suitability

ACS, with interest in text analytics and APIs

Supervisor

Goran Nenadic

Title

Extracting active URLs from scientific literature

Suitability

ACS, Software Engineering or BioHeath Informatics, with some experience of XML processing

Supervisor

Goran Nenadic

Title

Question answering from FAQ pages

Suitability

ACS, with interest in text analytics and APIs

Supervisor

Goran Nenadic

Title

Sentiment mining in social network posts

Suitability

ACS, ACS & ITM, BioHealth Informatics, with interest in text analytics and e-commerce/e-science

Supervisor

Richard Neville

Title

Investigating artificial neural network mapping accuracy [training error] with respect to its generalization ability

Suitability

Any MSc student with good Mathematics and programming skills; plus background knowledge of AI.

Supervisor

Richard Neville

Title

Investigating artificial neural network training methodologies for optimal generalisation

Suitability

Any MSc student with good Mathematics and programming skills; plus background knowledge of AI.

Supervisor

Richard Neville

Title

Investigating using local and global features and computational intelligent methodologies to classify data

Suitability

Any MSc student with good Mathematics and programming skills; plus background knowledge of AI.

Supervisor

Paul Nutter

Title

Disc Drive Interogation and Data Recovery

Suitability

Suitable for someone with knowledge of file systems who fancies a bit of (potentially complex) program development.

Supervisor

Paul Nutter

Title

Filtering Techniques for Advanced Data Storage

Suitability

Suitable for someone with an interest in signal processing, simulation and/or hardware development.

Supervisor

Paul Nutter

Title

Genetic Algorithms for System Optimisation

Suitability

Suitable for someone with an interest in signal processing/simulation/FPGA.

Supervisor

Paul Nutter

Title

Image Analysis of Patterned Structures

Suitability

Suitable for someone with an interest in image processing and software development.

Supervisor

Paul Nutter

Title

Imaging of of thin metallic films for identifying material properties

Suitability

Suitable for anyone with a Physics or Mathemetics background.

Supervisor

Paul Nutter

Title

Signal Evaluation for Ultra High Density Storage

Suitability

Suitable for someone with an interest in signal processing/simulation.

Supervisor

Bijan Parsia

Title

Developing Probabilistic Ontologies

Suitability

This project is suitable for a student with strong analytical skills and will involve understanding and analysing a task or work process.

Supervisor

Bijan Parsia

Title

Evaluating Java-OWL Integration

Suitability

This project is suitable for a student with strong programming and analytical skills.

Supervisor

Bijan Parsia

Title

OWL/XML Tools

Suitability

This project is suitable for a student with good programming skills and a background with XML technologies.

Supervisor

Bijan Parsia

Title

Ontology Visualization

Suitability

This project will have a major user evaluation component and is suitable for a student with strong programming skills

Supervisor

Bijan Parsia

Title

Spatial reasoning and representation in OWL

Suitability

Students with good logic and/or programming skills

Supervisor

Illias Petrounias

Supervisor

Illias Petrounias

Supervisor

Illias Petrounias

Supervisor

Illias Petrounias

Supervisor

Illias Petrounias

Supervisor

Stephen Pettifer

Title

Decomposing Documents

Suitability

Of flexible complexity, requiring some programming experience in Python or similar scripting language

Supervisor

Stephen Pettifer

Title

Reconstructing data from the scientific literature

Suitability

This project requires programming skills in C or C++, and a basic understanding or interest in computer graphics

Supervisor

Ian Pratt-hartmann

Title

A problem in relational algebra

Suitability

Someone with a reasonable background in mathematics

Supervisor

Ian Pratt-hartmann

Title

From natural language to Entity-Relationship diagrams

Suitability

Students interested in natural language processing

Supervisor

Ian Pratt-hartmann

Title

Proving Theorems in the Relational Syllogistic

Suitability

Students with an interest in logic, theorem-proving and AI

Supervisor

Ian Pratt-hartmann

Title

The two-variable guarded fragment with counting quantifiers

Suitability

Students with an interest in logic

Supervisor

Allan Ramsay

Title

Arabic speech recognition

Suitability

You have to be a fluent Arabic speaker

Supervisor

Allan Ramsay

Title

Composition tool

Suitability

Students with an interest in music

Supervisor

Allan Ramsay

Title

Projection of 3D images using anaglyphs

Suitability

You have to be able to cope with simple 3D geometry.

Supervisor

Magnus Rattray

Title

A comparison to MCMC methods for model selection

Suitability

someone with an interest in probabilistic modelling and Bayesian inference. Also an interest in systems biology might be advantageous but not necessary.

Supervisor

Magnus Rattray

Title

Cluster analysis of gene expression patterns across tissues

Suitability

A student with an interest in mathematical techniques and algorithms

Supervisor

Magnus Rattray

Title

Empirical comparison of sparse inference methods

Suitability

Someone interested in machine learning

Supervisor

Magnus Rattray

Title

New methods for low-level processing of next generation sequencing data

Suitability

A student with an interest in computational biology

Supervisor

Alasdair Rawsthorne

Title

Calendaring for Knowledge and Innovation

Suitability

you need to be comfortable scripting and implementing web and database features

Supervisor

Alasdair Rawsthorne

Title

Crowdsourcing Manchester's Story

Suitability

You will be scripting, designing for the web and creating compelling user interfaces

Supervisor

Alasdair Rawsthorne

Title

Social Networks, Bus Stops, and Crowdsourcing Information

Suitability

You'll need to use web and mobile technologies.

Supervisor

Alasdair Rawsthorne

Title

Virtualization: Continuous Online Optimization

Suitability

ACS students, comfortable in assembly language and very high level languages

Supervisor

Alasdair Rawsthorne

Title

Virtualization:ARM Hypervisor

Suitability

ACS students, comfortable in assembly language

Supervisor

David Rydeheard

Title

A Workbench for Reactive Grammars

Suitability

Some familiarity with language processing and grammars is necessary, as is an ability to develop good software tools. The willingness to develop mathematically-based science is desirable.

Supervisor

David Rydeheard

Title

MSc opportunities on the Evolvable Systems Project

Suitability

Suitable for those interested in system development, logical methods of design and analysis,or evolvable and adaptive systems.

Supervisor

David Rydeheard

Title

Own

Supervisor

Sandra Sampaio

Supervisor

Sandra Sampaio

Supervisor

Sandra Sampaio

Supervisor

Sandra Sampaio

Supervisor

John Sargeant

Supervisor

John Sargeant

Supervisor

John Sargeant

Supervisor

Ulrike Sattler

Supervisor

Andrea Schalk

Title

Finite fields and models for linear logic

Suitability

Students with an interest in pure mathematics

Supervisor

Andrea Schalk

Title

Linear Logic - Graphically

Suitability

Students with an interest in theoretical computer science or proof theory

Supervisor

Andrea Schalk

Title

Models of Linear Logic

Suitability

Students with an interest in mathematical models.

Supervisor

Thierry Scheurer

Title

A Web Application: Simulating Micro Payments

Suitability

Anyone with good programming skills in Java (or C++, at a pinch)

Supervisor

Thierry Scheurer

Title

A Web-based Disaster Relief Management System

Suitability

Anyone with good programming skills in Java (or C++, at a pinch)

Supervisor

Thierry Scheurer

Title

A Web-based Exhibition Management System

Suitability

Anyone with good programming skills in Java (or C++, at a pinch)

Supervisor

Thierry Scheurer

Title

A Web-based Play Production Management System

Suitability

Anyone with good programming skills in Java (or C++, at a pinch)

Supervisor

Thierry Scheurer

Title

A Web-based Race Management System

Suitability

Anyone with good programming skills in Java (or C++, at a pinch)

Supervisor

Thierry Scheurer

Title

A Web-based Software Experimentation Laboratory

Suitability

Anyone with good programming skills in Java (or C++, at a pinch)

Supervisor

Renate Schmidt

Title

Automatically computing first-order frame correspondence properties for modal axioms

Suitability

The project is suitable for someone with a keen interest in logic and automated reasoning.

Supervisor

Renate Schmidt

Title

Blocking in description logic tableau provers

Suitability

The project is suitable for someone with a keen interest in logic and automated reasoning.

Supervisor

Renate Schmidt

Title

Synthesising tableau calculi for modal logics

Suitability

This project will involve theoretical development and depending on the student's inclination more or less implementation effort.

Supervisor

Jonathan Shapiro

Title

Learning in changing environments.

Suitability

A student interested in fundamental mechanisms of learning. The work will be done in simulation, but some knowledge of probability functions is necessary.

Supervisor

Jonathan Shapiro

Title

Machine learning for the analysis of subsurface geological data

Suitability

As this involves an outside collaboration, a student who is very dedicated and skilled at programming and computational experiments is required.

Supervisor

Jonathan Shapiro

Title

Probabilistic models for finding structure in complex networks

Suitability

Students with mathematical skill and desire to learn about network analysis

Supervisor

Robert Stevens

Title

A Term Extraction Plug-in for Protégé 4

Suitability

This project will suit a student with good design and implementation skills. It will contain an element of user evaluation, but the whole project is flexible.

Supervisor

Robert Stevens

Title

An Ontology Driven Family History tool

Suitability

This project has a strong design and implementation aspect. It will involve using logical descriptions of data using the Web Ontology Language OWL..

Supervisor

Robert Stevens

Title

Analysing the ACS Masters Project Book

Suitability

This project will suit a student keen to discover how to characterize a business through its text records.

Supervisor

Robert Stevens

Title

Analysing the Use of the Web Ontology Language

Suitability

A business minded student with good analytical skills.

Supervisor

Robert Stevens

Title

The Best Place to find terms

Suitability

This project will suit a student with good analytical skills and an interest in using text mining to help build semantic artifacts such as ontologies.

Supervisor

Robert Stevens

Title

Visualising OWL as UML

Suitability

This project will interest someone with good design and implementation skills together with good problem analysiss skills.

Supervisor

Babis Theodoulidis

Supervisor

Babis Theodoulidis

Supervisor

Babis Theodoulidis

Supervisor

Babis Theodoulidis

Supervisor

Babis Theodoulidis

Supervisor

Martin Turner

Title

GL.1 Accelerometer Controlled Scientific Visualization

Suitability

This project is suitable for a student with good programming skills.

Supervisor

Martin Turner

Title

MT.3 Image Painting in Fourier (or Wavelet Transform) Space

Suitability

Good programming - option for parallelism

Supervisor

Mark Van Harmelen

Title

Own

Supervisor

Andrei Voronkov

Title

Integration of DBLP and EasyChair

Suitability

excellent programming and analytical skills are required

Supervisor

Andrei Voronkov

Title

Mining of email logs and bounced email

Suitability

excellent programming and analytical skills are required

Supervisor

Alexandria Walker

Supervisor

Alexandria Walker

Title

Experiment Simulator

Suitability

ACS

Supervisor

Alexandria Walker

Title

Scenario Based Learning

Suitability

Someone with an interest in E-Learning and willingness to develop an application

Supervisor

Alexandria Walker

Supervisor

Weigang Wang

Supervisor

Weigang Wang

Supervisor

Ian Watson

Title

Parallel Haskell on the Niagara-2 multi-core Processor

Suitability

Suitable for students who are interested in parallelism

Supervisor

Ian Watson

Title

Programming Parallel Applications for a Novel Parallel Computational Model

Suitability

Students interested in Multi-Core Parallelism

Supervisor

Xiaojun Zeng

Supervisor

Xiaojun Zeng

Supervisor

Xiaojun Zeng

Title

Learning the student’s happiness model

Suitability

good mathematical background and willing to spend time to collect data

Supervisor

Xiaojun Zeng

Title

Pattern Classification of Stock Price Moving

Suitability

Good mathematical background

Supervisor

Ning Zhang

Title

Evaluating a Privacy-preserving Two-party Nonparametric Sign Test Protocol using MATLAB

Suitability

If you are good in math, particularly matrix computations, and know how to use MATLAB.

Supervisor

Ning Zhang

Supervisor

Ning Zhang

Supervisor

Ning Zhang

Title

Risk-aware collaborative downloading

Suitability

Good programmer, good knowledge in operating systems or scheduling algorithms

Supervisor

Ning Zhang

Title

Simulation Study of IPSec Protocol in a Mobile IP environment

Suitability

Good in programming; know how to use OPNET.