Skip to main content

Pervasive Computing

Supervisor

Suitable for

Abstract

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