vzaliva
since 6/27/2015
1769 karma
submissionscommentsfavorites
Technologist. Researcher in programming languages and formal verification. https://zaliva.org/