2017 - 2020  Télécom Nancy, Nancy, France: MSc CS, specializing in Software Engineering

Masters of Science in Computer Science, covering software engineering and project management

2015 - 2017  Lycée A. Fournier, Bourges, France: two-year course equivalent to a BSc in Mathematics and Physics

Preparation for the highly competitive nationwide entrance exams for French Grandes Écoles

2019  Twitter-like service: specified a communication protocol (team of 2 people, 3 months)

• Developed a client and a server according to the specification

✓   Network system calls, SQLite in C while preventing SQL injections

2018 - 2019  Full compiler: Tiger language (team of 4 people, 6 months)

• Wrote a grammar for the language with ANTLR, constructed the abstract syntax tree (AST)
• Did semantic analysis on the AST, generated assembly code (function, loops, conditional branches)

✓   Java, ANTLR, formal language theory

2017  Film recommendation system: desktop GUI to obtain film recommendations (team of 3 people, 3 months)

• Generated recommendations based on the history of all users, with a matrix factorization algorithm
• Integrated it with the GUI and a film database file

✓   GNU Scientific Library in C

Jun. - Aug. 2019  Software Developer Intern, Luxembourg: Interdisciplinary Center for Security, Reliability and Trust (SnT), a research lab of the University of Luxembourg. securityandtrust.lu

• Aim: explore performance analysis with eBPF (extended Berkeley Packet Filter)
• Wrote IP-whitelisting tool using XDP for DDoS protection of a Ripple blockchain connector
• Extended Vector monitoring tool with additional eBPF modules : packet analysis (HTTP & WebSocket, UDP & DTLS), garbage collector visualization for NodeJS using USDT probes

• Co-authored a research paper outlining innovative performance monitoring scheme
• Worked in English on a daily basis.

✓   eBPF at different levels, Docker, Python, Go, TCP, UDP, Websocket

2019  Freelance work for a junior company (Télécom Nancy Services): Android app sold to a bakery

• Stored recurring and one-time orders; planed and recorded product delivery to bill each customer
• Saved hours each month: planning and billing delivery was done manually on paper before

✓   Android, Java, SQL, SQLite, Room ORM

2019  Into-Ledger: fork of an importer/classifier of financial transactions from a file in the CSV format

• The fork improves data collection to make better use of the Bayesian Filtering method

✓   Go, Bayesian Filtering

2019  Sesters: tool to extract price tags from plain text, for conversion from one currency to another

✓   Rust (noteworthy package used: serde, clap, reqwest), LMDB, Web API, Travis CI

2014 - present  Open-source contributions: stubby, spf13-vim, cheats.rs and more at github.com/cljoly

✓   Rust, Go, C, HTML/CSS/JavaScript and other technologies