Teaching at ETH Zürich

I am currently a teaching assistant for the course "Functional Programming and Formal Methods SS12".

Past teaching at ETH Zürich

I was a teaching assistant in the following courses: