Research Intern

Bellevue, WA, US

PhD student in the Systems Group at ETH Zürich. I work on fast, reliable, distributed data processing. I'm interested in verification for systems.

Projects