Andrea Lattuada

Andrea Lattuada leads the Principled Systems Group at the Max Planck Institute for Software Systems. He co-founded the Verus project for verifying Rust programs and holds a PhD from ETH Zürich.

His research develops tools for verifying systems software correctness, focusing on Rust-based verification frameworks and distributed systems reliability. He explores the intersection of formal methods and practical system design.

Publications demonstrate advancements in automated verification techniques for concurrent systems and language design. Recent work establishes foundations for scalable system verification.

Awards include distinguished paper awards at PLDI, SOSP, and OSDI conferences. He mentors PhD students and collaborates with VMware Research and Microsoft Research.

He teaches Formal Verification of Systems Software at Saarland University and leads the Rust Verification Workshop.