Projects offered by Marta Kwiatkowska
|
Supervisor |
|
|
Suitable for |
Mathematics and Computer Science, Part C
|
Abstract
I have a list of projects which were offered to MSc students:http://www.cs.ox.ac.uk/people/marta.kwiatkowska/teaching.html
I am happy to offer them to u/grad students, generally in the area of:
Probabilistic model checking Model checking for DNA computation Model checking for wireless sensor networks