Claudia Cauli

My team and I have a paper appearing at EuroSys 2026 on applying formal methods to cloud infrastructure. We found critical bugs, documented the effort, and published practical guidance for adoption. I’m proud of this work. And it’s already obsolete.