Research Groups contain more specialised subgroups and Project Groups, the latter being responsible for one or more externally funded research grants or contracts. These research themes are reflected well in the taught undergraduate and postgraduate courses of the Department. The Computer Vision Research Group is concerned with the computational issues of perception, intelligence and reasoning in relation to image interpretation and vision. We investigate the geometry of vision, and the relationship between viewer and object. Knowledge-based methods are then used to recognise and understand the disposition and significance of 3D objects from their 2D images.
Research is in progress into the development of visualization tools for formal methods.
A tool under development investigates the incorporation of a powerful transformation system for deriving efficient parallel algorithms from high-level specifications. Possible applications include the animation of communicating systems and the formal development of parallel programmes. This includes the development of QoS protocols based on human perception of multimedia. Protocols for real-time video and audio over the internet and mobile networks are also of interest. Our Software Engineering activity incorporates all aspects of the software life cycle from requirement analysis to implementation and maintenance.