Module Descriptors

The summer school will consist of a combination of exciting modules; a four day module, a three day module and a number of one day courses.

Approach to Computer Graphics: Dr. Charles Markham
This course will briefly discuss the history of computer graphics. It will then present how to implement objects and scenes using ray-tracing methods; create simple 2D sprite based games; use an API to create and display 3D models within a skybox; use APIs to scale position and orientate models and traverse terrain; implement colour and lighting models; and lastly, explain methods for motion capture and describe how to animate an avatar and move objects using physical models.


Software Verification and Software Program Analysis for Software Engineering: Dr. Rosemary Monaghan and Dr. James Power
This course will cover the practical elements of analysing and verifying object-oriented programs, which forms the basis of the research being carried out by the Principles of Programming research group here. In particular the course will review Hoare logic for program verification, and look at practical work in the labs using the Coq proof assistant and Microsoft's Spec# system. Special lectures on Formal methods for computing will be given by Prof. Dominique Mery from the University of Henri Poincaré in Nancy, France.


Wireless Sensor Networks: Dr. Stephen Brown
This course will introduce Wireless Sensor Networks and the AVR toolset. It will specifically explain key issues of power, size and communication (especially at the datalink and routing layers), and the TinyOS toolset. The labs will cover both low level code at the packet layer, and at the higher level by investigating distributed algorithms and the TOSSIM simulator to simulate a large wireless sensor network.


Digital Audio and Video production using the Macintosh: Dr. Joe Timoney and Robert Voigt

This course will go through the process of recording and editing a digital video and audio data. It will demonstrate the use of both the Apple Macintosh packages of Cubase, IMovie and Final Cut Pro as the production environments.


Geographical Information Systems (GIS) and Geocomputation: Dr. Adam Winstanley
This course will discuss computational techniques for the analysis and understanding of Geographical information data. Methods for processing such spatial data will be examined and examples will be given as to how it can be used to send vital location-based information to users whether they are static or mobile.


Each day of teaching (except the final day of teaching) will have 3 hours of lectures in the morning and 3 hours of practical laboratories in the afternoon.