
Andrea Lattuada (andrea@lattuada.me)
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.
Andrea Lattuada (andrea@lattuada.me)
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.