I'm a Staff Software Engineer based in Geneva, with over a decade of experience building program analysis and language tooling for large-scale code quality platforms.
My work centers on semantic analysis, type inference, symbolic execution, and dataflow reasoning across dynamic and statically-typed languages. I care a lot about correctness, scalability, and precision, and I've led the design of core analysis infrastructure used in production analyzers for Python and Java.
I'm increasingly interested in the intersection of program analysis, compiler infrastructure, and emerging AI-driven systems.
When I'm not thinking about static analysis, I'm an astrophotography newbie pointing my camera at the sky—and a big fan of Dark Souls.
Talk @ EuroPython 2022: Managing the code quality of your project. Leave the past behind: focus on new code
Talk @ PyCon Italia 2023: Managing the code quality of your project. Leave the past behind: focus on new code
Interview @ Maintainable Podcast (EP 169): Leveraging Static Analysis for Better Code