Modelling and reasoning about pervasive computing systems
|
Supervisor |
|
|
Suitable for |
MSc in Computer Science
|
Abstract
This topic involves the specification, implementation and analysis of algorithms and protocols, in order to investigate, prove and validate properties of pervasive computing systems. Examples include electronic voting protocols and human authentication protocols.
Prerequisites:
Computer Security and (Concurrent Programming and/or Concurrency)
Please feel free to contact Dr Ani Calinescu to discuss any of these project topics in more detail.