CV | GitHub | LinkedIn | Contact
I co-taught EPFL’s Software Engineering course, and the associated Software Development Project course.
I research automated verification of software, making it more practical for real-world code and showing that verifiability is synonymous with performance and safety.
I also work 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