Teaching Activities
| Summer 2013 | Lead TA for Programming 2 |
|---|---|
| Winter 2012/2013 | Lead TA for Programming 1 |
| Winter 2011/2012 | Co-Organizing
Seminar: Compiler Verification Teaching Award
TA for Semantics |
| Summer 2011 | TA for Introduction to Computational Logic |
| Summer 2009 | TA for Introduction to Computational Logic TA for Concurrent Programming |
| Winter 2008/2009 | Supervision TA for Programming 1 |
| Summer 2008 | TA for Concurrent Programming TA for Programming 1 |
| Winter 2007/2008 | TA for Programming 1 |