[TYPES] London PhD Studentships in Quantitative Information Flow

[Sebastian Hunt]

PhD Studentships in Computer Science

   City University
   King's College London
   Queen Mary, University of London

Applications are invited for three PhD studentships, one at each of the above 
London universities, as part of the project Quantitative Information Flow, 
funded by EPSRC.

The studentships will start in 2005.

Relevant research areas for these studentships are:

     * language based security
     * program analysis
     * abstract interpretation
     * information theory

Please see the project web page for further information and how to apply:

   http://www.soi.city.ac.uk/~seb/qif/