International-level courses and tutorials
- Defeasible Reasoning for Ontologies (course): 33rd European Summer School in Logic, Language and Information (ESSLLI), Galway, Ireland. 8-19 August 2022, 7.5 hours.
- Towards Commonsense Reasoning over Ontologies (tutorial): South African Forum for AI Research (FAIR), Cape Town, South Africa. 3 December 2019, 3 hours.
- Formal Foundations of Ontologies and Reasoning (course): Spring School on Linked Data and the Semantic Web for Humanities research (LiSeH), Graz, Austria. 26 April 2019, 3 hours.
- An Introduction to Description Logics (course): 30th European Summer School in Logic, Language and Information (ESSLLI), Sofia, Bulgaria. 6-10 August 2018, 7.5 hours.
- Defeasible Description Logics (tutorial): 27th International Joint Conference on Artificial Intelligence (IJCAI), Stockholm, Sweden. July 2018, 3.5 hours.
- Defeasible Reasoning for Description Logics (tutorial): 40th German AI Conference (KI), Dortmund, Germany. September 2017, 3 hours.
- Reasoning with Description Logics (tutorial): 25th International Joint Conference on Artificial Intelligence (IJCAI), New York, USA. July 2016, 3.5 hours.
- Reasoning with Description Logics (tutorial): TRS Reasoning School, Natal, Brazil. August and September 2015, 3 hours.
- Description Logics (tutorial): 4th World Congress and School on Universal Logic (Unilog), Rio de Janeiro, Brazil. March and April 2013, 4 hours.
University level courses
- Knowledge representation and reasoning: Masters in Computer Science, Université Paris 8, 2023.
- Modern symbolic AI: Masters in AI, Université Paris 8, 2022.
- Object-oriented programming: Université Paris 8, 2022.
- Introduction to algorithms and programming: Université Paris 8, 2022.
- Introduction to algorithms and programming: IUT de Lens, Université d’Artois, 2016-2022.
- Data structures: IUT de Lens, Université d’Artois, 2016-2019.
- Description logics: Université d’Artois, 2017-2019.
- Object-oriented design and programming: IUT de Lens, Université d’Artois, 2016-2019.
- Databases: IUT de Lens, Université d’Artois, 2016, 2017.
- Computer networks: IUT de Lens, Université d’Artois, 2016.
- Description logics: Federal University of Rio de Janeiro. First semester of 2015, 60 hours.
- Theory of computation: Federal University of Rio de Janeiro. First semester of 2015, 60 hours.
- Description logics: Federal University of Rio de Janeiro. Second semester of 2014, 28 hours.
- External reviewer for the module Formal Logic. Department of Philosophy, University of South Africa. First and second semester of 2011, 2012, 2013.
- Databases: modeling and quering. Université de Toulouse 1. Second semester of 2007/2008, 90 hours.
- Computer architecture: Université de Toulouse 1. Taught to graduate students. First semester of 2007/2008, 30 hours.
- Databases: modeling and quering. Université de Toulouse 1. Second semester of 2006/2007, 30 hours.
- “Certificat Informatique et Internet” (C2i), Module “Elaborer et Editer”: Introduction to computer science. Université de Toulouse 1. Second semester of 2006/2007, and first semester of 2007/2008, 42 hours.
- “Certificat Informatique et Internet” (C2i), Module “Entreprendre et Echanger”: Introduction to computing science. Université de Toulouse 1. First semester of 2005/2006, of 2006/2007, and of 2007/2008, 148 hours.
- Introduction to programming (CI066): Undergraduate course, Federal University of Paraná. Taught in the second semester of 2001, 60 hours.
- Linux: Course of the Computer Science Department of Federal University of Paraná. Taught to practitioners in April 2001.
- Linux advanced commands and administration: Course of the “Programa Especial de Treinamento” (PET Informática UFPR). Taught to undergraduate students, lecturers from other departments and practitioners in October and November 1999.
- Object-oriented programming and JAVA: Course of the “Programa Especial de Treinamento” (PET Informática UFPR). Taught to undergraduate students in October 1998, May and October 1999.
- Linux basic commands: Course of the “Programa Especial de Treinamento” (PET Informática UFPR). Taught to undergraduate students in June 1999.
- Introduction to Internet: Module of the “Programa Especial de Treinamento” (PET Informática UFPR). Taught to undergraduate students in October 1997.
- The C programming language: Course of the “Programa Especial de Treinamento” (PET Informática UFPR). Taught to undergraduate students in September 1997.