Marta Kwiatkowska - Teaching
From Michaelmas 2012, I will be teaching the Probabilistic Model Checking course.
From 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: