Hyperbolic Geometry and Formal Methods
Postdoc
Max Planck Institute, Bonn
ludox73@gmail.com
Current research project: → RP
