Damien Lejosne

I am a first year student at ENS Rennes.
I love programming and theoretical computer science, and being able to apply my knowledges to solve concrete problems.
More precisely, I am fond of low level programming, computer graphics and formal proofs.

Fields of interest

I enjoy computer graphics, logic and formal verification of systems.
I also like maths and physics, and I am more broadly interested in mixing these fields.

Projects

You can see most of them on my codeberg or github page.

Cursus

• 2022 : Baccalauréat, mention très bien.
• 2022 - 2024 : MP2I / MPI* at CPGE aux Lazaristes, Lyon.
• 2024 - : Student at ENS Rennes.

Hobbies

• Programming (in C and Rust mostly, but I also enjoy OCaml).
• Reading science fiction.
• Playing the trumpet.
• Sailplanes and aeronautic in general.

Blog (french)

Just some things which can be (maybe) usefull for someone, some tips and things I did.

• Tiny Core Linux on a 1998 computer

CV

You can find it here.

Courses

I write some of my course using pandoc. I put them here because some of my friends asked me to, but since I don't read these often, there must be some errors, and they are most likely incomplete with some approximations since I only use them as a reminder. Use at your own risks.