Andrey Lyashin

About

Mathematician and formal methods enthusiast, cofounder of pruvendo.com

Events