👨‍🏫 Enseignement

2025 — 2026

Je suis Maître de conférences à l'ENSEIRB-MATMECA, où j'enseigne des matières diverses en informatique théorique et pratique.

ENSEIRB-MATMECA I1 (Année 1, L3)

• Logique et preuve. (EI5F107) Un cours d’introduction et de remise à niveau en logique. Le cours contient des éléments de logique propositionnelle, de logique du premier ordre, et termine sur les techniques de preuves utiles pour la vérification de programmes. Le cours est porté par Frédéric Herbreteau et la page du cours est hébergée à l’ENSEIRB-MATMECA.

• Automates finis et applications. (EI5F114) Un cours d’introduction aux automates finis, qui culmine sur l’analyse lexicale et syntaxique. Le cours est porté par Sylvain Lombardy et est hébergé sur le Moodle de l’école.

• Programmation fonctionnelle. (EI5F104) Un cours de programmation fonctionnelle utilisant Javascript (ou parfois, Typescript) comme langage de programmation principal. Le cours est porté par David Renault et la page du cours est hébergée au LaBRI.

• Programmation Impérative 2 et développement logiciel. (EI6PG106) Un cours de développement logiciel qui introduit des techniques avancées de compilation (make, cmake, bibliothèques statiques, dynamiques), de gestion de versions (git), de tests (unitaires, d’intégration, de performance), et de débogage (gdb, valgrind). Le cours est porté par Julien Allali et la page du cours est hébergée au LaBRI.

ENSEIRB-MATMECA I2 (Année 2, M1)

• Systèmes de gestion de bases de données. (EI7IT203) Un cours d’introduction aux systèmes de gestion de bases de données, avec une partie théorique sur les modèles relationnels et une partie pratique utilisant PostgreSQL. Le cours est porté par Sylvain Lombardy et la page du cours est hébergée sur le Moodle de l’école

• Applications TCP/IP. (EI8RE218) Un cours sur la couche applicative de TCP/IP, qui introduit les protocoles HTTP, SMTP, POP, IMAP, DNS, et le routage dynamique dans les réseaux. Le cours est porté par Ahmed Toufik et la page du cours est hébergée sur le Moodle de l’école.

• Calculabilité et Complexité. (EI8IF228) Un cours d’introduction à la calculabilité et à la complexité, qui introduit la notion de machine de Turing, la notion de problème décidable, indécidable et semi-décidable. En complexité, les classes P et NP sont introduites, ainsi que les notions de réduction polynomiale et de NP-complétude. Le cours est porté par Frédéric Herbreteau et la page du cours est hébergée sur Thor.

2023 — 2024

Université de Varsovie

J’ai été chargé de TD à l’Université de Varsovie. Vous trouverez les feuilles d’exercices au sujet des transducteurs ainsi que les devoirs maisons associés sur la page du cours des transducteurs. Les exercices sont disponibles sur GitHub à l’adresse suivante https://github.com/AliaumeL/transducer-exercices. Les notes de cours sont disponibles sur la page web de Mikołaj Bojańczyk https://www.mimuw.edu.pl/~bojan/2023-2024/przeksztalcenia-automatowe-transducers.

2022 — 2023

J’ai été chargé de TD à l’Université Paris Cité. Vous trouverez ci-après un bref aperçu des enseignements donnés à cette occasion.

Université Paris Cité

• Programmation en Python. (L1, licence Mathématiques et informatiques appliquées aux sciences humaines et sociales)
• Programmation en Java. (L1, licence d’informatique)
• Introduction aux Systèmes d’Exploitation. (L1, licence d’informatique)

2021 — 2022

J’ai été chargé de TD à l’Université Paris Cité. Vous trouverez ci-après un bref aperçu des enseignements donnés à cette occasion.

Université Paris Cité

• Programmation Fonctionnelle. (L3, licence d’informatique)
• Gestion de Projet. (L2, licence d’informatique)
• Programmation Réseau. (L3, licence d’informatique)

2019 — 2021

J'ai été chargé de TD à l'École Normale Supérieure Paris-Saclay en Programmation 1 (L3) et en Complexité Avancée (M1).

École Normale Supérieure Paris-Saclay

• Programmation 1. (L3, licence d’informatique) Cours de programmation en L3 à l'ENS Paris-Saclay donné par Jean Goubault-Larreq. Les feuilles d’exercice sont disponibles ci-après : TD1, TD2, TD3, TD4, TD5, TD6, TD7, TD8, TD9, TD10, TD11, TD12, TD13.
• Complexité Avancée. (M1, master informatique) Cours de Complexité Avancée en M1 à l'ENS Paris-Saclay donné par Jean Goubault-Larreq. Les feuilles d’exercice sont disponibles ci-après : TD1, TD2, TD3, TD4.

2018 — 2019

J'ai été khôlleur au Lycée Lakanal en MP et en MPSI pour l'année 2018-2019. En parallèle, j’ai préparé l’agrégation de mathématiques option informatique, et j’ai passé l’agrégation en 2019.

Lycée Lakanal

Ci-après vous trouverez mes feuilles d'exercices.

• MPSI. S01, S02, S03, S04, S05, S06, S07, S08, S09, S10, S11, S13, S14, S15, S16, S17, S18, S19.
• MP. S01, S02, S03, S04, S05, S06, S07, S08, S09, S10, S11, S13, S14, S15, S16, S17, S18, S19.

Agrégation

J’ai passé en 2018 l’agrégation de mathématiques option informatique, et je vous invite à passer sur la page dédiée de ce site pour en savoir plus.