teaching

Logic and Knowledge Representation (LKR)
Master in Cognitive Science and Artificial Intelligence (SCIA), EPITA, Paris
Theoretical and Practical classes Teacher
years: 2016-2018

Lecture slides:
1. Programming as problem solving, first steps in Prolog
2. Problem types and problem-solving methods
3. Propositional logic
4. Predicate logic
5. Knowledge representation, ontologies and the semantic web
6. Language processing and meta-programming
7. Reinforcement learning, inductive logic programming and description complexity

Probabilistic and Statistical Methods for Informatics (MAPSI)
Master in Data Science; Université Pierre et Marie Curie (UPMC), Paris,
Theoretical class lecturer [course website]
years: 2016-2018

Numeral systems and logic
Bachelor in Informatics, Université Paris Descartes
Practical class teacher assistant
years: 2017-2018

Web development
Bachelor in Informatics, Université Paris Descartes
Practical class teacher assistant
years: 2017-2018

Reasoning and Formal Modelling in Forensic Science (RFMFS)
Master in Forensic Science, University of Amsterdam
Practical classes Teacher
years: 2012-2016

Information Systems (2014)
Bachelor program, University of Amsterdam
- Introduction to Shannon's theory of communication
- Introduction to programming paradigms (+ practical class)

Business Information Systems (2014-2016)
Master program, University of Amsterdam
- Integrating micro- and macro- motives