Projet
Bachelor course / Project supervision, Université Sorbonne Paris Nord, 2026
Students must develop a sokoban inspired by Patrick’s Parabox. They must organize as a group with different roles, and are supervised by a tutor.
Teaching
Programmation fonctionnelle 1 / Functional Programming
Licence 1 / Bachelor first year course / Theoretical and programmation sessions, Université Sorbonne Paris Nord, 2026
Introduction to Ocaml and functional programming, induction, list and trees.
Compilation
Bachelor course / Project supervision, Université Sorbonne Paris Nord, 2026
This course exposes the general principles of compilation, syntactic and semantics analyses, code generation, and students must write a compiler for a fragment of javascript.
Fondements de la programmation / Fundations of programming
Master course / Exercises sessions, Université Sorbonne Paris Nord, 2025
This course explores the notions of dynamic (small-step and big-step semantics) and several aspects of typing : simple types, polymorphism, system F, type inference.