Hi there!

I’m a PhD student working in the Dependable Systems Lab at EPFL on making verification and verified systems practical, so that normal developers can use verification techniques in their code.

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)

Recent Posts