This is a list of project suggestions for the academic year 2008/2009. If you are interested in one or more of the projects, or would like to do something similar, then please come to see me (room B30) or send me an email to arrange an appointment.
Currently, I am particularly interested in projects concerned with Algorithmic Problem Solving. This includes the design and implementation of new algorithms (which is often very challenging) and the development of material to assist in teaching. The first three projects listed below are relevant. Similar projects are also possible.The project is to develop animations of examples used in teaching algorithmic problem solving. Many examples are included in my lecture notes : colouring the plane, knight's circuit, etc.
Diagrams are used in category theory (a branch of mathematics with strong connections with functional programming) to summarise formal mathematical calculations. The goal of this project is to construct a structure editor that can be used to create, edit and display such diagrams.
Last modified: Thursday 16th May 2008