Blog Perso

Research Internship in Cybersecurity

Sherbrooke University

• Development of an automatic TLS 1.3 test generation process based on formal B specifications using the ProB tool in a post-quantum cryptography context.
• Design and implementation of robust evaluation criteria to validate the generated tests.
• Production of comprehensive technical documentation ensuring the longevity of the project.

Summer School

C-19, IMT Starter

• Development of a B2B and B2C ERP to organize sports events, trade shows, and seminars.
• Project planning and startup creation.
• Development of a web app (HTML, CSS, PHP).

Windsurfing Instructor

NPI Plougonvelin

• Teaching windsurfing at various levels, developing my skills in clear communication and pedagogy.
• Close collaboration with the team, enhancing my ability to express myself concisely and precisely.

Master's degree in Computer Science with a focus on HPC

Baccalaureate, options: Math, Physics, Computer Science

Lycée Amiral Ronarc'h

Self-hosted Infrastructure

• Management of virtual machines and containers via the Proxmox hypervisor with integration of monitoring, DNS, VPN, and other open-source services.
• Private and public services with monitoring and OpenId Connect authentication.

Determination of the Local Density of a Nuclear System

ENSIIE

• Calculation of generalized Hermite and Laguerre polynomials.
• Implementation of unit tests.
• Representation of the local nuclear density in the (x, z) plane (Matplotlib) and the local nuclear density in space (x, y, z) (POV-Ray).

Simulation of Solutions for a Quantum Harmonic Oscillator

ENSIIE

• Calculation of solutions for the one-dimensional harmonic oscillator equation.
• Creation of unit tests and generation of documentation with Doxygen.
• Display of particle presence probability curves for different energy levels.

Development of an Image-based Interpreter (Piet)

ENSIIE

• C development and discovery of imperative programming.
• Understanding the compilation chain.
• Manipulation of ppm images.