Corentin Machu is a software engineer currently working at AdaCore since March 2024, focusing on improving error messages and unifying the command-line interface for RecordFlux, a protocol prover and code generator. Previous experience includes roles as a teaching assistant at EPITA, where Corentin taught programming languages such as C, Shell, and SQL to third-year engineering students, as well as assisting first-year students in C++, Java, and JavaScript. Corentin has also completed an R&D internship at Parsec, where development work involved porting a core codebase from Python to Rust, and an IT apprenticeship at Sogecap S.A., which centered around automating complex tasks for the research service team. Corentin is pursuing a Diplôme d'ingénieur in Informatique from EPITA, set to graduate in August 2024, and previously earned a DUT Informatique from IUT Orléans.
This person is not in the org chart
This person is not in any teams
This person is not in any offices