Teaching at Université Sorbonne Paris Nord

I taught various computer science courses at Université Sorbonne Paris Nord from 2019 to 2023.

2022-2023 (192 hours, ATER position)

Programmation 1, TD/TP (L1 Mathématique-informatique): C language
Programmation Orientée Objet, TP (L2 Informatique): OO programming in Java
Spécifications algébriques et test logiciel, TD (L2 Informatique): proof methods, proof by induction on lists and trees, formal specifications
Programmation logique, TD (Sup Galilée 2): logic programming with Prolog
Programmation 2, TP (L1 Mathématique-informatique): recursion, memoisation, pointers, arrays, structures, sort algorithms
Initiation web, TP (L1 Informatique): HTML, CSS
Systèmes & réseaux, TP (L2 Informatique): processes, threads, synchronization, sockets
Programmation distribuée, TP (M1 Informatique): sockets, client-server, concurrent and distributed programming in Java

Programmation 1, TD/TP (L1 Mathématique-informatique): C language
Calculabilité & Décidabilité, TD (L3 Informatique): Turing machines, computability, diagonalization, complexity theory

Programmation 1, TD/TP (L1 Mathématique-informatique): C language
Fondements de la programmation, TD (M1 Informatique): sequential and parallel abstract machines, lambda-calculus, Turing machines
Programmation fonctionnelle, TD (L2 Informatique): lambda-calculus, fixpoint operators, simple types, unification algorithm, type inference

Informatique 1, TD/TP (L1 Physique-Chimie & sciences pour l’ingénieur): C language
Informatique 2, TD (L1 Physique-Chimie & sciences pour l’ingénieur): pointers, multi-dimensional arrays
Logique, TD (L1 Informatique): truth tables, proof by induction, proof systems (NK, LK)
Programmation fonctionnelle, TP (L2 Informatique): OCaml