University of Oxford Logo University of OxfordDepartment of Computer Science - Home

Pervasive Computing

Supervisor

Suitable for

MSc in Computer Science

Abstract

Ani Calinescu is available to supervise projects on The use of formal methods to investigate security aspects of pervasive computing