I'm a third-year Computer Science student at INSA Lyon, with a strong focus on algorithms, formal logic, and software development. Previously ranked as top student across three consecutive semesters at the University of Montpellier.
Currently exploring research-oriented development through internships at LIRMM, where I've worked on genomic data analysis pipelines and formal verification tools.
- Building reliable software with clean architecture and proven correctness
- Competitive programming (60th/800 at Match'Up)
- Contributing to algorithmic competitions as part of INSAlgo
Languages: Python, Java, OCaml, JavaScript, C/C++
Tools: Git, Linux, VSCode
Libraries: NumPy, matplotlib, CustomTkinter
Practices: Agile/Scrum, TDD, Formal Verification
