Andrey Lyashin

Website
pruvendo.com

About

Mathematician and formal methods enthusiast, cofounder of pruvendo.com

Speaking appearances