Teaching experience

Lecturer for 'Boolean and Constraint Satisfiability' part of the NICTA foundation course, NICTA in 2012.

Lecturer for 'Boolean and Constraint Satisfiability' part of the 'Knowledge Representation and Reasoning' course, University of New South Wales in 2012.

Lecturer for 'Boolean and Constraint Satisfiability' part of the 'Knowledge Representation and Reasoning' course, University of New South Wales in 2011.

Head tutor for the 'Algorithms and Programming Techniques' course, University of New South Wales in 2010.

Tutor for the 'Mathematical Modeling of Economical Process' course, National Technical University of Ukraine, Kyiv in 2004.

Tutor for the 'Statistical analysis and prediction of Economical Process' course, National Technical University of Ukraine, Kyiv in 2003.