Sidney Congard's website

Hello! I'm from Alsace, in France. I did a computer science school at Marseille & Québec then worked 3 years at Paris before going back to study mathematical logic in the LMFI. I'm now doing my thesis at Gallinette since October 2023 under Guillaume Munch-Maccagnoni and Rémi Douence! Here is my CV (in English or in French).

You can contact me at "sidney DOT congard AT gmail DOT com".

The attic

An article 🇬🇧 accepted at ESOP 2026 and slides 🇬🇧 that develops a Curry-Howard correspondence between C++/Rust destructors and linear logic to combine resources and exceptions.

An article 🇬🇧 at JFLA 2024 and its slides 🇫🇷 about work in progress to translate Rust mutable borrows in a linear functional language.

A presentation 🇫🇷 to introduce and motivate Jean-Yves Girard's transcendental syntax in the philosophy of mathematics course at the LMFI, which I refined into some slides 🇬🇧 for an informal talk.

The report 🇬🇧 presenting my work at my internship in Prosecco on Aeneas, a framework to translate safe Rust programs in proof assistants. A summary is given in those slides 🇫🇷.

A category theory project 🇬🇧 for the Coq course at the LMFI, made with a classmate.

The C++ course 🇫🇷 I made for classmates at Québec.

A talk 🇫🇷 I gave about the ways copies can happen instead of moves in C++, with its slides 🇬🇧.

A C++ project 🇬🇧 for a small data-structure on which I gave a talk 🇫🇷 and wrote two small 🇬🇧 posts 🇬🇧.