My interests span various areas of systems, programming methodology, and software verification.
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.
More info at andrea.lattuada.me