the next generation

Students

Index

Khadija Bahiss

Sam Douglas

Matthew Jervis

Azmi Mohd Yusof

Simon Ware

Can't find who you're looking for? Try the Researchers page.


Research Students

Khadija Bahiss

email

Communication software for intellectually disabled people
The technologies have been advancing at astonishing rates resulting in improved communication. A number of social networking software has been made available on the internet such as MySpace, Facebook, etc. They allow the user to make new friends from around the globe, stay connected with old ones and even find their soul mate. Although such technologies are available for everyone there is one group that is disadvantaged. It is people with intellectual disability. These communities are not designed to take their special needs into account and my MPhil is going to try and change that by creating a communication software/online community that meets the needs of the intellectually disabled people.

Sam Douglas

email

Distributed model checking
Reactive systems are computer programs that continually interact with their environment. A lot of safety critical systems (such as control software for machines) are reactive systems, and it is important to be able to prove the software will run without failure. Model checkers can verify safety properties, check for deadlock and livelock, and detect control loops and unhandled events. Algorithms which check models through state exploration can require more memory than is available on a single computer for complex models. For my honours project, I am researching and developing ways to check very large models by using distributed processing on a cluster computer.

Matthew Jervis

email

Integrating physical and digital workspaces
Computers are an integral part of the modern office, however the 'paperless office' still remains a myth. The computer's limited support for working with physical documents results in a divide between the physical and digital realms. The goal of this project is to develop a system to bridge this gap and thus create a more efficient office workspace.

Azmi Mohd Yusof

email

Addressing context awareness in 3D modeling tasks
Modelling of 3D objects or scenes is not an easy task. Information about hundreds or thousands of vertices, edges, faces, and meshes are either visible or hidden from the designers. Within this very crowded information space, focus and context awareness has become a major stumbling block, which may jeopardize the quality of the product. For my PhD I will focus on studying the strength and weakness of current features of 3D modelling software. I am hoping to propose some improvements which will help in producing a better 3D modelling software which solve the existing problems.

Simon Ware

email

Verifying nonblocking in discrete event systems using abstraction

top

Valid HTML 4.01 Valid CSS