Hugo Salou
Bienvenue sur mon site !
Je suis actuellement étudiant en M1 au département informatique de l’ENS de Lyon (consulter mon CV), je donne aussi des colles au lycée Champollion (à Grenoble) aux étudiant(e)s de MP2I. Ce site me sert de recueil de notes de cours, solutions de TDs, codes et rapports de TPs, DMs, etc.
E-mail : hugo.salou@ens-lyon.fr
- Septembre 2025. Début des colles au lycée Champollion
- Septembre 2025. Début du projet VeriSLO : preuves formelles de correction en Iris de codes OCaml en ajoutant des assertions en logique de séparation comme commentaires dans le code (inspiré par VeriFast)
- Septembre 2025. Début du 1er semestre en M1 à l’ENS Lyon
- Juin–Juillet 2025. Stage au LIX (École Polytechnique) avec Samuel MIMRAM et Émile OLEON : “Classifying Covering Spaces in Homotopy Type Theory“ (rapport (en anglais), slides)
Welcome to my website!
I am currently a 2nd year Computer Science student at ENS de Lyon (look at my résumé); I also give, every two weeks, graded oral CS exams “colles” at Champollion high-school (in Grenoble) to MP2I students. I use this website as a sort of collection of my lecture notes, solutions to tutorials, codes and reports from labs, homework, etc.
E-mail : hugo.salou@ens-lyon.fr
- September 2025. Start of the “colles” at Champollion high-school
- September 2025. Start of the VeriSLO project: formal correction proofs in Iris of OCaml codes by adding separation-logic assertions as comments in the code (inspired by VeriFast)
- September 2025. Start of the 1st semester of M1 at ENS Lyon
- June–July 2025. Internship at LIX (École Polytechnique) with Samuel MIMRAM and Émile OLEON: “Classifying Covering Spaces in Homotopy Type Theory“ (report, slides (in French))
Plus on veut se souvenir du détail d'une image lointaine,
plus le temps nous prouve que l'on a déjà oublié.
— Dominique Blondeau
plus le temps nous prouve que l'on a déjà oublié.
— Dominique Blondeau