English Fran├žais

Samuel Arsac

Computer science student at ENS Paris-Saclay



2022-2023: Seoul National University, Software Fundations Lab, supervised by Chung-Kil Hur

Title: Adapting Conditional Context Refinement to real world programs.

2022: ENS Lyon, LIP, PLUME team, supervised by Russ Harmer & Damien Pous

Title: Coq formalization of the concurrency theorem in graph transformation via diagrammatic reasoning in quasi-topoi.
The report and the related git repository.

2021: university of Strathclyde, Glasgow, supervised by Robert Atkey

Title: Expressivity of BCI algebras.
The report and the related git repository.
Note: this report contains mistakes about reversibility, and the Coq implementation is not perfect.

2020: ENS Lyon, LIP, MC2 team, supervised by Omar Fawzi

Title: Multiple access channels with non-signaling resources.
The report (in French)


CS Unplugged activity about Eulerian paths, aimed at upper secondary students.

The activity sheet (in French)

Platformer game in Python

Part of an introduction course on software engineering.
The git repository

Introduction to research in CPGE

Comparison between heuristics for the A* algorithm.
The report (in French)