# 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", or at one of these websites :

## The attic

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 ðŸ‡¬ðŸ‡§.