I am a mathematician in the wide area of Hyperbolic Geometry and Topology; I spent some time during Formal Methods.
Due to this, my research ranges over different topics.
-
Hyperbolic surfaces - Ergodicity/Teichmuller theory.
-
Hyperbolic manifolds - Polytopes.
-
Bounded cohomology.
-
Formal methods - Hybrid systems.
In a more technical sense, here is a set of keywords to frame my scientific contributions: Hyperbolic 4-manifolds, Infinitesimal rigidity, Right-angled polytopes, Hybrid systems verification, Ergodicity, Marimbas.
By background I am a pure mathematician. Educated in Pisa (13/18). PhD in Pisa (18/22), under the guidance of Bruno Martelli. Postdoctoral positions held in Bologna (22/23), FBK-Trento (23/26), MPI-Bonn (26/current).
I am always enthusiastic about sharing knowledge. For any curiosity, just contact me.
i latitanti sono loro.