Teaching

  Imperative Programming with Python as Instructor. Institute for Logic Language and Computation, University of Amsterdam. Winter of 2015.
  Introduction to Modal Logic as Teaching Assistant. Institute for Logic Language and Computation, University of Amsterdam. Fall of 2013.
  Advanced Strategic Game Theory as Teaching Assistant. Institute for Logic Language and Computation, University of Amsterdam. Spring of 2013.
  Capita Selecta in Modal Logic, Algebra and Coalgebra (mostly µ-calculus) as Teaching Assistant (grading and some tutorials). Institute for Logic Language and Computation, University of Amsterdam. Fall of 2012.
  Imperative Programming with Python as Instructor. Institute for Logic Language and Computation, University of Amsterdam. Winter of 2012.
  Logic and Computability as Teacher in charge of tutorial sessions. Department of Computer Science, University of Buenos Aires. Summer of 2011.
  Algorithms and Data Structures III as Graduate teaching assistant. Department of Computer Science, University of Buenos Aires. Second semester of 2010.
  Logic and Computability as Undergraduate teaching assistant. Department of Computer Science, University of Buenos Aires. Second semester of 2009.
  Algorithms and Data Structures I as Undergraduate teaching assistant. Department of Computer Science, University of Buenos Aires. Second semester of 2009.
  Logic and Computability as Undergraduate teaching assistant. Department of Computer Science, University of Buenos Aires. Summer of 2009.
  Algorithms and Data Structures I as Undergraduate teaching assistant. Department of Computer Science, University of Buenos Aires. Second semester of 2008.
  Logic and Computability as Undergraduate teaching assistant. Department of Computer Science, University of Buenos Aires. First semester of 2008.