SIGOPS guest post with Roberta De Viti and Vaastav Anand, summarizing the HotOS panel we organized and proposing future directions
I’m a PhD student working in the Dependable Systems Lab at EPFL on automated verification of software. One part of my work is making verification more practical, so that developers can use verification techniques in real-world code. The other part is showing that making code more verifiable is a desirable goal even outside of verification, as it is synonymous with improving software design to make it faster and safer.
I’ve also worked on improving the reproducibility of science and on identifying scientific fraud, as you can see in my blog below.
To reach me, see my EPFL directory page.
Check out my research and my blog below!
(If you’re at EPFL, you may find my useful things at EPFL doc helpful)