Me before eating donuts.

I am a computer science engineering student at Mines Saint-Etienne in France, specializing in formal methods and software security. Before that, I was mainly doing math in preparatory classes.

My interests include programming languages, static analysis, automated theorem proving, and the verification of software and hardware. I enjoy building program-analysis tools as much as studying the theory behind them.

I am currently an intern with AWS’s Automated Reasoning Group in Seattle, where I work on Strata. Previously, I developed the Frama-C/Eva abstract debugger at CEA, an interactive tool for understanding static-analysis results.

When I am away from the keyboard, I enjoy reading and climbing.

Publication

On-the-fly Abstract Debugging for Frama-C/Eva, DEBT 2026.

Contact

📧 jules.massart@etu.emse.fr 📍 Seattle, USA