Home
 

Summer Studentships

LFCS offers Summer Studentships for undergraduates to do work related to current research. This is one project proposed for 2002; for more information see the list of proposed projects.

Mobile Resource Guarantees

Don Sannella, David Aspinall, Stephen Gilmore, Ian Stark

The Mobile Resource Guarantees project is building 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 within this programme. Here are two possibilities:

If you are interested, please contact Don Sannella and look at the MRG project web site.

Back to the list of proposed projects Please note that project proposers have complete discretion in selecting students, and we do not expect all project positions to be filled.