Marta Kwiatkowska - Teaching
Michaelmas 2024 - I am teaching the Probabilistic Model Checking course.
Since Michaelmas 2019 I have been teaching the Law and Computer Science course.
Michaelmas 2012-2019, I taught the Probabilistic Model Checking course.
Hilary 2008 until 2010, I taught the Compilers course.
In Trinity 2008, I taught the Executable Biology course.
I am available to supervise MSc projects in the following areas: