Summer Studentships
LFCS offers one or two Summer Studentships for selected undergraduates to work on projects related to current research. Projects last for six to eight weeks, and students are paid a small stipend (currently around £200 per week).
Applications for 2002 are now closed.
A call for projects and students for Summer 2003 should go out some time in term 2. The list below describes the projects that were offered in 2002, for information only.
There is a list below of projects for Summer 2002. These are aimed at students with an interest in theoretical computer science who have just completed their third year, either single or joint honours. LFCS will provide all necessary facilities for the work. While doing their project, the student will have office space with lab PhD students, and the opportunity to join in the work of an active research community.
Unlike final year projects, there is no requirement to write a dissertation following these projects: what matters is getting the job done well. However, it will usually be appropriate for the student to give an informal lab lunch talk about what they did.
Students who would like to apply for one of these positions should contact the project proposer named below. Do this as soon as possible. To find out more about the Laboratory, see the LFCS home page.
Staff in LFCS who would like to suggest additional projects should contact Ian Stark, sending a title and a one-sentence outline.
2002 Projects
Mobile Resource Guarantees (Don Sannella) This is an EC-funded programme to build infrastructure for endowing mobile bytecode programs with certificates as to their resource consumption, taking the form of condensed formal proofs which can be checked by the recipient before running the program. There are various opportunities for summer projects on this -- see the accompanying web page for some ideas.
Design Environment for Global Applications (DEGAS) (Gilmore, Hillston, Stevens). Computers and the networks which link them have become ubiquitous, and as a result new forms of applications are being developed to take advantage of the opportunities this offers. DEGAS is a European project to define and design a development environment for global applications based on the UML (Unified Modelling Language). A summer project would involve implementation work on a toolset to support global application design.
XML in the Edinburgh Concurrency Workbench (Perdita Stevens). The aim of this project is to extend the Edinburgh Concurrency Workbench with an interface for the Graph Exchange Language GXL. The Workbench is a tool which can help analyse systems described as labelled graphs. (They are usually defined using a higher level language like CCS, the calculus of communicating systems studied in the CS4 concurrency course, though that is probably not very relevant here.) GXL is a way of recording graphs in XML (so a GXL document represents a graph as an XML document which matches the GXL DTD).
Please note that project proposers have complete discretion in selecting students.