Teaching

   Kyushu University (Japan)

• Lecturer  Model theory: mathematical foundations for specification languages, May- July 2021, 2022.    

     University of Queensland (Australia)

• Lecturer  PHIL3110 (Advanced Logic),  Semester 1 2019-2020.

• Lecturer  PHIL2110 (Formal Logic), Semester 2 2019-20XX.

• Lecturer  MATH3306 (Set Theory & Mathematical Logic), Semester 2 2019-20XX.

• Lecturer  PHIL2090 (Philosophy of Science), Semester 2 2019.

• Lecturer SCIE1000 (Theory and Practice in Science), Semester 1 2020.

• Lecturer PHIL6007 (Philosophy Honours Seminar), Semester 1 2020-20XX.

• Tutor PHIL1110 (Critical Reasoning), Semester 1 2020.

• Tutor SCIE1000 (Theory and Practice in Science), Semester 2 2020.

• Lecturer PHIL1002 (Introduction to Philosophy: What is Philosophy?), Semester 1 2021-20XX.

• Lecturer PPES4101 (Politics, Philosophy, Economics 4), Semester 1 2021-20XX.

     Johannes Kepler University (Austria)

• Tutor  Discrete Structures,  October 2017 - February 2018.

• Tutor Algebra, March 2018.

• Tutor Mathematics for Statisticians, March 2018. 

    University of Otago (New Zealand)

• Tutor PHIL312 (Advanced Logic), First Semester 2014.

• Tutor PHIL105 (Critical Thinking),  First Semester 2015, First Semester 2016.

• Tutor PHIL102 (Knowledge and Truth), Second Semester 2016.