Hyperbolic Geometry and Formal Methods
Postdoc
MPIM
ludox73@gmail.com
Currently woking at Max Planck Institute in Bonn: → RP
