teaching

Current teaching activities

  • Object-oriented design and programming: IUT de Lens, Université d’Artois, 2018.

Main teaching activities over the past years

  • Data structures: IUT de Lens, Université d’Artois, 2016, 2017.
  • Defeasible reasoning for description logics (tutorial): 40th German AI Conference (KI), Dortmund, Germany. September 2017, 3 hours.
  • Introduction to algorithms and programming: IUT de Lens, Université d’Artois, 2016, 2017.
  • Object-oriented design and programming: IUT de Lens, Université d’Artois, 2016, 2017.
  • Databases: IUT de Lens, Université d’Artois, 2016, 2017.
  • Reasoning with description logics (tutorial): 25th International Joint Conference on Artificial Intelligence (IJCAI), New York, USA. July 2016, 3.5 hours.
  • Networks: IUT de Lens, Université d’Artois, 2016.
  • Reasoning with description logics (tutorial): TRS Reasoning School, Natal, Brazil. August and September 2015, 3 hours.
  • 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.
  • Description logics (tutorial): 4th World Congress and School on Universal Logic (Unilog), Rio de Janeiro, Brazil. March and April 2013, 4 hours.
  • 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.