Federico Poli

Hi! I’m a protocol engineer at delta Network in Zurich, where my work ranges from design to implementation, testing, and deployment of consensus-based network nodes. I enjoy applying semi-formal methods to test the correctness of real-world components, as it usually strikes a good balance between maintenance and testing guarantees. Broadly speaking, my interests revolve around Rust, distributed systems, automated reasoning, and machine learning.

In 2024, I completed my PhD in Computer Science at ETH Zurich, where I conducted research in the Programming Methodology Group in collaboration with Peter Müller (my main advisor) and Alexander J. Summers. My doctoral work focused on automated reasoning applied to the Rust language, creating tools to detect bugs and ensure software correctness. This involved extensive work in software verification, static analysis, compilers, and Rust language semantics. Notably, I am a co-creator of Prusti, an automated verifier for Rust software that we began developing in 2017.

My professional experience includes internships at AWS, where I worked on automated reasoning, at Google, where I focused on self-supervised machine learning, and at CERN, where I worked with Python and information retrieval.

Contacts:

PhD work

Projects

Talks

Publications

† = All authors are listed in alphabetical order.