I am a software engineer and a computer scientist; my main research area is the use of formal methods for software engineering. I specialize in program specification and verification using JML and design-by-contract, and in the use of correctness-by-construction techniques with Event-B to develop critical systems. My main research goal is to use formal methods techniques and to develop software tools that improve the quality of software systems.
I earned a PhD in Computer Science from The University Paris 7. I am currently part of the Master in Information and Cybersecurity at UC Berkeley