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 :
A presentation (in French) 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.
A category theory project for the Coq course at the LMFI, made with a classmate.
The C++ course (in French) I made for classmates at Québec.