
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.
My interests span various areas of systems, programming methodology, and software verification. I am currently focusing on fault-tolerance in streaming systems, language-supported enforcement of complex programming contracts, and tools and techniques for practical verification of large-scale systems software.