I am a Postdoctoral Researcher in Computer Science at the University of Cagliari working in Massimo Bartoletti’s group. I received my PhD from the University of Genoa in 2024, under the supervision of Stefan Ratschan and Alessandro Armando. I graduated in Mathematics from the University of Milan in 2020, under the supervision of Silvio Ghilardi.
-
“Boosting MCSat Modulo Nonlinear Integer Arithmetic via Local Search”, Enrico Lipparini, Thomas Hader, Ahmed Irfan, Stéphane Graham-Lengrand, (preprint), 2025 [pdf]
-
“Formal verification in Solidity and Move: insights from a comparative analysis”, Massimo Bartoletti, Silvia Crafa, Enrico Lipparini, in FMBC’25 [pdf]
-
“Satisfiability of Non-Linear Transcendental Arithmetic as a Certificate Search Problem”, Enrico Lipparini, Stefan Ratschan, in Journal of Automated Reasoning, 2024
-
“Solvent: Liquidity Verification of Smart Contracts”, Massimo Bartoletti, Angelo Ferrando, Enrico Lipparini, Vadim Malvone, in iFM’24 [pdf]
-
“Satisfiability of Non-Linear Transcendental Arithmetic as a Certificate Search Problem”, Enrico Lipparini and Stefan Ratschan, in NFM’23 [pdf]
-
“Handling Polynomial and Transcendental Functions in SMT via Unconstrained Optimisation and Topological Degree Test”, Alessandro Cimatti, Alberto Griggio, Enrico Lipparini, Roberto Sebastiani, in ATVA’22 [pdf, slides, video]