Samuel Arsac

Étudiant en informatique à l'ENS Paris-Saclay

Mon CV.

Stages

2022-2023: Université Nationale de Séoul, Software Fundations Lab, supervisé par Chung-Kil Hur

Intitulé: Adapting Conditional Context Refinement to real world programs.

2022 : ENS Lyon, LIP, équipe PLUME, supervisé par Russ Harmer & Damien Pous

Intitulé : Coq formalization of the concurrency theorem in graph transformation via diagrammatic reasoning in quasi-topoi.
Le rapport (en anglais) et le dépot git associé.

2021 : université de Strathclyde, Glasgow, supervisé par Robert Atkey

Intitulé : Expressivity of BCI algebras.
Le rapport (en anglais) et le dépot git associé.
Note : ce rapport contient des erreurs en ce qui concerne la réversibilité, et l'implémentation en Coq n'est pas parfaite.

2020 : ENS Lyon, LIP, équipe MC2, supervisé par Omar Fawzi

Intitulé : Multiple access channels with non-signaling resources.
Le rapport

Projets

Activité d'informatique débranchée sur les chemins eulériens, destinée aux lycéens.

La fiche d'activité

Jeu de plateformes en Python

Réalisé dans le cadre d'un cours d'introduction au génie logiciel.
Le dépôt GitHub

Travail d'Initiative Personnelle Encadré (TIPE)

Réalisé en 2018 - 2019, en deuxième année de CPGE.
Le rapport