Mainly in SRI-UPSSITECH (professional formation on Robotics Interactif Systems), but also in Licence 2, Master 1 and 2 in “Computer Sciences” on the following subjects:

• Basic computer science (algorithmic, programming methodologies, data structures, C language)
• Object programming and Java language
• Graph Theory
• Artificial intelligence-Operational research
  • AI languages (SCHEME, CAML)
  • problem resolution
  • classical logics
  • CSP
  • IP
  • inconsistency management (deduction, abduction)
  • defeasible reasoning