Ludovico Battista

Hyperbolic Geometry and
Formal Methods

Postdoc

FBK

ludox73@gmail.com

CURRENTLY: Open to Work → RP