I currently work at Sonar on static code analysis to help developers find potential bugs and keep their code clean.
I did my PhD at EPFL on automated software verification, making it more practical for real-world code
and showeing that verifiability helps performance and safety.
I also co-taught the Software Engineering
and Software Development Project courses.
I also spend some of my free time on reproducibility and fraud detection in science, as you can see in my blog below.
Artifact evaluation, theory and practice
SIGOPS guest post with Roberta De Viti and Vaastav Anand, summarizing the HotOS panel we organized and proposing future directions
Troubling ACM Venues
Citation fraud? In venues from reputable publishers? Oh my!
Artifact evaluation, present and future
SIGOPS guest post with suggestions for the CS community based on my experience