user:vzaliva
created:Jun 27, 2015
karma:1769
about:

Technologist. Researcher in programming languages and formal verification. https://zaliva.org/