Fall 2017

Lecturer

COMP487/COMP587 Computational Complexity

2013-2016

Substitute Lecturer		COMP607 Seminar on Computer-Aided Verification
Substitute Lecturer		COMP409 Logic in Computer Science

2010-2013

Head of Teaching Assistants

20212091/20212071 Computer Architecture and System Programming Laboratory

Spring 2009

Head of Teaching Assistants

20212091/20212071 Computer Architecture and System Programming Laboratory