My current teaching
Seminars
Currently none.
Labs
Currently none.
Past teaching
Academic year: 2009/2010
Academic year: 2008/2009
- CS245 Automata and Formal Languages
- CS410 Modeling and Algorithmic Analysis of Systems
- CS136 Discrete Mathematics and its Applications 1
Academic year: 2007/2008
- CS409 Algorithmic Game Theory,
- CS242 Formal Specification and Verification,
- CS410 Modeling and Algorithmic Analysis of Systems
Academic year: 2006/2007