Teaching
- Automata and Complexity
- Calculus
- Databases
- Data Structures and Algorithms
- Logic and Modeling
- Term Rewriting Systems
Automata and Complexity
at Vrije Universiteit Amsterdam, Netherlands, in 2016, 2017 and 2018
Visit the course page to view or download the slides.
Calculus
at Indiana University Bloomington, United States, in 2013
Visit the course page to view or download the slides.
Databases
at Vrije Universiteit Amsterdam, Netherlands, in 2014 and 2015
Visit the course page to view or download the slides.
Data Structures and Algorithms
at Vrije Universiteit Amsterdam, Netherlands, in 2009
Logic and Modeling
at Vrije Universiteit Amsterdam, Netherlands, in 2014, 2015, 2016, 2017 and 2018
Visit the course page to view or download the slides.
Term Rewriting Systems
at Vrije Universiteit Amsterdam, Netherlands, in 2010, 2012, 2014, 2016, 2017 and 2018
Visit the course page to view or download the slides.
Previous Teaching Activities
Academic English
at Vrije Universiteit Amsterdam, Netherlands, in 2015
Advanced Logic
at Vrije Universiteit Amsterdam, Netherlands, in 2012
Introduction to Computer Science
at Vrije Universiteit Amsterdam, Netherlands, in 2017
Logical Structures
at Vrije Universiteit Amsterdam, Netherlands, in 2009
Term Rewriting Systems
at Vrije Universiteit Amsterdam, Netherlands, in 2008