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.
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