Federico Poli

Hi! I am a PhD candidate in the Programming Methodology Group at ETH Zurich, working under the guidance of Peter Müller (my main advisor) and Alexander J. Summers. My doctoral research focuses on automated reasoning, creating tools to identify bugs and guarantee software correctness. This work spans various aspects of 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 have been actively developing since 2017.

Apart from my doctorate, I have industry experience with machine learning (deep neural networks, Tensorflow), distributed systems (Apache Spark), Python and Java. See my LinkedIn profile, or contact me for a CV.





† = All authors are listed in alphabetical order.