Teaching

λProlog and Higher Order Logic Programming video tutorial.

University teaching

2013/2014

    • Langage C (LC4). Paris Diderot.

  • Introduction à l'informatique et à la programmation (IF1). Paris Diderot.

2014/2015