Federico Poli is a protocol engineer at delta Network in Zurich, where he works on the design, implementation, testing, and deployment of consensus-based network nodes. He enjoys applying (semi)formal methods to test the correctness of real-world components. His interests include Rust, distributed systems, automated reasoning, and machine learning. In 2024, he completed his PhD in Computer Science at ETH Zurich, researching formal verification techniques applied to the Rust language. His doctoral work involved software verification, static analysis, compilers, and Rust language semantics. He is a co-creator of Prusti, an automated verifier for Rust software. His professional experience includes internships at AWS, Google, and CERN.