I received my Ph.D. in Computer Science and Engineering in 2023 from the University of Bologna. My doctoral research focused on the logical foundations of randomized computation and was supervised by Ugo Dal Lago and co-supervised by Paolo Pistone. After that, I worked as a HIIT postdoc fellow at the Department of Computer Science of the University of Helsinki. I am currently a postdoctoral researcher at the Carl Friedrich von Weizsäcker-Zentrum.

Broadly speaking, my research interests lie at the intersection of logic and theoretical computer science, with special attention to proof theory and computational complexity theory. My current work focuses on understanding and characterizing probabilistic and circuit computation and complexity, relying on rigorous (machine-independent) tools coming from logic and algebra.