Research
Publications
-
Hyperbolic 4-manifolds with perfect circle-valued Morse functions.
Transactions of the American Mathematical Society. 2022. j/w Bruno Martelli.
-
Infinitesimal Rigidity for Cubulated Manifolds.
Geometriae Dedicata. 2023.
-
Dodecahedral L-spaces and hyperbolic 4-manifolds.
Accepted in Communications in Analysis and Geometry. 2022. j/w Leonardo Ferrari and Diego Santoro.
-
Bounded Cohomology Classes of Exact Forms.
Proceedings of the American Mathematical Society. 2023. j/w S. Francaviglia, M. Moraschini, F. Sarti, A. Savini.
-
SMT-Based Stability Verification of an Industrial Switched PI Control Systems.
Workshop VERDI - International Conference on Dependable Systems and Networks. 2023. j/w S. Basagiannis, A. Becchi, A. Cimatti, G. Giantamidis, S. Mover, A. Tacchella, S. Tonetta, V. A. Tsachouridis.
-
Stability Verification of an Industrial Switched PI Control Systems.
Workshop ARCH 2024. j/w S. Basagiannis, A. Becchi, A. Cimatti, G. Giantamidis, S. Mover, A. Tacchella, S. Tonetta, V. A. Tsachouridis.
-
Formal Verification of Stability for Parametric Affine Switched Systems.
Conference ADHS24. 2024. j/w Stefano Tonetta.
-
Deriving Liveness Properties of Hybrid Systems from Reachable Sets and Lyapunov-like Certificates.
(To be published at) ATVA25. 2025. j/w Stefano Tonetta.
Ph.D thesis
-
Hyperbolic 4-manifolds, perfect circle-valued Morse functions and infinitesimal rigidity.
April 2022. Doctoral dissertation.