Andrea Lattuada

Research intern

Zürich, ZH, Switzerland

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