Francesca Cairoli

I am Assistant Professor at the Department of Mathematics and Geoscience of the University of Trieste.

I completed my PhD in Computer Science at the University of Trieste in 2022. I earned my MSc degree in Mathematics in 2017, at the same department, and a BSc degree in Mathematics at the University of Milano Bicocca in 2013. My main research interest is to leverage the computational power of deep learning to tackle the scalability issues of formal methods and the simulation of complex systems.


Featured Publications

Comments are closed.