Projects being offered by Marta Kwiatkowska
|
Supervisor |
|
|
Suitable for |
Mathematics and Computer Science, Part C
|
Abstract
I am happy to supervise the following projects:
Model checking for DNA
Software verification for sensor networks
Model checking for automated negotiation protocols
Please contact Marta.Kwiatkowska@comlab.ox.ac.uk if you are interested