Current teaching
Previous teaching
-
Lecturer, Hertford College,
University of Oxford, 2008-2009
- Tutor in Models
of Computation,
Hertford and Lincoln College, University of Oxford, Trinity Term 2009
- Tutor in Logic
and Proof,
Hertford College, University of Oxford, Hilary Term 2009
- Tutor in Design
and Analysis of Algorithms, Lincoln College, University of Oxford, Hilary Term 2009
- Teaching assistant in Advanced
Data Structures and Algorithms , University of Oxford, Hilary Term
2009
- Teaching assistant in Theory
of Data and Knowledge Bases, University of Oxford, Hilary Term 2009
- Tutor in Object
Oriented Programming ,
Hertford College, University of Oxford, Michaelmas Term 2008
- Tutor in Concurrency,
Hertford College, University of Oxford, Michaelmas Term 2008
- Teaching assistant
in Computational
Complexity, University of Oxford, Michaelmas Term 2008
- Teaching assistant
in Randomised
Algorithms, University of Oxford, Michaelmas Term 2008
- Teaching assistant
in Complexity, University of Oxford, Michaelmas Term 2007
-
Teaching assistent in
Data Structures and Algorithms, University of Oxford, Hilary Term 2007
- Teaching assistant in Functional
Programming, University of Oxford, Michaelmas Term 2006
- Teaching assistant in Introduction
to Programming, Charles University in Prague, Autumn Term 2005/2006
- Tutoring secondary school mathematics, Czech republic and England