Skip to main content

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: