Automata and Complexity
at Vrije Universiteit Amsterdam, Netherlands, in 2016, 2017 and 2018

alt text alt text

Visit the course page to view or download the slides.

Calculus
at Indiana University Bloomington, United States, in 2013

alt text alt text

Visit the course page to view or download the slides.

Databases
at Vrije Universiteit Amsterdam, Netherlands, in 2014 and 2015

alt text alt text

Visit the course page to view or download the slides.

Data Structures and Algorithms
at Vrije Universiteit Amsterdam, Netherlands, in 2009

Logic and Modelling
at Vrije Universiteit Amsterdam, Netherlands, in 2014, 2015, 2016, 2017 and 2018

alt text alt text

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

alt text alt text

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