Teaching
From February 2024 to June 2024: Modelling Real World Problems with Maarten Boerlijst at AUC.
January 2024: Intermediate Programming: Principles and Practice with Luis Aguilar at AUC.
From September 2023 to December 2023: Data Structure and Algorithms at the Amsterdam University College.
From February 2022 to June 2023: Programming Your World at AUC and Modelling Real World Problems at AUC .
From September 2022 to December 2022: Calculus at AUC and Mathematical Logic at AUC.
June 2022: I co-supervised together with Yurii Khomskii a project on transfinite computability for master’s students at the Institute for Logic, Language and Computation in Amsterdam
From February 2022 to June 2022: Logic, Information, Argumentation at the Amsterdam University College.
From September 2021 to December 2021: Data Structure and Algorithms at the Amsterdam University College.
From September 2021 to December 2021: Mathematical Logic at the Amsterdam University College.
From February 2021 to June 2021: Logic, Information, Argumentation at the Amsterdam University College.
From February 2021 to June 2021: Modelling Real World Problems with Maarten Boerlijst at the Amsterdam University College.
From February 2021 to June 2021: Seminar Mathematical logic with Benedikt Löwe for the Master of Logic at the Institute for Logic, Language and Computation.
From September 2020 to October 2020: Capita Selecta: Set Theory with Benedikt Löwe for the Master of Logic at the Institute for Logic, Language and Computation.
From February 2020 to June 2020: Logic, Information, Argumentation at the Amsterdam University College.
From February 2020 to June 2020: Modelling Real World Problems with Maarten Boerlijst at the Amsterdam University College.
From February 2019 to June 2020: Logic, Information, Argumentation at the Amsterdam University College.
From February 2020 to June 2020: Mathematical Logic with Dora Achourioti at the Amsterdam University College.
From September 2019 to December 2019: Seminar Mathematical logic with Benedikt Löwe for the Master of Logic at the Institute for Logic, Language and Computation (schedule).
From September 2018 to December 2018: Seminar Mathematical logic with Benedikt Löwe for the Master of Logic at the Institute for Logic, Language and Computation (schedule).
From February 2018 to June 2018: Mathematical Logic with Dora Achourioti at the Amsterdam University College.
From February 2018 to June 2018: Logic, Information Flow and Reasoning at the Amsterdam University College.
June 2017: I co-supervised together with Yurii Khomskii a project on advanced topics in set theory for master’s students at the Institute for Logic, Language and Computation in Amsterdam (schedule).
From November 2017 to December 2017: teacher assistant for the course Reasoning and Formal Modelling in Forensic Science, taught by Radboud Winkels at the University of Amsterdam.
From September 2017 to December 2017: teacher assistant for the course Set Theory taught by KP Hart and Benedikt Löwe (course page).
January 2017: I co-supervised together with professor Benedikt Loewe an individual Master of Logic student project on initial substructures of the Surreal Numbers at the Institute for Logic, Language and Computation in Amsterdam.
From September 2016 to December 2016: teacher assistant for the course Introduction to Modal Logic, taught by Nick Bezhanishvili at the University of Amsterdam.
From November 2016 to December 2016: teacher assistant for the course Reasoning and Formal Modelling in Forensic Science, taught by Radboud Winkels at the University of Amsterdam.
June 2016: I co-supervised together with professor Benedikt Loewe a bachelor student’s project on non-standard models of Peano arithmetic at the Institute for Logic, Language and Computation in Amsterdam.
June 2016: I co-supervised together with Hugo Nobrega a project on measurable cardinals for master’s students at the Institute for Logic, Language and Computation in Amsterdam. The project was an intensive course on measurable cardinals with lectures given by me and Hugo Nobrega.
From October 2015 to December 2015: supervisor for the course Formal Languages and Automata, given by Dr. Chiodo at the department of mathematics of the University of Cambridge UK.