I started my career in the world of Hyperbolic Geometry and Topology, but I turned to Formal Methods for some time.

Due to this, my research ranges over different topics.

• Hyperbolic 4/5-dimensional manifolds.

• 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.

By background I am a pure mathematician. Educated in Pisa (13/18). PhD in Pisa (18/22), under the guidance of Bruno Martelli. Postodctoral positions held in Bologna (22/23) and FBK, Trento (23/current).

I am always enthusiastic about sharing knowledge. For any curiosity, just contact me.

― ―

Ma finché li cerco io
i latitanti sono loro.