Andrea Lattuada

Andrea Lattuada

I recently started as a Researcher in the VMware Research Group.

I have recently successfully defended my PhD in the Systems Group, Department of Computer Science at ETH Zürich, advised by Prof. Timothy Roscoe.

I am developing Verus: a semi-automatic verification tool for the Rust programming language. I am part of a collaborative effort to dramatically lower the costs associated with verifying software systems with the goal of improving the reliability and security of new systems software.

I also have been working on techniques for re-scaling and fault-tolerance for streaming data processing system, with a strong focus on efficiency.


Peer-review service